Mark Moir

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Fast, long-lived renaming improved and simplified	2024-07-11	Paper
Universal constructions for large objects	2023-12-01	Paper
Laziness pays! Using lazy synchronization mechanisms to improve non-blocking constructions	2020-12-03	Paper
Lock-free reference counting	2020-12-03	Paper
Using local-spin k -exclusion algorithms to improve wait-free object implementations	2020-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4643874	2018-05-29	Paper
Practical implementations of non-blocking synchronization primitives	2017-09-29	Paper
Universal constructions for multi-object operations	2017-09-29	Paper
Long-lived renaming made fast	2017-09-29	Paper
Using k-exclusion to implement resilient, scalable shared objects (extended abstract)	2017-09-29	Paper
A simple local-spin group mutual exclusion algorithm	2015-09-11	Paper
Wait-free synchronization in multiprogrammed systems	2015-09-11	Paper
Real-time object sharing with minimal system support	2015-09-11	Paper
Towards formally specifying and verifying transactional memory	2014-11-11	Paper
SNZI	2014-03-13	Paper
Space- and time-adaptive nonblocking algorithms	2013-08-27	Paper
A dynamic-sized nonblocking work stealing deque	2013-06-07	Paper
A Framework for Formally Verifying Software Transactional Memory Algorithms	2012-09-25	Paper
Distributed Computing	2010-02-23	Paper
Nonblocking Algorithms and Backward Simulation	2009-11-19	Paper
Nonblocking \(k\)-compare-single-swap	2009-08-06	Paper
Distributed Computing	2006-11-01	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004	2005-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4437136	2003-12-07	Paper
A simple proof technique for priority-scheduled systems	2002-07-25	Paper
Wait-free algorithms for fast, long-lived renaming	1995-12-20	Paper

Research outcomes over time

This page was built for person: Mark Moir