Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12299134 | Knowledge-based taint policy inference | Peixuan Li, Qiang Zhou, Lee Pike, Michael McDougall, Thodoris Sotiropoulos | 2025-05-13 |
| 11586437 | Data flow tracking in program verification | Omer Tripp, Rajdeep Mukherjee, Michael Wilson | 2023-02-21 |
| 11379551 | Latency minimization in mobile applications | Yixue Zhao, Nenad Medvidovic, Marcelo Schmitt Laser | 2022-07-05 |