Issued Patents 2017
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9753754 | Enforcing deterministic execution of threads of guest operating systems running in a virtual machine hosted on a multiprocessor machine | Eric P. Traut, Jacob R. Lorch, John R. Douceur | 2017-09-05 |
| 9588803 | Executing native-code applications in a browser | Jacob R. Lorch, Jeremy E. Elson, John R. Douceur | 2017-03-07 |
| 9536093 | Automated verification of a software system | Chris Hawblitzel, Bryan Jeffrey Parno, Jacob R. Lorch, Brian D. Zill | 2017-01-03 |