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