Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8589456 | Prompt large object reclamation | Antonios Printezis | 2013-11-19 |
| 7136887 | Method and mechanism for finding references in a card in time linear in the size of the card in a garbage-collected heap | Alexander T. Garthwaite, David L. Detlefs, Antonios Printezis | 2006-11-14 |
| 6385765 | Specification and verification for concurrent systems with graphical and textual editors | Rance Cleaveland, Scott A. SMOLKA, Philip M. Lewis | 2002-05-07 |
| 6173442 | Busy-wait-free synchronization | Ole Agesen, David L. Detlefs, Alex Garthwaite, Ross C. Knippel, Derek R. White | 2001-01-09 |