| 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 |
