Mark Moir

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
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
Using k-exclusion to implement resilient, scalable shared objects (extended abstract)	2017-09-29	Paper
Universal constructions for multi-object operations	2017-09-29	Paper
Long-lived renaming made fast	2017-09-29	Paper
Practical implementations of non-blocking synchronization primitives	2017-09-29	Paper
Real-time object sharing with minimal system support	2015-09-11	Paper
A simple local-spin group mutual exclusion algorithm	2015-09-11	Paper
Wait-free synchronization in multiprogrammed systems	2015-09-11	Paper
Towards formally specifying and verifying transactional memory	2014-11-11	Paper
SNZI	2014-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q2843926	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mark Moir