Unbundling, translation and rebundling of instruction...

Unification of a programming language and a definition language

Unification-based points-to-analysis using multilevel typing

Unified compiler framework for control and data speculation...

Unified data type system and method

Unified data type system and method

Uniform mechanism for building containment hierarchies

Uninstrumenting in-line code instrumentation via stack...

Unitary data structure systems, methods, and computer...

Universal machine translator of arbitrary languages

Universal state machine for use with a concurrent state...

Unrolling loops with partial hot traces

Unrolling transformation of nested loops

Updating data dependencies for loop strip mining

Updating profile frequency for procedure inlining

Upgrade of a program

Upgrading an application software to be used, by communication

Usage characteristic based software customization

Use of different color sequences for variables of different...

Use of formal logic specification in construction of...