Maged Michael: Selected Publications

Journal and Conference Papers

• Maged M. Michael
  Practical Lock-Free and Wait-Free LL/SC/VL Implementations Using 64-Bit CAS pdf
  DISC 2004 The 18th International Conference on Distributed Computing, October 2004.
  Earlier versions in IBM Research Reports RC23089 (Jan. 2004) and RC23220 (May 2004).

• Maged M. Michael
  Scalable Lock-Free Dynamic Memory Allocation pdf
  PLDI 2004 The 2004 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 35-46, June 2004.

• Maged M. Michael
  Hazard Pointers: Safe Memory Reclamation for Lock-Free Objects pdf
  IEEE TPDS (2004) IEEE Transactions on Parallel and Distributed Systems, 15(6):491-504, June 2004.

• Maged M. Michael
  CAS-Based Lock-Free Algorithm for Shared Deques pdf
  Euro-Par 2003 The Ninth Euro-Par Conference on Parallel Processing, LNCS volume 2790, pages 651-660, August 2003.

• Maged M. Michael
  High Performance Dynamic Lock-Free Hash Tables and List-Based Sets pdf
  SPAA 2002 The 14th Annual ACM Symposium on Parallel Algorithms and Architectures, pages 73-82, August 2002.

• Maged M. Michael
  Safe Memory Reclamation for Dynamic Lock-Free Objects Using Atomic Reads and Writes pdf
  PODC 2002 The 21st Annual ACM Symposium on Principles of Distributed Computing, pages 21-30, July 2002.
  Earlier version in IBM Research Report RC22317 (Jan. 2002).

• Ashwini K. Nanda, Anthony-Trung Nguyen, Maged M. Michael, and Douglas J. Joseph
  High-Throughput Coherence Control and Hardware Messaging in Everest pdf
  IBM RD (2001) IBM Journal of Research and Development 45(2):229-243, March 2001.

• Ashwini K. Nanda, Anthony-Trung Nguyen, Maged M. Michael, and Douglas J. Joseph
  High-Throughput Coherence Controllers pdf
  HPCA 2000 The Sixth IEEE International Symposium on High Performance Computer Architecture, pages 145-155, January 2000.

• Maged M. Michael, Ashwini K. Nanda, and Beng-Hong Lim
  Coherence Controller Architectures for Scalable Shared-Memory Multiprocessors pdf
  IEEE TC (1999) IEEE Transactions on Computers 48(2):245-255, February 1999.

• Maged M. Michael and Ashwini K. Nanda
  Design and Performance of Directory Caches for Scalable Shared Memory Multiprocessors pdf
  HPCA 1999 The Fifth IEEE International Symposium on High Performance Computer Architecture, pages 142-151, January 1999.

• Maged M. Michael and Michael L. Scott
  Nonblocking Algorithms and Preemption-Safe Locking on Multiprogrammed Shared Memory Multiprocessors pdf
  JPDC (1998) Journal of Parallel and Distributed Computing 51(1):1-26, May 1998.

• Ashwini K. Nanda, Yiming Hu, Moriyoshi Ohara, Caroline D. Benveniste, Mark E. Giampapa, and Maged M. Michael
  The Design of COMPASS : An Execution Driven Simulator for Commercial Applications Running on Shared Memory Multiprocessors
  IPPS 1998 The 12th IEEE International Parallel Processing Symposium, pages 503-509, March-April 1998.

• Maged M. Michael, Ashwini K. Nanda, Beng-Hong Lim, and Michael L. Scott
  Coherence Controller Architectures for SMP-Based CC-NUMA Multiprocessors pdf
  ISCA 1997 The 24th International Symposium on Computer Architecture, pages 219-228, June 1997.

• Maged M. Michael and Michael L. Scott
  Relative Performance of Preemption-Safe Locking and Non-Blocking Synchronization on Multiprogrammed Shared Memory Multiprocessors pdf
  IPPS 1997 The 11th IEEE International Parallel Processing Symposium, pages 267-273, April 1997.

• Anthony-Trung Nguyen, Pradip Bose, Kattamuri Ekanadham, Ashwini K. Nanda, and Maged M. Michael
  Accuracy and Speedup of Parallel Trace-Driven Architectural Simulation
  IPPS 1997 The 11th IEEE International Parallel Processing Symposium, pages 39-44, April 1997.

• Galen C. Hunt, Maged M. Michael, Srinivasan Parthasarathy, and Michael L. Scott
  An Efficient Algorithm for Priority Queue Heaps pdf
  IPL (1996) Information Processing Letters 60(3):151-157, November 1996.

• Anthony-Trung Nguyen, Maged M. Michael, Arun Sharma, and Josep Torrellas
  The Augmint Multiprocessor Simulation Toolkit for Intel x86 Architectures pdf
  ICCD 1996 The 1996 IEEE International Conference on Computer Design , pages 486-490, October 1996.

• Maged M. Michael and Michael L. Scott
  Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms pdf
  PODC 1996 The 15th Annual ACM Symposium on Principles of Distributed Computing, pages 267-275, May 1996.

• Maged M. Michael and Michael L. Scott
  Implementation of Atomic Primitives on Distributed Shared Memory Multiprocessors pdf
  HPCA 1995 The First IEEE International Symposium on High Performance Computer Architecture, pages 222-231, January 1995.