Issued Patents All Time
Showing 25 most recent of 26 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12332774 | Allocation of memory within a data type-specific memory heap | — | 2025-06-17 |
| 12299447 | Hardware verification of dynamically generated code | Jeffrey E. Gonion, Michael D. Snyder | 2025-05-13 |
| 12259978 | Verifiable machine code | — | 2025-03-25 |
| 11880298 | Allocation of memory within a data type-specific memory heap | — | 2024-01-23 |
| 11860996 | Security concepts for web frameworks | Yin Zin Mark Lam, Jean-Francois Bastien, Michael L. Saboff | 2024-01-02 |
| 11816484 | Hardware verification of dynamically generated code | Jeffrey E. Gonion, Michael D. Snyder | 2023-11-14 |
| 11709675 | Software verification of dynamically generated code | Michael L. Saboff, Bernard J. Semeria, Jacques Fortier, Ivan Krstic, Yusuke Suzuki +2 more | 2023-07-25 |
| 11182283 | Allocation of memory within a data type-specific memory heap | — | 2021-11-23 |
| 11016743 | Runtime state based code re-optimization | Gavin Barraclough | 2021-05-25 |
| 10713021 | Geometric 64-bit capability pointer | Oliver J. Hunt | 2020-07-14 |
| 9501409 | Concurrent accesses of dynamically typed object data | — | 2016-11-22 |
| 9256410 | Failure profiling for continued code optimization | Gavin Barraclough | 2016-02-09 |
| 9251071 | Concurrent inline cache optimization in accessing dynamically typed objects | — | 2016-02-02 |
| 9245112 | Apparatus and method for managing entitlements to program code | Oliver J. Hunt, Ivan Krstic, Gavin Barraclough | 2016-01-26 |
| 9128732 | Selective randomization for non-deterministically compiled code | Oliver J. Hunt, Gavin Barraclough, Geoffrey Garen | 2015-09-08 |
| 9110791 | Optimistic object relocation | Erez Petrank, Bjarne Steensgaard | 2015-08-18 |
| 9027006 | Value profiling for code optimization | Gavin Barraclough | 2015-05-05 |
| 9027010 | Runtime optimization using meta data for dynamic programming languages | Gavin Barraclough | 2015-05-05 |
| 9003384 | Methods and apparatuses for automatic type checking via poisoned pointers | — | 2015-04-07 |
| 8972952 | Tracer based runtime optimization for dynamic programming languages | Gavin Barraclough | 2015-03-03 |
| 8819382 | Split heap garbage collection | Geoffrey Garen, Mark Hahnenberg | 2014-08-26 |
| 8782627 | Path specializations for runtime code with phase behavior | Bjarne Steensgaard, Erez Petrank | 2014-07-15 |
| 8631051 | Hybrid fragmenting real time garbage collection | — | 2014-01-14 |
| 8245005 | Probabilistic object relocation | Erez Petrank, Bjarne Steensgaard | 2012-08-14 |
| 8041752 | Concurrent, lock-free object copying | Erez Petrank, Bjarne Steensgaard | 2011-10-18 |