2026 Mark Moir: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	51	5372	5220	2459	2374	130	9756

Discipline name

D-Index

World Ranking

Current World Ranking

National Ranking

Current National Ranking

Publications

Citations

Computer Science

5372

5220

2459

2374

130

9756

Overview

Mark Moir is affiliated with Oracle (US) in the United States and has contributed to the field of computer science through research focused primarily on distributed systems, fault tolerance, and formal verification.

Their recent papers encompass work published between 2021 and 2022. Representative publications include:

"Formal Verification of Authenticated, Append-Only Skip Lists in Agda: Extended Version" (2021) published in arXiv (Cornell University)
"Towards Formal Verification of HotStuff-based Byzantine Fault Tolerant Consensus in Agda: Extended Version" (2022) published in arXiv (Cornell University)
"An approach to translating Haskell programs to Agda and reasoning about them" (2022) published in arXiv (Cornell University)
"Wait-free algorithms for fast, long-lived renaming" (2021) published in UNC Libraries

The research venues associated with their publications predominantly include:

arXiv (Cornell University)
UNC Libraries

Their main field of study is computer science, with significant focus on several subfields, such as:

Artificial Intelligence
Computer Networks and Communications
Information Systems
Computational Theory and Mathematics
Sociology and Political Science

The topics frequently addressed in their work cover a range of themes within computer science and verification, including:

Distributed systems and fault tolerance
Security and Verification in Computing
Service-Oriented Architecture and Web Services
Cloud Data Security Solutions
Logic, programming, and type systems
Formal Methods in Verification
Blockchain Technology Applications and Security

Mark Moir collaborates extensively with several frequent coauthors, which include:

Harold Carr
Victor Cacciari Miraldo
Lisandra Silva
Christa Jenkins
Guy L. Steele

Best Publications

Software transactional memory for dynamic-sized data structures

Maurice Herlihy;Victor Luchangco;Mark Moir;William N. Scherer

1395
Citations
Obstruction-free synchronization: double-ended queues as an example

M. Herlihy;V. Luchangco;M. Moir

678
Citations
Hybrid transactional memory

Peter Damron;Alexandra Fedorova;Yossi Lev;Victor Luchangco

623
Citations
Early experience with a commercial hardware transactional memory implementation

Dave Dice;Yossi Lev;Mark Moir;Daniel Nussbaum

391
Citations
A flexible framework for implementing software transactional memory

Maurice Herlihy;Victor Luchangco;Mark Moir

366
Citations
Space-and time-adaptive nonblocking algorithms

Mark S. Moir;Victor M. Luchangco;Maurice Herlihy

266
Citations
Practical implementations of non-blocking synchronization primitives

Mark Moir

256
Citations
The repeat offender problem: a mechanism for supporting dynamic-sized lock-free data structures

Maurice Herlihy;Victor Luchangco;Mark Moir

196
Citations
Hybrid NOrec: a case study in the effectiveness of best effort hardware transactional memory

Luke Dalessandro;François Carouge;Sean White;Yossi Lev

188
Citations
Lock-free reference counting

David L. Detlefs;Paul A. Martin;Mark Moir;Guy L. Steele

187
Citations
Using elimination to implement scalable and lock-free FIFO queues

Mark Moir;Daniel Nussbaum;Ori Shalev;Nir Shavit

166
Citations
PhTM: Phased Transactional Memory

Dan Nussbaum;Yosef Lev;Mark Moir

159
Citations
Transparent Support for Wait-Free Transactions

Mark Moir

157
Citations
Wait-free algorithms for fast, long-lived renaming

Mark Moir;James H. Anderson

154
Citations
Hybrid software/hardware transactional memory

Mark S. Moir

152
Citations
Universal constructions for multi-object operations

James H. Anderson;Mark Moir

152
Citations
Nonblocking memory management support for dynamic-sized data structures

Maurice Herlihy;Victor Luchangco;Paul Martin;Mark Moir

151
Citations
Formal verification of a practical lock-free queue algorithm

Simon Doherty;Lindsay Groves;Victor Luchangco;Mark Moir

145
Citations
Pfair scheduling of fixed and migrating periodic tasks on multiple resources

M. Moir;S. Ramamurthy

142
Citations
SNZI: scalable NonZero indicators

Faith Ellen;Yossi Lev;Victor Luchangco;Mark Moir

130
Citations
A Lazy Concurrent List-Based Set Algorithm

Steve Heller;Maurice Herlihy;Victor Luchangco;Mark Moir

87
Citations

Frequent Co-Authors

Victor Luchangco Algorand Foundation

Maurice Herlihy Brown University

Nir Shavit MIT

Guy L. Steele Oracle (United States)

Juan A. Garay Texas A&M University

Tim Harris Oracle (United States)

Marc Tremblay Université Laval

Jan Vitek Northeastern University

Ali-Reza Adl-Tabatabai Uber

Kevin Jeffay University of North Carolina at Chapel Hill

External Links

Personal website of Mark Moir

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

The field of Computer Science offers a wide range of flexible online study options designed to meet diverse student needs. From career starters to those seeking advancement, considering online programs can unlock unique pathways.

For students beginning their journey or looking for a cost-effective option, pursuing an online associate's degree in computer science can serve as a strong foundation. These programs are practical for working adults and can lead directly to entry-level IT roles or pave the way for further study.

If affordability is a key concern, there are cheap online college classes available to help students manage costs without sacrificing quality. Many reputable institutions also support students with lower academic achievements by offering opportunities at online colleges that accept 2.0 gpa.

For professionals aiming to specialize or move into higher-paying tech roles, exploring the most worthwhile masters degrees can be a strategic choice. These advanced degrees often open doors to leadership or advanced technical positions across industries.