Issued Patents 2025
| 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 |