Issued Patents All Time
Showing 1–25 of 53 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12340260 | Critical section speedup using help-enabled locks | Yosef Lev, David Dice, Alex Kogan, Timothy L. Harris, Pantea Zardoshti | 2025-06-24 |
| 11861416 | Critical section speedup using help-enabled locks | Yosef Lev, David Dice, Alex Kogan, Timothy L. Harris, Pantea Zardoshti | 2024-01-02 |
| 11068319 | Critical section speedup using help-enabled locks | Yosef Lev, David Dice, Alex Kogan, Timothy L. Harris, Pantea Zardoshti | 2021-07-20 |
| 10127088 | Adaptive techniques for improving performance of hardware transactions on multi-socket machines | Alex Kogan, Yosef Lev, Trevor J. Brown | 2018-11-13 |
| 9804888 | System and method for implementing constrained data-driven parallelism | Virendra J. Marathe, Yosef Lev | 2017-10-31 |
| 9740597 | Transactional execution of native methods | John R. Rose, David Dice | 2017-08-22 |
| 9727369 | System and method for implementing reader-writer locks using hardware transactional memory | David Dice, Yosef Lev, Yujie Liu, Mark S. Moir | 2017-08-08 |
| 9430275 | Synchronization between concurrent notifier and waiter transactions using transaction condition variables | Virendra J. Marathe | 2016-08-30 |
| 9342380 | System and method for implementing reader-writer locks using hardware transactional memory | David Dice, Yosef Lev, Yujie Liu, Mark S. Moir | 2016-05-17 |
| 9323586 | Obstruction-free data structures and mechanisms with separable and/or substitutable contention management mechanisms | Mark S. Moir, Maurice P. Herlihy | 2016-04-26 |
| 9135178 | Efficient non-blocking K-compare-single-swap operation | Nir N. Shavit, Mark S. Moir | 2015-09-15 |
| 9052944 | Obstruction-free data structures and mechanisms with separable and/or substitutable contention management mechanisms | Mark S. Moir, Maurice P. Herlihy | 2015-06-09 |
| 8966491 | System and method for implementing NUMA-aware reader-writer locks | Irina Calciu, David Dice, Virendra J. Marathe, Nir N. Shavit, Yosef Lev | 2015-02-24 |
| 8909601 | System and method for implementing shared scalable nonzero indicators | Mark S. Moir, Yosef Lev, David Dice | 2014-12-09 |
| 8898632 | Dispatch predicate for overloaded functions using type intervals | Karl B. Naden, Justin R. Hilburn, David R. Chase, Guy L. Steele, Jr., Eric Allen | 2014-11-25 |
| 8843887 | Fast dispatch predicate for overloaded functions with generic type hierarchies that lack contravariance | David R. Chase, Guy L. Steele, Jr., Karl B. Naden, Justin R. Hilburn | 2014-09-23 |
| 8504540 | Scalable reader-writer lock | Marek Olszewski, Yosef Lev | 2013-08-06 |
| 8473952 | System and method for communication between concurrent transactions using transaction communicator objects | Virendra J. Marathe | 2013-06-25 |
| 8473950 | Parallel nested transactions | Christine H. Flood, Jan-Willem Maessen | 2013-06-25 |
| 8412894 | Value recycling facility for multithreaded computations | Mark S. Moir, Maurice P. Herlihy | 2013-04-02 |
| 8375062 | Simple optimistic skiplist | Maurice P. Herlihy, Yosef Lev, Nir N. Shavit | 2013-02-12 |
| 8244990 | Obstruction-free synchronization for shared data structures | Mark S. Moir, Maurice P. Herlihy | 2012-08-14 |
| 8230421 | Efficient non-blocking K-compare-single-swap operation | Nir N. Shavit, Mark S. Moir | 2012-07-24 |
| 8225294 | Method and apparatus for expressing and checking relationships between types | Sukyoung Ryu, Eric Allen, Joseph J. Hallett, III, Samuel Y. Tobin-Hochstadt | 2012-07-17 |
| 8176264 | Software transactional memory for dynamically sizable shared data structures | Mark S. Moir, Maurice P. Herlihy | 2012-05-08 |