Issued Patents All Time
Showing 1–12 of 12 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9069893 | Automatic verification of determinism for parallel programs | Martin Vechev, Eran Yahav, Raghavan Raman | 2015-06-30 |
| 8464223 | Method and apparatus for efficient and precise datarace detection for multithreaded object-oriented programs | Jong-Deok Choi, Keunwoo Lee, Robert O'Callahan, Manu Sridharan | 2013-06-11 |
| 7516446 | Method and apparatus for efficient and precise datarace detection for multithreaded object-oriented programs | Jong-Deok Choi, Keunwoo Lee, Robert O'Callahan, Manu Sridharan | 2009-04-07 |
| 7469403 | Static detection of a datarace condition for multithreaded object-oriented applications | Jong-Deok Choi, Alexey Loginov | 2008-12-23 |
| 6292938 | Retargeting optimized code by matching tree patterns in directed acyclic graphs | Mauricio J. Serrano, Barbara Bluestein Simons | 2001-09-18 |
| 6058266 | Method of, system for, and computer program product for performing weighted loop fusion by an optimizing compiler | Nimrod Megiddo | 2000-05-02 |
| 6044222 | System, method, and program product for loop instruction scheduling hardware lookahead | Barbara Bluestein Simons | 2000-03-28 |
| 6041181 | Method of, system for, and computer program product for providing quick fusion in WHERE constructs | Dz-ching Ju, John Ng | 2000-03-21 |
| 6035125 | Method and system for generating compact code for the loop unrolling transformation | Khoa D. Nguyen | 2000-03-07 |
| 5953531 | Method of, system for, and computer program product for minimizing loop execution time by optimizing block/tile sizes | Nimrod Megiddo | 1999-09-14 |
| 5887174 | System, method, and program product for instruction scheduling in the presence of hardware lookahead accomplished by the rescheduling of idle slots | Barbara Bluestein Simons | 1999-03-23 |
| 5790859 | Method of, system for, and computer program product for efficient identification of private variables in program loops by an optimizing compiler | — | 1998-08-04 |