Issued Patents All Time
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date | Approx Value ⓘ |
|---|---|---|---|---|
| 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 | $280,845,000 |
| 11816484 | Hardware verification of dynamically generated code | Michael D. Snyder, Filip J. Pizlo | 2023-11-14 | $188,958,000 |
| 11630789 | Scalable interrupts | Charles E. Tucker, Tal Kuzi, Richard F. Russo, Mridul Agarwal, Christopher M. Tsay +3 more | 2023-04-18 | $504,807,000 |