Formal Verification of Authenticated, Append-Only Skip Lists in Agda: Extended Version
Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy Steele, arxiv.org

Towards Understandable Smart Contracts
Harold Carr, Davin Fifield, Chris Flemming, Mark Moir, Bill Xie, Slides for Symposium on Distributed Ledger Technology (SDLT2017), Griffiths University, Gold Coast, Australia, June 13, 2017.

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)

Towards Whatever-Scale Abstractions for Data-Driven Parallelism
Mark Moir, Maurice Herlihy, Tim Harris, Victor Luchangco, Virendra Marathe, Yossi Lev, Yujie Liu, First Workshop on Rack-Scale Computing

Constrained Data-Driven Parallelism
Tim Harris, Yossi Lev, Victor Luchangco, Virendra Marathe, Mark Moir, In Proceedings, (2013)

On The Power of Hardware Transactional Memory to Simplify Memory Management
Aleksandar Dragojevic, Maurice Herlihy, Yossi Lev, Mark Moir, Conference Publication, (2011)

Towards Formally Specifying and Verifying Transactional Memory
Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir, Article, (2011)

Simplifying concurrent algorithms by exploiting hardware transactional memory.
David Dice, Yossi Lev, Virendra J. Marathe, Mark Moir, Daniel Nussbaum, Marek Olszewski, SPAA

Anatomy of a Scalable Software Transactional Memory
Yossi Lev, Victor Luchangco, Marek Olszewski, Virendra Marathe, Mark Moir, Dan Nussbaum, In Proceedings, (2009)

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

Exceptions and Transactions in C++
Adam Welc, Ali-Reza Adl-Tabatabai, Dan Nussbaum, Mark Moir, Peng Wu, Ravi Narayanaswamy, Victor Luchangco, Virendra Marathe, Xinmin Tian, Yang Ni, In Proceedings, (2009)

Exceptions and Transactions in C++
Adam Welc, Ali-Reza Adl-Tabatabai, Mark Moir, Mark Moir, Ravi Narayanaswamy, Victor Luchangco, Victor Luchangco, Xinmin Tian, Yang Ni, In Proceedings, (2009)

Toward high performance nonblocking software transactional memory.
Virendra J. Marathe, Mark Moir, PPOPP

Efficient nonblocking software transactional memory.
Virendra J. Marathe, Mark Moir, PPOPP

Composite Abortable Locks.
Virendra J. Marathe, Mark Moir, Nir Shavit, IPDPS

Dynamic-Sized Nonblocking Work Stealing Deque, A
Danny Hendler, Yossi Lev, Mark Moir, Nir Shavit, Technical Report, (2005)

DCAS-based Concurrent Deques Supporting Bulk Allocation
Mark Moir, Guy Steele, Paul Martin, Technical Report, (2002)

Dynamic-sized Lockfree Data Structures
Victor Luchangco, Paul Martin, Mark Moir, Maurice Herlihy, Technical Report, (2002)

Repeat Offender Problem: A Mechanism for Supporting Dynamic-sized Lock-free Data Structures, The
Maurice Herlihy, Victor Luchangco, Mark Moir, Technical Report, (2002)

Lock-Free Transactions for Real-Time Systems.
James Anderson, Srikanth Ramamurthy, Mark Moir, Kevin Jeffay, RTDB 1996:103-110

Sharded Permissioned Distributed Ledgers
(Aug 11, 2020)

Systems And Methods For Safely Subscribing To Locks Using Hardware Extensions
(Dec 31, 2019)

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)

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

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

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

System And Method For Performing Memory Management Using Hardware Transactions
(May 26, 2015)

Monitoring Multiple Memory Locations For Targeted Stores In A Shared-Memory Multiprocessor
(Mar 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)

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

System And Method For Performing Dynamic Mixed Mode Read Validation In A Software Transactional Memory
(Nov 26, 2013)

System And Method For Performing Incremental Register Checkpointing In Transactional Memory
(Oct 15, 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)

System And Method For Executing A Transaction Using Parallel Co-Transactions
(Jun 11, 2013)

System And Method For Providing Locale-Based Optimizations In A Transactional Memory
(Apr 9, 2013)

Value recycling facility for multithreaded computations
(Apr 2, 2013)

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

System And Method For Committing Results Of A Software Transaction Using A Hardware Transaction
(Mar 19, 2013)

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

Watchpoints On Transactional Variables
(Nov 20, 2012)

Atomic Groups For Debugging
(Nov 6, 2012)

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

Obstruction-Free Synchronization For Shared Data Structures
(Aug 14, 2012)

System And Method For Performing Visible And Semi-Visible Read Operations In A Software Transactional Memory
(Aug 7, 2012)

Efficient non-blocking K-compare-single-swap operation
(Jul 24, 2012)

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

Systems And Methods For Supporting Software Transactional Memory Using Inconsistency-Aware Compilers And Libraries
(Jul 3, 2012)

Viewing And Modifying Transactional Variables
(May 15, 2012)

Software transactional memory for dynamically sizable shared data structures
(May 8, 2012)

System And Method For Implementing Nonblocking Zero-Indirection Transactional Memory
(Mar 20, 2012)

Method And Apparatus For Improving Transactional Memory Interactions By Tracking Object Visibility
(Feb 14, 2012)

Using Transactional Memory With Early Release To Implement Non-Blocking Dynamic-Sized Data Structure
(Dec 6, 2011)

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

Space-and time-adaptive nonblocking algorithms
(Sep 13, 2011)

Composite Abortable Locks
(Jul 19, 2011)

System And Method For Supporting Phased Transactional Memory Modes
(Jun 21, 2011)

System And Method For Supporting Multiple Alternative Methods For Executing Transactions
(Apr 5, 2011)

Value Recycling Facility For Multithreaded Computations
(Mar 15, 2011)

Software transactional memory for dynamically sizable shared data structures
(Feb 22, 2011)

Method and apparatus for emulating linked-load/store-conditional synchronization
(Jan 11, 2011)

Efficient non-blocking K-compare-single-swap operation
(Jan 4, 2011)

Replay Debugging
(Dec 7, 2010)

Delayed Breakpoints
(Nov 23, 2010)

Scalable And Lock-Free First-In-First-Out Queue Implementation
(Nov 16, 2010)

Coordinating Accesses To Shared Objects Using Transactional Memory Mechanisms And Non-Transactional Software Mechanisms
(Oct 19, 2010)

Quickly Reacquirable Locks
(Oct 12, 2010)

Code Preparation Technique Employing Lock-Free Pointer Operations
(Sep 28, 2010)

System And Method For Implementing Hybrid Single-Compare-Single-Store Operations
(Sep 7, 2010)

Efficient non-blocking k-compare-single-swap operation
(Sep 7, 2010)

Method And System For Implementing A Concurrent Set Of Objects
(Aug 31, 2010)

Scalable Method For Producer And Consumer Elimination
(Aug 17, 2010)

Lightweight Reference Counting Using Single-Target Synchronization
(Aug 3, 2010)

Read Sharing Using Global Conflict Indication And Semi-Transparent Reading In A Transactional Memory Space
(May 4, 2010)

Technique To Allow A First Transaction To Wait On Condition That Affects Its Working Set
(Apr 20, 2010)

System And Method For Executing Transactions
(Mar 30, 2010)

Obstruction-Free Mechanism For Atomic Update Of Multiple Non-Contiguous Locations In Shared Memory
(Mar 23, 2010)

Practical Implementation Of Arbitrary-Sized Ll/Sc Variables
(Mar 16, 2010)

Instruction Set Architecture Employing Conditional Multistore Synchronization
(Mar 16, 2010)

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

Breakpoints in a transactional memory-based representation of code
(Nov 17, 2009)

Space-Adaptive Lock-Free Queue Using Pointer-Sized Single-Target Synchronization
(Aug 18, 2009)

Space-Adaptive Lock-Free Free-List Using Pointer-Sized Single-Target Synchronization
(May 12, 2009)

Non-blocking growable arrays
(Mar 10, 2009)

Controlling Contention Via Transactional Timers Among Conflicting Transactions Issued By Processors Operating In Insistent Or Polite Mode
(Feb 24, 2009)

Conditional Synchronization Mechanisms Allowing Multiple Store Operations To Become Visible While A Flagged Memory Location Is Owned And Remains Unchanged
(Jan 20, 2009)

Ensuring Progress In A System That Supports Execution Of Obstruction-Free Operations
(Jan 6, 2009)

Shared Synchronized Skip-List Data Structure And Technique Employing Linearizable Operations
(Sep 9, 2008)

Avoiding locks by transactionally executing critical sections
(Jul 8, 2008)

Space- And Time-Adaptive Nonblocking Algorithms
(Jul 1, 2008)

Hybrid software/hardware transactional memory
(Jul 1, 2008)

Selectively unmarking load-marked cache lines during transactional program execution
(Jun 17, 2008)

Shared Lease Instruction Support For Transient Blocking Synchronization
(Apr 1, 2008)

Exclusive Lease Instruction Support For Transient Blocking Synchronization
(Mar 18, 2008)

Software Transactional Memory For Dynamically Sizable Shared Data Structures
(Feb 5, 2008)

Single-Word Lock-Free Reference Counting
(Nov 20, 2007)

Efficient Non-Blocking K-Compare-Single-Swap Operation
(Nov 6, 2007)

Lock-Free Implementation Of Dynamic-Sized Shared Data Structure
(Aug 7, 2007)

Method And Apparatus For Releasing Memory Locations During Transactional Execution
(Apr 17, 2007)

Non-Blocking Memory Management Mechanism For Supporting Dynamic-Sized Data Structures
(Mar 20, 2007)

Non-Blocking Growable Arrays
(Jan 30, 2007)

Selectively unmarking load-marked cache lines during transactional program execution
(Aug 8, 2006)

Concurrent Shared Object Implemented Using A Linked-List With Amortized Node Allocation
(Mar 21, 2006)

Lock Free Reference Counting
(Jan 31, 2006)

Lock-Free Implementation Of Concurrent Shared Object With Dynamic Node Allocation And Distinguishing Pointer Value
(Nov 30, 2004)