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