Arch D. Robison

User-level fork and join processors, methods, systems, and instructions

Instructions and logic to provide atomic range modification operations

Technologies for low-level composable high performance computing libraries

Technologies for fast synchronization barriers for many-core processing

Technologies for efficient synchronization barriers with work stealing support

Method and system of compiling program code into predicated instructions for execution on a processor without a program counter

Fair scalable reader-writer mutual exclusion

Preserving hardware thread cache affinity via procrastination

Advance trip count computation in a concurrent processing environment

Device, system, and method for regulating software lock elision mechanisms

System and method to reduce the size of source code in a processing system

Lockless scheduling of decreasing chunks of a loop in a parallel program

Pruning local graphs in an inter-procedural analysis solver

Data-flow method for optimizing exception-handling instructions in programs

Fast tree-based generation of a dependence graph

Scheduling of instructions in program compilation

Method and system of achieving integer division by invariant divisor using N-bit multiply-add operation