Mark Moir

From MaRDI portal
Person:470039

Available identifiers

zbMath Open moir.markMaRDI QIDQ470039

List of research outcomes

PublicationDate of PublicationType
Universal constructions for large objects2023-12-01Paper
Laziness pays! Using lazy synchronization mechanisms to improve non-blocking constructions2020-12-03Paper
Lock-free reference counting2020-12-03Paper
Using local-spin k -exclusion algorithms to improve wait-free object implementations2020-12-02Paper
https://portal.mardi4nfdi.de/entity/Q46438742018-05-29Paper
Using k-exclusion to implement resilient, scalable shared objects (extended abstract)2017-09-29Paper
Universal constructions for multi-object operations2017-09-29Paper
Long-lived renaming made fast2017-09-29Paper
Practical implementations of non-blocking synchronization primitives2017-09-29Paper
Real-time object sharing with minimal system support2015-09-11Paper
A simple local-spin group mutual exclusion algorithm2015-09-11Paper
Wait-free synchronization in multiprogrammed systems2015-09-11Paper
Towards formally specifying and verifying transactional memory2014-11-11Paper
SNZI2014-03-13Paper
https://portal.mardi4nfdi.de/entity/Q28439262013-08-27Paper
A dynamic-sized nonblocking work stealing deque2013-06-07Paper
A Framework for Formally Verifying Software Transactional Memory Algorithms2012-09-25Paper
Distributed Computing2010-02-23Paper
Nonblocking Algorithms and Backward Simulation2009-11-19Paper
Nonblocking \(k\)-compare-single-swap2009-08-06Paper
Distributed Computing2006-11-01Paper
Formal Techniques for Networked and Distributed Systems – FORTE 20042005-08-18Paper
https://portal.mardi4nfdi.de/entity/Q44371362003-12-07Paper
A simple proof technique for priority-scheduled systems2002-07-25Paper
Wait-free algorithms for fast, long-lived renaming1995-12-20Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Mark Moir