Improving Parallelism in Hardware Transactional Memory
Dave Dice, Maurice Herlihy, Alex Kogan, ACM Transactions on Architecture and Code Optimization (TACO)

Malthusian Locks - slides for EuroSys 2017
Dave Dice, EuroSys 2017

Persistent Memory Transactions
Virendra Marathe, Achin Mishra, Amee Trivedi, Yihe Huang, Faisal Zaghloul, Sanidhya Kashyap, Margo Seltzer, Tim Harris, Steve Byan, William Bridge, Dave Dice, USENIX Annual Technical Conference

Fast non-intrusive memory reclamation for highly-concurrent data structures
Dave Dice, Maurice Herlihy, Alex Kogan, ISMM 2016

Malthusian Locks
Dave Dice, PPoPP 2017

Primus Inter Pares: Improving Parallelism in Hardware Transactional Memory
Dave Dice, Maurice Herlihy, Alex Kogan, ACM/IEEE International Symposium on Computer Architecture (ISCA)

The Influence of Malloc Placement on TSX Hardware Transactional Memory.
Dave Dice, Tim Harris, Alex Kogan, Yossi Lev, CoRR abs/1504.04640 (2015)

Adaptive Integration of Hardware and Software Lock Elision Techniques.
Dave Dice, Alex Kogan, Yossi Lev, Timothy Merrifield, Mark Moir, SPAA 2014

Hardware extensions to make lazy subscription safe
Dave Dice, Tim Harris, Alex Kogan, Yossi Lev, Mark Moir, Extended version of our WTTM 2014 paper.

Hardware extensions to make lazy subscription safe.
Dave Dice, Timothy L. Harris, Alex Kogan, Yossi Lev, Mark Moir, CoRR abs/1407.6968 (2014)

Pitfalls of lazy subscription
Dave Dice, Tim Harris, Alex Kogan, Yossi Lev, Mark Moir, 6th Workshop on the Theory of Transactional Memory (WTTM 2014)

Early Experience with a Commercial Hardware Transactional Memory Implementation
David Dice, Yossi Lev, Mark Moir, Daniel Nussbaum, Marek Olszewski, Technical Report, (2009)

Supporting Per-processor Local-allocation Buffers Using Multi-processor Restartable Critical Sections
Derek White, David Dice, Alex Garthwaite, Technical Report, (2004)

Techniques For Enhancing Progress For Hardware Transactional Memory
(Jul 9, 2019)

Permuted Memory Access Mapping
(Jan 8, 2019)

Hardware Extensions For Memory Reclamation For Concurrent Data Structures
(Oct 10, 2017)

Transactional Execution Of Native Methods
(Aug 22, 2017)

System And Method For Implementing Shared Probabilistic Counters Storing Update Probability Values
(Aug 16, 2016)

System And Method For Implementing Reader-Writer Locks Using Hardware Transactional Memory
(May 17, 2016)

System And Method For Mitigating The Impact Of Branch Misprediction When Exiting Spin Loops
(Apr 5, 2016)

System And Method For Implementing Scalable Contention-Adaptive Statistics Counters
(Nov 10, 2015)

Systems And Methods For Adaptive Integration Of Hardware And Software Lock Elision Techniques
(Nov 10, 2015)

Partitioned Ticket Locks With Semi-Local Spinning
(Oct 13, 2015)

Supporting Targeted Stores In A Shared-Memory Multiprocessor System
(Aug 18, 2015)

Monitoring Multiple Memory Locations For Targeted Stores In A Shared-Memory Multiprocessor
(Mar 24, 2015)

System And Method For Implementing Numa-Aware Reader-Writer Locks
(Feb 24, 2015)

System And Method For Implementing Numa-Aware Statistics Counters
(Dec 23, 2014)

Method And System For Optimizing Code For A Multi-Threaded Application
(Sep 2, 2014)

System and method for reducing serialization in transactional memory using gang release of blocked threads
(Jul 22, 2014)

System And Method For Enabling Turbo Mode In A Processor
(Jul 8, 2014)

Method and system for hardware feedback in transactional memory
(Jul 8, 2014)

Systems And Methods For Detecting And Tolerating Atomicity Violations Between Concurrent Code Blocks
(May 20, 2014)

Page-protection based memory access barrier traps
(May 13, 2014)

Cache Index Coloring For Virtual-Address Dynamic Allocators
(Apr 22, 2014)

System And Method For Numa-Aware Locking Using Lock Cohorts
(Apr 8, 2014)

Multi-Lane Concurrent Bag For Facilitating Inter-Thread Communication
(Apr 1, 2014)

System And Method For Tracking References To Shared Objects Using Byte-Addressable Per-Thread Reference Counters
(Mar 18, 2014)

Lock-Clustering Compilation For Software Transactional Memory
(Mar 18, 2014)

System And Method For Performing Incremental Register Checkpointing In Transactional Memory
(Oct 15, 2013)

Concurrency Control Using Slotted Read-Write Locks
(Sep 17, 2013)

System And Method For Utilizing Available Best Effort Hardware Mechanisms For Supporting Transactional Memory
(Sep 10, 2013)

System And Method For Optimizing A Code Section By Forcing A Code Section To Be Executed Atomically
(Sep 10, 2013)

Method And System For Providing A Current Time Value
(Jun 25, 2013)

System And Method For Implementing Hierarchical Queue-Based Locks Using Flat Combining
(Jun 4, 2013)

Techniques for providing improved affinity scheduling in a multiprocessor computer system
(Mar 26, 2013)

System And Method For Managing Contention In Transactional Memory Using Global Execution Data
(Mar 19, 2013)

Fast And Efficient Reacquisition Of Locks For Transactional Memory Systems
(Feb 12, 2013)

Efficient Implicit Privatization Of Transactional Memory
(Dec 11, 2012)

Bulk Synchronization In Transactional Memory Systems
(Oct 30, 2012)

Advice-Based Feedback For Transactional Execution
(Oct 2, 2012)

Facilitating Transactional Execution Through Feedback About Misspeculation
(Jul 17, 2012)

System And Method For Transactional Locking Using Reader-Lists
(Jan 24, 2012)

System and method for transactional locking using reader-lists
(Jan 24, 2012)

Methods And Apparatus To Implement Parallel Transactions
(Nov 22, 2011)

Techniques For Providing Improved Affinity Scheduling In A Multiprocessor Computer System
(Nov 1, 2011)

Adaptive Spin-Then-Block Mutual Exclusion In Multi-Threaded Processing
(Oct 25, 2011)

Globally Incremented Variable Or Clock Based Methods And Apparatus To Implement Parallel Transactions
(Sep 27, 2011)

Optimistic Semi-Static Transactional Memory Implementations
(Mar 8, 2011)

Method And Apparatus For Switching Between Per-Thread And Per-Processor Resource Pools In Multi-Threaded Programs
(Feb 1, 2011)

Methods And Apparatus Providing Non-Blocking Access To A Resource
(Nov 30, 2010)

Quickly Reacquirable Locks
(Oct 12, 2010)

Fine-Locked Transactional Memory
(Sep 7, 2010)

Method Of Mixed Lock-Free And Locking Synchronization
(Jun 29, 2010)

Methods And Apparatus To Implement Parallel Transactions
(Feb 23, 2010)

Method And Apparatus For Executing A Long Transaction
(Feb 23, 2010)

Techniques For Accessing A Shared Resource Using An Improved Synchronization Mechanism
(Jan 5, 2010)

Methods and apparatus to implement parallel transactions
(Dec 29, 2009)

Adaptive Spin-Then-Block Mutual Exclusion In Multi-Threaded Processing
(Sep 22, 2009)

System And Methods For Deadlock Detection
(Feb 24, 2009)

Methods And Apparatus To Implement Parallel Transactions
(Feb 24, 2009)

Methods And Apparatus For Providing A Remote Serialization Guarantee
(Jan 6, 2009)

Methods And Apparatus For Selecting Processes For Execution
(Jan 8, 2008)

System And Method For Maintaining Data Synchronization
(Apr 3, 2007)

Methods And Apparatus For Executing Code While Avoiding Interference
(Feb 13, 2007)

Methods And Apparatus For Creating And Transforming Graphical Constructs
(Apr 4, 2006)

Multi-Threaded Garbage Collector Employing Cascaded Memory Arrays Of Task Identifiers To Implement Work Stealing Queues For Task Identification And Processing
(Mar 21, 2006)

Methods And Apparatus For Controlling Speculative Execution Of Instructions Based On A Multiaccess Memory Condition
(Apr 5, 2005)

Methods And Apparatus For Performing A Memory Management Technique
(Mar 1, 2005)

Speculative Execution Control With Programmable Indicator And Deactivation Of Multiaccess Recovery Mechanism
(Feb 8, 2005)

Methods And Apparatus For Executing Code While Avoiding Interference
(Sep 28, 2004)

Relaxed lock protocol
(May 11, 2004)

Mutual exculsion system and method for restarting critical sections of code when preempted during a critical section
(Feb 24, 2004)

System And Method Providing An Arrangement For Efficiently Emulating An Operating System Call
(Mar 4, 2003)

System And Method For Automatically And Selectively Promoting Object Variables To Method Fields And Variables In A Digital Computer System
(Oct 23, 2001)

System And Method For Efficiently Implementing An Authenticated Communications Channel That Facilitates Tamper Detection
(Sep 11, 2001)

System And Method For Synchronizing Access To Shared Variables In A Virtual Machine In A Digital Computer System
(Oct 31, 2000)

System and method for processing load instruction in accordance with "no-fault" processing facility including arrangement for preserving access fault indicia
(May 11, 1999)

Emulating a delayed exception on a digital computer having a corresponding precise exception mechanism
(Jul 7, 1998)

System and method for emulating a segmented virtual address space by a microprocessor that provides a non-segmented virtual address space
(Jun 9, 1998)

System and method for processing load instruction in accordance with "no-fault " processing facility including arrangement for preserving access fault indicia
(Jan 27, 1998)