Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7370321 | Systems and methods to read, optimize, and verify byte codes for a multiplatform jit | — | 2008-05-06 |
| 6151704 | Method for optimizing a loop in a computer program by speculatively removing loads from within the loop | — | 2000-11-21 |
| 6031994 | Method for determining the set of variables that may be ambiguously defined at a point in a computer program | — | 2000-02-29 |
| 6029005 | Method for identifying partial redundancies in a new processor architecture | — | 2000-02-22 |
| 6016398 | Method for using static single assignment to color out artificial register dependencies | — | 2000-01-18 |
| 6002879 | Method for performing common subexpression elimination on a rack-N static single assignment language | Vishesh M. Parikh | 1999-12-14 |
| 5999735 | Method for constructing a static single assignment language accommodating complex symbolic memory references | — | 1999-12-07 |
| 5991540 | Method for identifying partial redundancies in existing processor architectures | — | 1999-11-23 |