Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10853042 | Interactive code optimizer | Ivan Nevraev, David McCarthy Peixotto, Xiang Li | 2020-12-01 |
| 10503634 | Semantic comparison of computer compiler traces | Xiang Li, Ivan Nevraev, David McCarthy Peixotto | 2019-12-10 |
| 10365904 | Interactive code optimizer | Ivan Nevraev, David McCarthy Peixotto, Xiang Li | 2019-07-30 |
| 8375018 | Open types for distributed systems | Pablo Castro, Andrew Conrad, Michael Justin Flasko, Pratik Patel, Subramanian Muralidhar | 2013-02-12 |