Inventor

ROBISON ARCH D

US18 patents

⚠️ This page may combine multiple inventors who share the name “ROBISON ARCH D”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

ROBISON ARCH D

INTEL CORP

Fast tree-based generation of a dependence graph

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

Data-flow method of analyzing definitions and uses of L values in programs

Method and system for interprocedural analysis with separate compilation

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

Technologies for fast synchronization barriers for many-core processing

Instructions and logic to provide atomic range modification operations

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

Pruning local graphs in an inter-procedural analysis solver

Technologies for low-level composable high performance computing libraries

ROBISON ARCH D

Technologies for efficient synchronization barriers with work stealing support

Preserving hardware thread cache affinity via procrastination

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

Advance trip count computation in a concurrent processing environment

KUCK & ASSOCIATES INC

Method inside an optimizing compiler for analyzing assertions and redirecting control flow in programs

Method of replacing lvalues by variables in programs containing nested aggregates in an optimizing compiler

KUCK AND ASSOCIATES INC

Method of analyzing definitions and uses in programs with pointers and aggregates in an optimizing compiler

KUKANOV ALEXEY

Fair scalable reader-writer mutual exclusion