Issued Patents All Time
Showing 1–4 of 4 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 |
| 7620940 | Methods and apparatus for monitoring program execution | Robert O'Callahan | 2009-11-17 |