Towards a Necessary and Sufficient Condition for Wait-free Synchronization (Extended Abstract). - James H. Anderson; Mark Moir (WDAG, 1993)

Using k-Exclusion to Implement Resilient, Scalable Shared Objects (Extended Abstract). - James H. Anderson; Mark Moir (PODC, 1994)

Fast, Long-Lived Renaming (Extended Abstract). - Mark Moir; James H. Anderson (WDAG, 1994)

Universal Constructions for Multi-Object Operations. - James H. Anderson; Mark Moir (PODC, 1995)

Long-Lived Renaming Made Fast. - Harry Buhrman; Juan A. Garay; Jaap-Henk Hoepman; Mark Moir (PODC, 1995)

Wait-Free Algorithms for Fast, Long-Lived Renaming. - Mark Moir; James H. Anderson (Sci. Comput. Program., 1995)

Fast, Long-Lived Renaming Improved and Simplified (Abstract). - Mark Moir; Juan A. Garay (PODC, 1996)

Real-Time Object Sharing with Minimal System Support (Extended Abstract). - Srikanth Ramamurthy; Mark Moir; James H. Anderson (PODC, 1996)

Lock-Free Transactions for Real-Time Systems. - James H. Anderson; Srikanth Ramamurthy; Mark Moir; Kevin Jeffay (RTDB, 1996)

Fast, Long-Lived Renaming Improved and Simplified. - Mark Moir; Juan A. Garay (WDAG, 1996)

Practical Implementations of Non-Blocking Synchronization Primitives. - Mark Moir (PODC, 1997)

Transparent Support for Wait-Free Transactions. - Mark Moir (WDAG, 1997)

Using Local-Spin k-Exclusion Algorithms to Improve Wait-Free Object Implementations. - James H. Anderson; Mark Moir (Distributed Comput., 1997)

Synchronization Mechanisms for SCRAMNet+ Systems. - Stephen Menke; Mark Moir; Srikanth Ramamurthy (PODC, 1998)

Fast, Long-Lived Renaming Improved and Simplified. - Mark Moir (Sci. Comput. Program., 1998)

Wait-Free Synchronization in Multiprogrammed Systems: Integrating Priority-Based and Quantum-Based Scheduling. - James H. Anderson; Mark Moir (PODC, 1999)

Pfair Scheduling of Fixed and Migrating Periodic Tasks on Multiple Resources. - Mark Moir; Srikanth Ramamurthy (RTSS, 1999)

Universal Constructions for Large Objects. - James H. Anderson; Mark Moir (IEEE Trans. Parallel Distributed Syst., 1999)

netnice: nice is not only for CPUs-a simple subnetwork bandwidth management scheme. - Takashi Okumura; Mark Moir; Daniel Mossé (ICCCN, 2000)

Static-Priority Periodic Scheduling on Multiprocessors. - Srikanth Rarnarnurthy; Mark Moir (RTSS, 2000)

A General Resource Allocation Synchronization Problem. - Patrick Keane; Mark Moir (ICDCS, 2001)

Correction: practical implementations of non-blocking synchronization primitives. - Mark Moir (PODC, 2001)

Laziness pays! Using lazy synchronization mechanisms to improve non-blocking constructions. - Mark Moir (Distributed Comput., 2001)

A simple proof technique for priority-scheduled systems. - James H. Anderson; Mark Moir; Srikanth Ramamurthy (Inf. Process. Lett., 2001)

A Simple Local-Spin Group Mutual Exclusion Algorithm. - Patrick Keane; Mark Moir (IEEE Trans. Parallel Distributed Syst., 2001)

Dynamic-sized lock-free data structures. - Maurice Herlihy; Victor Luchangco; Paul A. Martin; Mark Moir (PODC, 2002)

The Repeat Offender Problem: A Mechanism for Supporting Dynamic-Sized, Lock-Free Data Structures. - Maurice Herlihy; Victor Luchangco; Mark Moir (DISC, 2002)

Lock-free reference counting. - David Detlefs; Paul Alan Martin; Mark Moir; Guy L. Steele Jr. (Distributed Comput., 2002)

DCAS-Based Concurrent Deques. - Ole Agesen; David Detlefs; Christine H. Flood; Alexander T. Garthwaite; Paul Alan Martin; Mark Moir; Nir Shavit; Guy L. Steele Jr. (Theory Comput. Syst., 2002)

Obstruction-Free Synchronization: Double-Ended Queues as an Example. - Maurice Herlihy; Victor Luchangco; Mark Moir (ICDCS, 2003)

Software transactional memory for dynamic-sized data structures. - Maurice Herlihy; Victor Luchangco; Mark Moir; William N. Scherer III (PODC, 2003)

Nonblocking k-compare-single-swap. - Victor Luchangco; Mark Moir; Nir Shavit (SPAA, 2003)

On the Uncontended Complexity of Consensus. - Victor Luchangco; Mark Moir; Nir Shavit (DISC, 2003)

Space and Time Adaptive Non-blocking Algorithms. - Maurice Herlihy; Victor Luchangco; Mark Moir (CATS, 2003)

Formal Verification of a Practical Lock-Free Queue Algorithm. - Simon Doherty; Lindsay Groves; Victor Luchangco; Mark Moir (FORTE, 2004)

Bringing practical lock-free synchronization to 64-bit applications. - Simon Doherty; Maurice Herlihy; Victor Luchangco; Mark Moir (PODC, 2004)

DCAS is not a silver bullet for nonblocking algorithm design. - Simon Doherty; David Detlefs; Lindsay Groves; Christine H. Flood; Victor Luchangco; Paul Alan Martin; Mark Moir; Nir Shavit; Guy L. Steele Jr. (SPAA, 2004)

Concurrent Data Structures. - Mark Moir; Nir Shavit (Handbook of Data Structures and Applications, 2004)

Using elimination to implement scalable and lock-free FIFO queues. - Mark Moir; Daniel Nussbaum; Ori Shalev; Nir Shavit (SPAA, 2005)

Obstruction-Free Algorithms Can Be Practically Wait-Free. - Faith Ellen Fich; Victor Luchangco; Mark Moir; Nir Shavit (DISC, 2005)

Obstruction-Free Step Complexity: Lock-Free DCAS as an Example. - Faith Ellen Fich; Victor Luchangco; Mark Moir; Nir Shavit (DISC, 2005)

Concurrency and synchronization in Java programs. - Mark Moir; Nir Shavit; Jan Vitek (Sci. Comput. Program., 2005)

Nonblocking memory management support for dynamic-sized data structures. - Maurice Herlihy; Victor Luchangco; Paul A. Martin; Mark Moir (ACM Trans. Comput. Syst., 2005)

Hybrid transactional memory. - Peter Damron; Alexandra Fedorova; Yossi Lev; Victor Luchangco; Mark Moir; Daniel Nussbaum (ASPLOS, 2006)

Formal Verification of a Lazy Concurrent List-Based Set Algorithm. - Robert Colvin; Lindsay Groves; Victor Luchangco; Mark Moir (CAV, 2006)

Composite Abortable Locks. - Virendra J. Marathe; Mark Moir; Nir Shavit (IPDPS, 2006)

A flexible framework for implementing software transactional memory. - Maurice Herlihy; Victor Luchangco; Mark Moir (OOPSLA, 2006)

A dynamic-sized nonblocking work stealing deque. - Danny Hendler; Yossi Lev; Mark Moir; Nir Shavit (Distributed Comput., 2006)

SNZI: scalable NonZero indicators. - Faith Ellen; Yossi Lev; Victor Luchangco; Mark Moir (PODC, 2007)

Efficient nonblocking software transactional memory. - Virendra J. Marathe; Mark Moir (PPoPP, 2007)

A Lazy Concurrent List-Based Set Algorithm. - Steve Heller; Maurice Herlihy; Victor Luchangco; Mark Moir; William N. Scherer III; Nir Shavit (Parallel Process. Lett., 2007)

Toward high performance nonblocking software transactional memory. - Virendra J. Marathe; Mark Moir (PPoPP, 2008)

The adaptive transactional memory test platform: a tool for experimenting with transactional code for rock (poster). - Mark Moir; Kevin Moore; Daniel Nussbaum (SPAA, 2008)

Wait-Free Synchronization. - Mark Moir (Encyclopedia of Algorithms, 2008)

Early experience with a commercial hardware transactional memory implementation. - David Dice; Yossi Lev; Mark Moir; Daniel Nussbaum (ASPLOS, 2009)

NZTM: nonblocking zero-indirection transactional memory. - Fuad Tabba; Mark Moir; James R. Goodman; Andrew W. Hay; Cong Wang (SPAA, 2009)

Nonblocking Algorithms and Backward Simulation. - Simon Doherty; Mark Moir (DISC, 2009)

Nonblocking k -Compare-Single-Swap. - Victor Luchangco; Mark Moir; Nir Shavit (Theory Comput. Syst., 2009)

What Kinds of Applications Can Benefit from Transactional Memory? - Mark Moir; Daniel Nussbaum (ISCA Workshops, 2010)

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

Hybrid NOrec: a case study in the effectiveness of best effort hardware transactional memory. - Luke Dalessandro; François Carouge; Sean White; Yossi Lev; Mark Moir; Michael L. Scott; Michael F. Spear (ASPLOS, 2011)

Lightweight parallel accumulators using C++ templates. - Yossi Lev; Mark Moir (IWMSE@ICSE, 2011)

On the power of hardware transactional memory to simplify memory management. - Aleksandar Dragojevic; Maurice Herlihy; Yossi Lev; Mark Moir (PODC, 2011)

A Framework for Formally Verifying Software Transactional Memory Algorithms. - Mohsen Lesani; Victor Luchangco; Mark Moir (CONCUR, 2012)

Constrained Data-Driven Parallelism. - Tim Harris 001; Yossi Lev; Victor Luchangco; Virendra J. Marathe; Mark Moir (HotPar, 2013)

Message Passing or Shared Memory: Evaluating the Delegation Abstraction for Multicores. - Irina Calciu; Dave Dice; Tim Harris 001; Maurice Herlihy; Alex Kogan; Virendra J. Marathe; Mark Moir (OPODIS, 2013)

Using hardware transactional memory to correct and simplify and readers-writer lock algorithm. - Dave Dice; Yossi Lev; Yujie Liu 003; Victor Luchangco; Mark Moir (PPoPP, 2013)

Scalable statistics counters. - Dave Dice; Yossi Lev; Mark Moir (SPAA, 2013)

Towards formally specifying and verifying transactional memory. - Simon Doherty; Lindsay Groves; Victor Luchangco; Mark Moir (Formal Aspects Comput., 2013)

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; Timothy L. Harris; Alex Kogan; Yossi Lev; Mark Moir (CoRR, 2014)

Blockchains and the Logic of Accountability: Keynote Address. - Maurice Herlihy; Mark Moir (LICS, 2016)

Enhancing Accountability and Trust in Distributed Ledgers. - Maurice Herlihy; Mark Moir (CoRR, 2016)

Wait-Free Synchronization. - Mark Moir (Encyclopedia of Algorithms, 2016)

Authenticated modular maps in Haskell. - Victor Cacciari Miraldo; Harold Carr; Alex Kogan; Mark Moir; Maurice Herlihy (TyDe@ICFP, 2018)

Formal verification of authenticated, append-only skip lists in Agda. - Victor Cacciari Miraldo; Harold Carr; Mark Moir; Lisandra Silva; Guy L. Steele Jr. (CPP, 2021)

Formal Verification of Authenticated, Append-Only Skip Lists in Agda: Extended Version. - Victor Cacciari Miraldo; Harold Carr; Mark Moir; Lisandra Silva; Guy L. Steele Jr. (CoRR, 2021)

Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant Consensus in Agda. - Harold Carr; Christa Jenkins; Mark Moir; Victor Cacciari Miraldo; Lisandra Silva (NFM, 2022)

Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version. - Harold Carr; Christopher Jenkins; Mark Moir; Victor Cacciari Miraldo; Lisandra Silva (CoRR, 2022)

An approach to translating Haskell programs to Agda and reasoning about them. - Harold Carr; Christa Jenkins; Mark Moir; Victor Cacciari Miraldo; Lisandra Silva (CoRR, 2022)

Proof Engineering with Predicate Transformer Semantics. - Christa Jenkins; Mark Moir; Harold Carr (CoRR, 2022)