Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12314200 | Scalable interrupts | Charles E. Tucker, Tal Kuzi, Richard F. Russo, Mridul Agarwal, Christopher M. Tsay +3 more | 2025-05-27 |
| 12299447 | Hardware verification of dynamically generated code | Michael D. Snyder, Filip J. Pizlo | 2025-05-13 |
| 12007920 | Scalable interrupts | Charles E. Tucker, Tal Kuzi, Richard F. Russo, Mridul Agarwal, Christopher M. Tsay +3 more | 2024-06-11 |
| 11816484 | Hardware verification of dynamically generated code | Michael D. Snyder, Filip J. Pizlo | 2023-11-14 |
| 11630789 | Scalable interrupts | Charles E. Tucker, Tal Kuzi, Richard F. Russo, Mridul Agarwal, Christopher M. Tsay +3 more | 2023-04-18 |