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