Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12093163 | Accelerating static program analysis with summary reuse | Marc-André Laverdière-Papineau, Kenneth Robert Block, Nebojsa Bozovic, Simon Fredrick Vicente Goldsmith, Charles-Henri Marie Jacques Gros +2 more | 2024-09-17 |
| 11941379 | Accelerating static program analysis with artifact reuse | Marc-André Laverdière-Papineau, Kenneth Robert Block, Nebojsa Bozovic, Simon Fredrick Vicente Goldsmith, Charles-Henri Marie Jacques Gros +2 more | 2024-03-26 |