Issued Patents All Time
Showing 1–11 of 11 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7703077 | Programming model to detect deadlocks in concurrent programs | James R. Larus, Sriram K. Rajamani | 2010-04-20 |
| 7694276 | Contracts and futures in an asynchronous programming language | James R. Larus, Sriram K. Rajamani | 2010-04-06 |
| 7647587 | Methods for enhancing type reconstruction | Todd B. Knoblock | 2010-01-12 |
| 7574343 | System and method for logical modeling of distributed computer systems | Steven P. Levi, Galen C. Hunt, Aamer Hydrie, Bassam Tabbara, Robert V. Welland | 2009-08-11 |
| 7500232 | Methods for enhancing flow analysis | Manuvir Das, Manuel A. Fahndrich | 2009-03-03 |
| 7203924 | Behavioral analysis for message-passing application programs | Sriram K. Rajamani | 2007-04-10 |
| 7155380 | System and method for designing a logical model of a distributed computer system and deploying physical resources according to the logical model | Galen C. Hunt, Aamer Hydrie, Robert V. Welland, Bassam Tabbara, Steven P. Levi | 2006-12-26 |
| 7113900 | System and method for logical modeling of distributed computer systems | Galen C. Hunt, Aamer Hydrie, Robert V. Welland, Bassam Tabbara, Steven P. Levi | 2006-09-26 |
| 6981249 | Methods for enhancing type reconstruction | Todd B. Knoblock | 2005-12-27 |
| 6907395 | System and method for designing a logical model of a distributed computer system and deploying physical resources according to the logical model | Galen C. Hunt, Aamer Hydrie, Robert V. Welland, Bassam Tabbara, Steven P. Levi | 2005-06-14 |
| 6813761 | Methods for enhancing flow analysis | Manuvir Das, Manuel A. Fahndrich | 2004-11-02 |