Mark Moir

Publication Activity (10 Years)

Years Active: 1993-2022
Publications (10 Years): 9

Top Topics

Keynote Address

Formal Verification

Top Venues

Publications

Harold Carr, Christa Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva
Towards Formal Verification of HotStuff-Based Byzantine Fault Tolerant Consensus in Agda. NFM (2022)
Harold Carr, Christa Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva
An approach to translating Haskell programs to Agda and reasoning about them. CoRR (2022)
Christa Jenkins, Mark Moir, Harold Carr
Proof Engineering with Predicate Transformer Semantics. CoRR (2022)
Harold Carr, Christopher Jenkins, Mark Moir, Victor Cacciari Miraldo, Lisandra Silva
Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version. CoRR (2022)
Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr.
Formal Verification of Authenticated, Append-Only Skip Lists in Agda: Extended Version. CoRR (2021)
Victor Cacciari Miraldo, Harold Carr, Mark Moir, Lisandra Silva, Guy L. Steele Jr.
Formal verification of authenticated, append-only skip lists in Agda. CPP (2021)
Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, Maurice Herlihy
Authenticated modular maps in Haskell. TyDe@ICFP (2018)
Maurice Herlihy, Mark Moir
Enhancing Accountability and Trust in Distributed Ledgers. CoRR (2016)
Maurice Herlihy, Mark Moir
Blockchains and the Logic of Accountability: Keynote Address. LICS (2016)
Dave Dice, Timothy L. Harris, Alex Kogan, Yossi Lev, Mark Moir
Hardware extensions to make lazy subscription safe. CoRR (2014)
Dave Dice, Alex Kogan, Yossi Lev, Timothy Merrifield, Mark Moir
Adaptive integration of hardware and software lock elision techniques. SPAA (2014)
Dave Dice, Yossi Lev, Mark Moir
Scalable statistics counters. SPAA (2013)
Tim Harris, Yossi Lev, Victor Luchangco, Virendra J. Marathe, Mark Moir
Constrained Data-Driven Parallelism. HotPar (2013)
Dave Dice, Yossi Lev, Mark Moir
Scalable statistics counters. PPOPP (2013)
Dave Dice, Yossi Lev, Yujie Liu, Victor Luchangco, Mark Moir
Using hardware transactional memory to correct and simplify and readers-writer lock algorithm. PPOPP (2013)
Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir
Towards formally specifying and verifying transactional memory. Formal Aspects Comput. 25 (5) (2013)
Irina Calciu, Dave Dice, Tim Harris, Maurice Herlihy, Alex Kogan, Virendra J. Marathe, Mark Moir
Message Passing or Shared Memory: Evaluating the Delegation Abstraction for Multicores. OPODIS (2013)
Mohsen Lesani, Victor Luchangco, Mark Moir
A Framework for Formally Verifying Software Transactional Memory Algorithms. CONCUR (2012)
Yossi Lev, Mark Moir
Lightweight parallel accumulators using C++ templates. IWMSE@ICSE (2011)
Aleksandar Dragojevic, Maurice Herlihy, Yossi Lev, Mark Moir
On the power of hardware transactional memory to simplify memory management. PODC (2011)
Luke Dalessandro, François Carouge, Sean White, Yossi Lev, Mark Moir, Michael L. Scott, Michael F. Spear
Hybrid NOrec: a case study in the effectiveness of best effort hardware transactional memory. ASPLOS (2011)
Mark Moir, Daniel Nussbaum
What Kinds of Applications Can Benefit from Transactional Memory? ISCA Workshops (2010)
David Dice, Yossi Lev, Virendra J. Marathe, Mark Moir, Daniel Nussbaum, Marek Olszewski
Simplifying concurrent algorithms by exploiting hardware transactional memory. SPAA (2010)
Simon Doherty, Mark Moir
Nonblocking Algorithms and Backward Simulation. DISC (2009)
Victor Luchangco, Mark Moir, Nir Shavit
-Compare-Single-Swap. Theory Comput. Syst. 44 (1) (2009)
Fuad Tabba, Mark Moir, James R. Goodman, Andrew W. Hay, Cong Wang
NZTM: nonblocking zero-indirection transactional memory. SPAA (2009)
David Dice, Yossi Lev, Mark Moir, Daniel Nussbaum
Early experience with a commercial hardware transactional memory implementation. ASPLOS (2009)
Mark Moir, Kevin Moore, Daniel Nussbaum
The adaptive transactional memory test platform: a tool for experimenting with transactional code for rock (poster). SPAA (2008)
Virendra J. Marathe, Mark Moir
Toward high performance nonblocking software transactional memory. PPOPP (2008)
Virendra J. Marathe, Mark Moir
Efficient nonblocking software transactional memory. PPOPP (2007)
Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III, Nir Shavit
A Lazy Concurrent List-Based Set Algorithm. Parallel Process. Lett. 17 (4) (2007)
Faith Ellen, Yossi Lev, Victor Luchangco, Mark Moir
SNZI: scalable NonZero indicators. PODC (2007)
Virendra J. Marathe, Mark Moir, Nir Shavit
Composite Abortable Locks. IPDPS (2006)
Peter Damron, Alexandra Fedorova, Yossi Lev, Victor Luchangco, Mark Moir, Daniel Nussbaum
Hybrid transactional memory. ASPLOS (2006)
Robert Colvin, Lindsay Groves, Victor Luchangco, Mark Moir
Formal Verification of a Lazy Concurrent List-Based Set Algorithm. CAV (2006)
Maurice Herlihy, Victor Luchangco, Mark Moir
A flexible framework for implementing software transactional memory. OOPSLA (2006)
Danny Hendler, Yossi Lev, Mark Moir, Nir Shavit
A dynamic-sized nonblocking work stealing deque. Distributed Comput. 18 (3) (2006)
Faith Ellen Fich, Victor Luchangco, Mark Moir, Nir Shavit
Obstruction-Free Step Complexity: Lock-Free DCAS as an Example. DISC (2005)
Maurice Herlihy, Victor Luchangco, Paul A. Martin, Mark Moir
Nonblocking memory management support for dynamic-sized data structures. ACM Trans. Comput. Syst. 23 (2) (2005)
Mark Moir, Daniel Nussbaum, Ori Shalev, Nir Shavit
Using elimination to implement scalable and lock-free FIFO queues. SPAA (2005)
Faith Ellen Fich, Victor Luchangco, Mark Moir, Nir Shavit
Obstruction-Free Algorithms Can Be Practically Wait-Free. DISC (2005)
Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III, Nir Shavit
A Lazy Concurrent List-Based Set Algorithm. OPODIS (2005)
Mark Moir, Nir Shavit, Jan Vitek
Concurrency and synchronization in Java programs. Sci. Comput. Program. 58 (3) (2005)
Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir
Formal Verification of a Practical Lock-Free Queue Algorithm. FORTE (2004)
Simon Doherty, Maurice Herlihy, Victor Luchangco, Mark Moir
Bringing practical lock-free synchronization to 64-bit applications. PODC (2004)
Simon Doherty, David Detlefs, Lindsay Groves, Christine H. Flood, Victor Luchangco, Paul Alan Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr.
DCAS is not a silver bullet for nonblocking algorithm design. SPAA (2004)
Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III
Software transactional memory for dynamic-sized data structures. PODC (2003)
Victor Luchangco, Mark Moir, Nir Shavit
Nonblocking k-compare-single-swap. SPAA (2003)
Victor Luchangco, Mark Moir, Nir Shavit
On the Uncontended Complexity of Consensus. DISC (2003)
Maurice Herlihy, Victor Luchangco, Mark Moir
Obstruction-Free Synchronization: Double-Ended Queues as an Example. ICDCS (2003)
Maurice Herlihy, Victor Luchangco, Mark Moir
Space and Time Adaptive Non-blocking Algorithms. Electron. Notes Theor. Comput. Sci. 78 (2003)
David Detlefs, Paul Alan Martin, Mark Moir, Guy L. Steele Jr.
Lock-free reference counting. Distributed Comput. 15 (4) (2002)
Maurice Herlihy, Victor Luchangco, Mark Moir
The Repeat Offender Problem: A Mechanism for Supporting Dynamic-Sized, Lock-Free Data Structures. DISC (2002)
Ole Agesen, David Detlefs, Christine H. Flood, Alexander T. Garthwaite, Paul Alan Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr.
DCAS-Based Concurrent Deques. Theory Comput. Syst. 35 (3) (2002)
Maurice Herlihy, Victor Luchangco, Paul A. Martin, Mark Moir
Dynamic-sized lock-free data structures. PODC (2002)
David Detlefs, Paul Alan Martin, Mark Moir, Guy L. Steele Jr.
Lock-free reference counting. PODC (2001)
Mark Moir
Laziness pays! Using lazy synchronization mechanisms to improve non-blocking constructions. Distributed Comput. 14 (4) (2001)
James H. Anderson, Mark Moir, Srikanth Ramamurthy
A simple proof technique for priority-scheduled systems. Inf. Process. Lett. 77 (2-4) (2001)
Patrick Keane, Mark Moir
A Simple Local-Spin Group Mutual Exclusion Algorithm. IEEE Trans. Parallel Distributed Syst. 12 (7) (2001)
Mark Moir
Correction: practical implementations of non-blocking synchronization primitives. PODC (2001)
Patrick Keane, Mark Moir
A General Resource Allocation Synchronization Problem. ICDCS (2001)
Mark Moir
Laziness pays! using lazy synchronization mechanisms to improve non-blocking constructions. PODC (2000)
Takashi Okumura, Mark Moir, Daniel Mossé
netnice: nice is not only for CPUs-a simple subnetwork bandwidth management scheme. ICCCN (2000)
Srikanth Rarnarnurthy, Mark Moir
Static-Priority Periodic Scheduling on Multiprocessors. RTSS (2000)
Mark Moir, Srikanth Ramamurthy
Pfair Scheduling of Fixed and Migrating Periodic Tasks on Multiple Resources. RTSS (1999)
James H. Anderson, Mark Moir
Wait-Free Synchronization in Multiprogrammed Systems: Integrating Priority-Based and Quantum-Based Scheduling. PODC (1999)
Patrick Keane, Mark Moir
A Simple Local-Spin Group Mutual Exclusion Algorithm. PODC (1999)
James H. Anderson, Mark Moir
Universal Constructions for Large Objects. IEEE Trans. Parallel Distributed Syst. 10 (12) (1999)
Stephen Menke, Mark Moir, Srikanth Ramamurthy
Synchronization Mechanisms for SCRAMNet+ Systems. PODC (1998)
Mark Moir
Fast, Long-Lived Renaming Improved and Simplified. Sci. Comput. Program. 30 (3) (1998)
Mark Moir
Transparent Support for Wait-Free Transactions. WDAG (1997)
Mark Moir
Practical Implementations of Non-Blocking Synchronization Primitives. PODC (1997)
James H. Anderson, Mark Moir
Using Local-Spin k-Exclusion Algorithms to Improve Wait-Free Object Implementations. Distributed Comput. 11 (1) (1997)
Mark Moir, Juan A. Garay
Fast, Long-Lived Renaming Improved and Simplified. WDAG (1996)
James H. Anderson, Srikanth Ramamurthy, Mark Moir, Kevin Jeffay
Lock-Free Transactions for Real-Time Systems. RTDB (1996)
Mark Moir, Juan A. Garay
Fast, Long-Lived Renaming Improved and Simplified (Abstract). PODC (1996)
Srikanth Ramamurthy, Mark Moir, James H. Anderson
Real-Time Object Sharing with Minimal System Support (Extended Abstract). PODC (1996)
Harry Buhrman, Juan A. Garay, Jaap-Henk Hoepman, Mark Moir
Long-Lived Renaming Made Fast. PODC (1995)
James H. Anderson, Mark Moir
Universal Constructions for Large Objects. WDAG (1995)
Mark Moir, James H. Anderson
Wait-Free Algorithms for Fast, Long-Lived Renaming. Sci. Comput. Program. 25 (1) (1995)
James H. Anderson, Mark Moir
Universal Constructions for Multi-Object Operations. PODC (1995)
James H. Anderson, Mark Moir
Using k-Exclusion to Implement Resilient, Scalable Shared Objects (Extended Abstract). PODC (1994)
Mark Moir, James H. Anderson
Fast, Long-Lived Renaming (Extended Abstract). WDAG (1994)
James H. Anderson, Mark Moir
Towards a Necessary and Sufficient Condition for Wait-free Synchronization (Extended Abstract). WDAG (1993)