Issued Patents 2023
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |