Issued Patents 2025
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12314712 | Partitioning code bases for parallel execution of code analysis | Martin Schaef, Linghui Luo, Nicolas Leandro Rosner, Aritra Sengupta, Antonio Filieri +1 more | 2025-05-27 |
| 12299134 | Knowledge-based taint policy inference | Peixuan Li, Yingjun Lyu, Qiang Zhou, Michael McDougall, Thodoris Sotiropoulos | 2025-05-13 |