Issued Patents 2018
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10095484 | Automatic program synthesis using monadic second-order logic | — | 2018-10-09 |
| 9858419 | System, method, and apparatus for modular, string-sensitive, access rights analysis with demand-driven precision | Julian Timothy Dolby, Emmanuel Geay, Marco Pistoia, Barbara G. Ryder | 2018-01-02 |