Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10691526 | Automatic error fixes for high-availability applications | Daniel W. Barowy, Charles M. Curtsinger, Rodric Rabbah | 2020-06-23 |
| 10102241 | Detecting errors in spreadsheets | Benjamin G. Zorn | 2018-10-16 |
| 7802232 | Software robustness through search for robust runtime implementations | Benjamin G. Zorn | 2010-09-21 |