Issued Patents 2019
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10503634 | Semantic comparison of computer compiler traces | Ivan Nevraev, David McCarthy Peixotto, Marcelo Lopez Ruiz | 2019-12-10 |
| 10365904 | Interactive code optimizer | Marcelo Lopez Ruiz, Ivan Nevraev, David McCarthy Peixotto | 2019-07-30 |