Issued Patents 2024
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12099835 | Semantic analysis of source code using stubs for external references | Cameron Gunnin, Edward Moriarty, Aaron Paul Hurst | 2024-09-24 |
| 12093163 | Accelerating static program analysis with summary reuse | Marc-André Laverdière-Papineau, Kenneth Robert Block, Nebojsa Bozovic, Charles-Henri Marie Jacques Gros, Thomas Hildebrandt +2 more | 2024-09-17 |
| 11941379 | Accelerating static program analysis with artifact reuse | Marc-André Laverdière-Papineau, Kenneth Robert Block, Nebojsa Bozovic, Charles-Henri Marie Jacques Gros, Thomas Hildebrandt +2 more | 2024-03-26 |