| 2021 | CPP | Formal verification of authenticated, append-only skip lists in Agda. | Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr. |
| 2018 | ICFP | Authenticated modular maps in Haskell. | Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, Maurice Herlihy |
| 2016 | LICS | Blockchains and the Logic of Accountability: Keynote Address. | Maurice Herlihy, Mark Moir |
| 2014 | SPAA | Adaptive integration of hardware and software lock elision techniques. | Dave Dice, Alex Kogan, Yossi Lev, Timothy Merrifield, Mark Moir |
| 2013 | OPODIS | Message Passing or Shared Memory: Evaluating the Delegation Abstraction for Multicores. | Irina Calciu, Dave Dice, Tim Harris, Maurice Herlihy, Alex Kogan, Virendra J. Marathe, Mark Moir |
| 2013 | PPoPP | Using hardware transactional memory to correct and simplify and readers-writer lock algorithm. | Dave Dice, Yossi Lev, Yujie Liu, Victor Luchangco, Mark Moir |
| 2013 | PPoPP | Scalable statistics counters. | Dave Dice, Yossi Lev, Mark Moir |
| 2013 | SPAA | Scalable statistics counters. | Dave Dice, Yossi Lev, Mark Moir |
| 2012 | CONCUR | A Framework for Formally Verifying Software Transactional Memory Algorithms. | Mohsen Lesani, Victor Luchangco, Mark Moir |
| 2011 | ASPLOS | Hybrid NOrec: a case study in the effectiveness of best effort hardware transactional memory. | Luke Dalessandro, Franois Carouge, Sean White, Yossi Lev, Mark Moir, Michael L. Scott, Michael F. Spear |
| 2011 | ICSE | Lightweight parallel accumulators using C++ templates. | Yossi Lev, Mark Moir |
| 2011 | PODC | On the power of hardware transactional memory to simplify memory management. | Aleksandar Dragojevic, Maurice Herlihy, Yossi Lev, Mark Moir |
| 2010 | ISCA | What Kinds of Applications Can Benefit from Transactional Memory? | Mark Moir, Daniel Nussbaum |
| 2010 | SPAA | Simplifying concurrent algorithms by exploiting hardware transactional memory. | David Dice, Yossi Lev, Virendra J. Marathe, Mark Moir, Daniel Nussbaum, Marek Olszewski |
| 2009 | ASPLOS | Early experience with a commercial hardware transactional memory implementation. | David Dice, Yossi Lev, Mark Moir, Daniel Nussbaum |
| 2009 | SPAA | NZTM: nonblocking zero-indirection transactional memory. | Fuad Tabba, Mark Moir, James R. Goodman, Andrew W. Hay, Cong Wang |
| 2008 | PPoPP | Toward high performance nonblocking software transactional memory. | Virendra J. Marathe, Mark Moir |
| 2008 | SPAA | The adaptive transactional memory test platform: a tool for experimenting with transactional code for rock (poster). | Mark Moir, Kevin Moore, Daniel Nussbaum |
| 2007 | PODC | SNZI: scalable NonZero indicators. | Faith Ellen, Yossi Lev, Victor Luchangco, Mark Moir |
| 2007 | PPoPP | Efficient nonblocking software transactional memory. | Virendra J. Marathe, Mark Moir |
| 2006 | ASPLOS | Hybrid transactional memory. | Peter Damron, Alexandra Fedorova, Yossi Lev, Victor Luchangco, Mark Moir, Daniel Nussbaum |
| 2006 | CAV | Formal Verification of a Lazy Concurrent List-Based Set Algorithm. | Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir |
| 2006 | OOPSLA | A flexible framework for implementing software transactional memory. | Maurice Herlihy, Victor Luchangco, Mark Moir |
| 2005 | OPODIS | A Lazy Concurrent List-Based Set Algorithm. | Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III, Nir Shavit |
| 2005 | SPAA | Using elimination to implement scalable and lock-free FIFO queues. | Mark Moir, Daniel Nussbaum, Ori Shalev, Nir Shavit |
| 2004 | FORTE | Formal Verification of a Practical Lock-Free Queue Algorithm. | Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir |
| 2004 | PODC | Bringing practical lock-free synchronization to 64-bit applications. | Simon Doherty, Maurice Herlihy, Victor Luchangco, Mark Moir |
| 2004 | SPAA | 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. |
| 2003 | ICDCS | Obstruction-Free Synchronization: Double-Ended Queues as an Example. | Maurice Herlihy, Victor Luchangco, Mark Moir |
| 2003 | PODC | Software transactional memory for dynamic-sized data structures. | Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III |
| 2003 | SPAA | Nonblocking k-compare-single-swap. | Victor Luchangco, Mark Moir, Nir Shavit |
| 2002 | PODC | Dynamic-sized lock-free data structures. | Maurice Herlihy, Victor Luchangco, Paul A. Martin, Mark Moir |
| 2001 | ICDCS | A General Resource Allocation Synchronization Problem. | Patrick Keane, Mark Moir |
| 2001 | PODC | Lock-free reference counting. | David Detlefs, Paul Alan Martin, Mark Moir, Guy L. Steele Jr. |
| 2001 | PODC | Correction: practical implementations of non-blocking synchronization primitives. | Mark Moir |
| 2000 | ICCCN | netnice: nice is not only for CPUs-a simple subnetwork bandwidth management scheme. | Takashi Okumura, Mark Moir, Daniel Moss |
| 2000 | PODC | Laziness pays! using lazy synchronization mechanisms to improve non-blocking constructions. | Mark Moir |
| 2000 | RTSS | Static-Priority Periodic Scheduling on Multiprocessors. | Srikanth Rarnarnurthy, Mark Moir |
| 1999 | PODC | Wait-Free Synchronization in Multiprogrammed Systems: Integrating Priority-Based and Quantum-Based Scheduling. | James H. Anderson, Mark Moir |
| 1999 | PODC | A Simple Local-Spin Group Mutual Exclusion Algorithm. | Patrick Keane, Mark Moir |
| 1999 | RTSS | Pfair Scheduling of Fixed and Migrating Periodic Tasks on Multiple Resources. | Mark Moir, Srikanth Ramamurthy |
| 1998 | PODC | Synchronization Mechanisms for SCRAMNet+ Systems. | Stephen Menke, Mark Moir, Srikanth Ramamurthy |
| 1997 | PODC | Practical Implementations of Non-Blocking Synchronization Primitives. | Mark Moir |
| 1996 | PODC | Fast, Long-Lived Renaming Improved and Simplified (Abstract). | Mark Moir, Juan A. Garay |
| 1996 | PODC | Real-Time Object Sharing with Minimal System Support (Extended Abstract). | Srikanth Ramamurthy, Mark Moir, James H. Anderson |
| 1995 | PODC | Universal Constructions for Multi-Object Operations. | James H. Anderson, Mark Moir |
| 1995 | PODC | Long-Lived Renaming Made Fast. | Harry Buhrman, Juan A. Garay, Jaap-Henk Hoepman, Mark Moir |
| 1994 | PODC | Using k-Exclusion to Implement Resilient, Scalable Shared Objects (Extended Abstract). | James H. Anderson, Mark Moir |