Issued Patents All Time
Showing 25 most recent of 105 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12346753 | Systems and methods for safely subscribing to locks using hardware extensions | David Dice, Timothy L. Harris, Alex Kogan, Yosef Lev | 2025-07-01 |
| 12288196 | Sharded permissioned distributed ledgers | Harold Carr, Maurice P. Herlihy, Isaac Sheff | 2025-04-29 |
| 11989704 | Sharded permissioned distributed ledgers | Harold Carr, Maurice P. Herlihy, Isaac Sheff | 2024-05-21 |
| 11809917 | Systems and methods for safely subscribing to locks using hardware extensions | David Dice, Timothy L. Harris, Alex Kogan, Yosef Lev | 2023-11-07 |
| 11538003 | Sharded permissioned distributed ledgers | Harold Carr, Maurice P. Herlihy, Isaac Sheff | 2022-12-27 |
| 11269839 | Authenticated key-value stores supporting partial state | Victor Cacciari Miraldo, Harold Carr, Maurice P. Herlihy, Alex Kogan | 2022-03-08 |
| 10776154 | Method and system for inter-thread communication using processor messaging | David Dice | 2020-09-15 |
| 10740733 | Sharded permissioned distributed ledgers | Harold Carr, Maurice P. Herlihy, Isaac Sheff | 2020-08-11 |
| 10521277 | Systems and methods for safely subscribing to locks using hardware extensions | David Dice, Timothy L. Harris, Alex Kogan, Yosef Lev | 2019-12-31 |
| 10191741 | System and method for mitigating the impact of branch misprediction when exiting spin loops | David Dice | 2019-01-29 |
| 9727369 | System and method for implementing reader-writer locks using hardware transactional memory | David Dice, Yosef Lev, Yujie Liu, Victor M. Luchangco | 2017-08-08 |
| 9619281 | Systems and methods for adaptive integration of hardware and software lock elision techniques | David Dice, Alex Kogan, Yosef Lev, Timothy Merrifield | 2017-04-11 |
| 9417910 | System and method for implementing shared probabilistic counters storing update probability values | David Dice, Yosef Lev | 2016-08-16 |
| 9367363 | System and method for integrating best effort hardware mechanisms for supporting transactional memory | David Dice | 2016-06-14 |
| 9342380 | System and method for implementing reader-writer locks using hardware transactional memory | David Dice, Yosef Lev, Yujie Liu, Victor M. Luchangco | 2016-05-17 |
| 9323586 | Obstruction-free data structures and mechanisms with separable and/or substitutable contention management mechanisms | Victor M. Luchangco, Maurice P. Herlihy | 2016-04-26 |
| 9304776 | System and method for mitigating the impact of branch misprediction when exiting spin loops | David Dice | 2016-04-05 |
| 9208081 | Concurrent object management | David Dice, Nir N. Shavit, Antonios Printezis | 2015-12-08 |
| 9183048 | System and method for implementing scalable contention-adaptive statistics counters | David Dice, Yosef Lev | 2015-11-10 |
| 9183043 | Systems and methods for adaptive integration of hardware and software lock elision techniques | David Dice, Alex Kogan, Yosef Lev, Timothy Merrifield | 2015-11-10 |
| 9135178 | Efficient non-blocking K-compare-single-swap operation | Nir N. Shavit, Victor M. Luchangco | 2015-09-15 |
| 9110718 | Supporting targeted stores in a shared-memory multiprocessor system | David Dice, Paul N. Loewenstein | 2015-08-18 |
| D733681 | Speaker box | — | 2015-07-07 |
| 9052944 | Obstruction-free data structures and mechanisms with separable and/or substitutable contention management mechanisms | Victor M. Luchangco, Maurice P. Herlihy | 2015-06-09 |
| 9043363 | System and method for performing memory management using hardware transactions | Aleksandar Dragojevic, Maurice P. Herlihy, Yosef Lev | 2015-05-26 |