Implementation of Atomic Primitives on Distributed Shared Memory Multiprocessors. - Maged M. Michael; Michael L. Scott (HPCA, 1995)

The Augmint multiprocessor simulation toolkit for Intel x86 architectures. - Anthony-Trung Nguyen; Maged M. Michael; Arun Sharma; Josep Torrellas (ICCD, 1996)

Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms. - Maged M. Michael; Michael L. Scott (PODC, 1996)

An Efficient Algorithm for Concurrent Priority Queue Heaps. - Galen C. Hunt; Maged M. Michael; Srinivasan Parthasarathy 001; Michael L. Scott (Inf. Process. Lett., 1996)

Relative Performance of Preemption-Safe Locking and Non-Blocking Synchronization on Multiprogrammed Shared Memory Multiprocessors. - Maged M. Michael; Michael L. Scott (IPPS, 1997)

Accuracy and Speedup of Parallel Trace-Driven Architectural Simulation. - Anthony-Trung Nguyen; Pradip Bose; Kattamuri Ekanadham; Ashwini K. Nanda; Maged M. Michael (IPPS, 1997)

Coherence Controller Architectures for SMP-Based CC-NUMA Multiprocessors. - Maged M. Michael; Ashwini K. Nanda; Beng-Hong Lim; Michael L. Scott (ISCA, 1997)

The Design of COMPASS: An Execution Driven Simulator for Commercial Applications Running on Shared Memory Multiprocessors. - Ashwini K. Nanda; Yiming Hu; Moriyoshi Ohara; Caroline Benveniste; Mark Giampapa; Maged M. Michael (IPPS/SPDP, 1998)

Nonblocking Algorithms and Preemption-Safe Locking on Multiprogrammed Shared Memory Multiprocessors. - Maged M. Michael; Michael L. Scott (J. Parallel Distributed Comput., 1998)

Design and Performance of Directory Caches for Scalable Shared Memory Multiprocessors. - Maged M. Michael; Ashwini K. Nanda (HPCA, 1999)

Coherence Controller Architectures for Scalable Shared-Memory Multiprocessors. - Maged M. Michael; Ashwini K. Nanda; Beng-Hong Lim (IEEE Trans. Computers, 1999)

High-Throughput Coherence Controllers. - Ashwini K. Nanda; Anthony-Trung Nguyen; Maged M. Michael; Douglas J. Joseph (HPCA, 2000)

High-throughout coherence control and hardware messaging in Everest. - Ashwini K. Nanda; Anthony-Trung Nguyen; Maged M. Michael; Douglas J. Joseph (IBM J. Res. Dev., 2001)

Safe memory reclamation for dynamic lock-free objects using atomic reads and writes. - Maged M. Michael (PODC, 2002)

High performance dynamic lock-free hash tables and list-based sets. - Maged M. Michael (SPAA, 2002)

CAS-Based Lock-Free Algorithm for Shared Deques. - Maged M. Michael (Euro-Par, 2003)

Scalable lock-free dynamic memory allocation. - Maged M. Michael (PLDI, 2004)

Brief announcement: completing the lock-free dynamic cycle. - Maged M. Michael (PODC, 2004)

Practical Lock-Free and Wait-Free LL/SC/VL Implementations Using 64-Bit CAS. - Maged M. Michael (DISC, 2004)

Hazard Pointers: Safe Memory Reclamation for Lock-Free Objects. - Maged M. Michael (IEEE Trans. Parallel Distributed Syst., 2004)

Experiences Understanding Performance in a Commercial Scale-Out Environment. - Robert W. Wisniewski; Reza Azimi; Mathieu Desnoyers; Maged M. Michael; José E. Moreira; Doron Shiloach; Livio Soares (Euro-Par, 2007)

Scalability of the Nutch search engine. - José E. Moreira; Maged M. Michael; Dilma Da Silva; Doron Shiloach; Parijat Dube; Li Zhang 002 (ICS, 2007)

Scale-up x Scale-out: A Case Study using Nutch/Lucene. - Maged M. Michael; José E. Moreira; Doron Shiloach; Robert W. Wisniewski (IPDPS, 2007)

A theory of memory models. - Vijay A. Saraswat; Radha Jagadeesan; Maged M. Michael; Christoph von Praun (PPoPP, 2007)

Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory. - Paul E. McKenney; Maged M. Michael; Jonathan Walpole (PLOS@SOSP, 2007)

Implementing and Exploiting Inevitability in Software Transactional Memory. - Michael F. Spear; Michael Silverman; Luke Dalessandro; Maged M. Michael; Michael L. Scott (ICPP, 2008)

RingSTM: scalable transactions with a single atomic instruction. - Michael F. Spear; Maged M. Michael; Christoph von Praun (SPAA, 2008)

Software Transactional Memory: Why Is It Only a Research Toy? - Calin Cascaval; Colin Blundell; Maged M. Michael; Harold W. Cain; Peng Wu 001; Stefanie Chiras; Siddhartha Chatterjee (ACM Queue, 2008)

Reducing Memory Ordering Overheads in Software Transactional Memory. - Michael F. Spear; Maged M. Michael; Michael L. Scott; Peng Wu 001 (CGO, 2009)

Idempotent work stealing. - Maged M. Michael; Martin T. Vechev; Vijay A. Saraswat (PPoPP, 2009)

Compiler and runtime techniques for software transactional memory optimization. - Peng Wu 001; Maged M. Michael; Christoph von Praun; Takuya Nakaike; Rajesh Bordawekar; Harold W. Cain; Calin Cascaval; Siddhartha Chatterjee; Stefanie Chiras; Rui Hou; Mark F. Mergen; Xiaowei Shen; et al. (Concurr. Comput. Pract. Exp., 2009)

Memory Management in Concurrent Algorithms. - Maged M. Michael (CAV, 2010)

Real Java applications in software transactional memory. - Takuya Nakaike; Rei Odaira; Toshio Nakatani; Maged M. Michael (IISWC, 2010)

A Case for Including Transactions in OpenMP. - Michael Wong; Barna L. Bihari; Bronis R. de Supinski; Peng Wu 001; Maged M. Michael; Yan Liu; Wang Chen (IWOMP, 2010)

Lock elision for read-only critical sections in Java. - Takuya Nakaike; Maged M. Michael (PLDI, 2010)

Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory. - Paul E. McKenney; Maged M. Michael; Josh Triplett; Jonathan Walpole (ACM SIGOPS Oper. Syst. Rev., 2010)

Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated. - Hagit Attiya; Rachid Guerraoui; Danny Hendler; Petr Kuznetsov; Maged M. Michael; Martin T. Vechev (POPL, 2011)

Evaluation of blue Gene/Q hardware support for transactional memories. - Amy Wang; Matthew Gaudet; Peng Wu 001; José Nelson Amaral; Martin Ohmacht; Christopher Barton; Raúl Silvera; Maged M. Michael (PACT, 2012)

Robust architectural support for transactional memory in the power architecture. - Harold W. Cain; Maged M. Michael; Brad Frey; Cathy May; Derek Williams; Hung Q. Le (ISCA, 2013)

The Balancing Act of Choosing Nonblocking Features. - Maged M. Michael (ACM Queue, 2013)

Quantitative comparison of hardware transactional memory for Blue Gene/Q, zEnterprise EC12, Intel Core, and POWER8. - Takuya Nakaike; Rei Odaira; Matthew Gaudet; Maged M. Michael; Hisanobu Tomari (ISCA, 2015)

Transactional memory support in the IBM POWER8 processor. - Hung Q. Le; Guy L. Guthrie; Derek Williams; Maged M. Michael; Brad Frey; William J. Starke; Cathy May; Rei Odaira; Takuya Nakaike (IBM J. Res. Dev., 2015)

PLDI 2004: Scalable Lock-Free Dynamic Memory Allocation. - Maged M. Michael (ACM SIGPLAN Notices, 2015)

Software Support and Evaluation of Hardware Transactional Memory on Blue Gene/Q. - Amy Wang; Matthew Gaudet; Peng Wu 001; Martin Ohmacht; José Nelson Amaral; Christopher Barton; Raúl Silvera; Maged M. Michael (IEEE Trans. Computers, 2015)

A Practical, Scalable, Relaxed Priority Queue. - Tingzhe Zhou; Maged M. Michael; Michael F. Spear (ICPP, 2019)

Brief Announcement: Hazard Pointer Protection of Structures with Immutable Links. - Maged M. Michael (PODC, 2020)