Issued Patents 2024
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12093163 | Accelerating static program analysis with summary reuse | Kenneth Robert Block, Nebojsa Bozovic, Simon Fredrick Vicente Goldsmith, Charles-Henri Marie Jacques Gros, Thomas Hildebrandt +2 more | 2024-09-17 |
| 11941379 | Accelerating static program analysis with artifact reuse | Kenneth Robert Block, Nebojsa Bozovic, Simon Fredrick Vicente Goldsmith, Charles-Henri Marie Jacques Gros, Thomas Hildebrandt +2 more | 2024-03-26 |