Issued Patents All Time
Showing 1–22 of 22 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10528345 | Instructions and logic to provide atomic range modification operations | Ilan Pardo, Oren Ben-Kiki, Nadav Tsvi Chachmon, James H. Cownie | 2020-01-07 |
| 9760410 | Technologies for fast synchronization barriers for many-core processing | — | 2017-09-12 |
| 9747108 | User-level fork and join processors, methods, systems, and instructions | Oren Ben-Kiki, Ilan Pardo, James H. Cownie | 2017-08-29 |
| 9690552 | Technologies for low-level composable high performance computing libraries | Hongbo Rong, Peng Tu, Tatiana Shpeisman, Hai Paul Liu, Todd Alan Anderson +5 more | 2017-06-27 |
| 9507594 | Method and system of compiling program code into predicated instructions for execution on a processor without a program counter | — | 2016-11-29 |
| 9348658 | Technologies for efficient synchronization barriers with work stealing support | Alejandro Duran Gonzalez | 2016-05-24 |
| 8707324 | Fair scalable reader-writer mutual exclusion | Alexey Kukanov | 2014-04-22 |
| 8468509 | Advance trip count computation in a concurrent processing environment | — | 2013-06-18 |
| 8127303 | Fair scalable reader-writer mutual exclusion | Alexey Kukanov | 2012-02-28 |
| 8108867 | Preserving hardware thread cache affinity via procrastination | — | 2012-01-31 |
| 7730491 | Fair scalable reader-writer mutual exclusion | Alexey Kukanov | 2010-06-01 |
| 7624386 | Fast tree-based generation of a dependence graph | — | 2009-11-24 |
| 7257808 | System and method to reduce the size of source code in a processing system | — | 2007-08-14 |
| 7213242 | Run-time behavior preserving partial redundancy elimination | — | 2007-05-01 |
| 7165245 | Pruning local graphs in an inter-procedural analysis solver | — | 2007-01-16 |
| 7120904 | Data-flow method for optimizing exception-handling instructions in programs | — | 2006-10-10 |
| 7062759 | Method and system for interprocedural side effect analysis | — | 2006-06-13 |
| 6820253 | Method and system for interprocedural analysis with separate compilation | — | 2004-11-16 |
| 6370685 | Data-flow method of analyzing definitions and uses of L values in programs | — | 2002-04-09 |
| 5805894 | Method inside an optimizing compiler for analyzing assertions and redirecting control flow in programs | — | 1998-09-08 |
| 5790866 | Method of analyzing definitions and uses in programs with pointers and aggregates in an optimizing compiler | — | 1998-08-04 |
| 5710927 | Method of replacing lvalues by variables in programs containing nested aggregates in an optimizing compiler | — | 1998-01-20 |