Maged M. Michael

According to our database, Maged M. Michael authored at least 46 papers between 1995 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2020

Brief Announcement: Hazard Pointer Protection of Structures with Immutable Links.

Maged M. Michael

Proceedings of the PODC '20: ACM Symposium on Principles of Distributed Computing, 2020

2019

A Practical, Scalable, Relaxed Priority Queue.

Tingzhe Zhou, Maged M. Michael, Michael F. Spear

Proceedings of the 48th International Conference on Parallel Processing, 2019

2015

Software Support and Evaluation of Hardware Transactional Memory on Blue Gene/Q.

Amy Wang, Matthew Gaudet, Peng Wu, Martin Ohmacht, José Nelson Amaral, Christopher Barton, Raúl Silvera, Maged M. Michael

IEEE Trans. Computers, 2015

PLDI 2004: Scalable Lock-Free Dynamic Memory Allocation.

Maged M. Michael

ACM SIGPLAN Notices, 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

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

Proceedings of the 42nd Annual International Symposium on Computer Architecture, 2015

2013

The balancing act of choosing nonblocking features.

Maged M. Michael

Commun. ACM, 2013

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

Proceedings of the 40th Annual International Symposium on Computer Architecture, 2013

2012

Evaluation of blue Gene/Q hardware support for transactional memories.

Amy Wang, Matthew Gaudet, Peng Wu, José Nelson Amaral, Martin Ohmacht, Christopher Barton, Raúl Silvera, Maged M. Michael

Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2012

2011

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

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

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

Lock elision for read-only critical sections in Java.

Takuya Nakaike, Maged M. Michael

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

A Case for Including Transactions in OpenMP.

Michael Wong, Barna L. Bihari, Bronis R. de Supinski, Peng Wu, Maged M. Michael, Yan Liu, Wang Chen

Proceedings of the Beyond Loop Level Parallelism in OpenMP: Accelerators, 2010

Real Java applications in software transactional memory.

Takuya Nakaike, Rei Odaira, Toshio Nakatani, Maged M. Michael

Proceedings of the 2010 IEEE International Symposium on Workload Characterization, 2010

Memory Management in Concurrent Algorithms.

Maged M. Michael

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Compiler and runtime techniques for software transactional memory optimization.

Peng Wu, 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, Michael F. Spear, Huayong Wang, Kun Wang

Concurr. Comput. Pract. Exp., 2009

Idempotent work stealing.

Maged M. Michael, Martin T. Vechev, Vijay A. Saraswat

Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

Reducing Memory Ordering Overheads in Software Transactional Memory.

Michael F. Spear, Maged M. Michael, Michael L. Scott, Peng Wu

Proceedings of the CGO 2009, 2009

2008

Software transactional memory: why is it only a research toy?

Calin Cascaval, Colin Blundell, Maged M. Michael, Harold W. Cain, Peng Wu, Stefanie Chiras, Siddhartha Chatterjee

Commun. ACM, 2008

RingSTM: scalable transactions with a single atomic instruction.

Michael F. Spear, Maged M. Michael, Christoph von Praun

Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008

Implementing and Exploiting Inevitability in Software Transactional Memory.

Michael F. Spear, Michael Silverman, Luke Dalessandro, Maged M. Michael, Michael L. Scott

Proceedings of the 2008 International Conference on Parallel Processing, 2008

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

Proceedings of the 4th workshop on Programming languages and operating systems, 2007

A theory of memory models.

Vijay A. Saraswat, Radha Jagadeesan, Maged M. Michael, Christoph von Praun

Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Scale-up x Scale-out: A Case Study using Nutch/Lucene.

Maged M. Michael, José E. Moreira, Doron Shiloach, Robert W. Wisniewski

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Scalability of the Nutch search engine.

José E. Moreira, Maged M. Michael, Dilma Da Silva, Doron Shiloach, Parijat Dube, Li Zhang

Proceedings of the 21th Annual International Conference on Supercomputing, 2007

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

Proceedings of the Euro-Par 2007, 2007

2004

Hazard Pointers: Safe Memory Reclamation for Lock-Free Objects.

Maged M. Michael

IEEE Trans. Parallel Distributed Syst., 2004

Practical Lock-Free and Wait-Free LL/SC/VL Implementations Using 64-Bit CAS.

Maged M. Michael

Proceedings of the Distributed Computing, 18th International Conference, 2004

Brief announcement: completing the lock-free dynamic cycle.

Maged M. Michael

Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, 2004

Scalable lock-free dynamic memory allocation.

Maged M. Michael

Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

2003

CAS-Based Lock-Free Algorithm for Shared Deques.

Maged M. Michael

Proceedings of the Euro-Par 2003. Parallel Processing, 2003

2002

High performance dynamic lock-free hash tables and list-based sets.

Maged M. Michael

Proceedings of the Fourteenth Annual ACM Symposium on Parallel Algorithms and Architectures, 2002

Safe memory reclamation for dynamic lock-free objects using atomic reads and writes.

Maged M. Michael

Proceedings of the Twenty-First Annual ACM Symposium on Principles of Distributed Computing, 2002

2001

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

2000

High-Throughput Coherence Controllers.

Ashwini K. Nanda, Anthony-Trung Nguyen, Maged M. Michael, Douglas J. Joseph

Proceedings of the Sixth International Symposium on High-Performance Computer Architecture, 2000

1999

Coherence Controller Architectures for Scalable Shared-Memory Multiprocessors.

Maged M. Michael, Ashwini K. Nanda, Beng-Hong Lim

IEEE Trans. Computers, 1999

Design and Performance of Directory Caches for Scalable Shared Memory Multiprocessors.

Maged M. Michael, Ashwini K. Nanda

Proceedings of the Fifth International Symposium on High-Performance Computer Architecture, 1999

1998

Nonblocking Algorithms and Preemption-Safe Locking on Multiprogrammed Shared Memory Multiprocessors.

Maged M. Michael, Michael L. Scott

J. Parallel Distributed Comput., 1998

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

Proceedings of the 12th International Parallel Processing Symposium / 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP '98), March 30, 1998

1997

Coherence Controller Architectures for SMP-Based CC-NUMA Multiprocessors.

Maged M. Michael, Ashwini K. Nanda, Beng-Hong Lim, Michael L. Scott

Proceedings of the 24th International Symposium on Computer Architecture, 1997

Accuracy and Speedup of Parallel Trace-Driven Architectural Simulation.

Anthony-Trung Nguyen, Pradip Bose, Kattamuri Ekanadham, Ashwini K. Nanda, Maged M. Michael

Proceedings of the 11th International Parallel Processing Symposium (IPPS '97), 1997

Relative Performance of Preemption-Safe Locking and Non-Blocking Synchronization on Multiprogrammed Shared Memory Multiprocessors.

Maged M. Michael, Michael L. Scott

Proceedings of the 11th International Parallel Processing Symposium (IPPS '97), 1997

1996

An Efficient Algorithm for Concurrent Priority Queue Heaps.

Galen C. Hunt, Maged M. Michael, Srinivasan Parthasarathy, Michael L. Scott

Inf. Process. Lett., 1996

Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms.

Maged M. Michael, Michael L. Scott

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

The Augmint multiprocessor simulation toolkit for Intel x86 architectures.

Anthony-Trung Nguyen, Maged M. Michael, Arun Sharma, Josep Torrellas

Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996

1995

Implementation of Atomic Primitives on Distributed Shared Memory Multiprocessors.

Maged M. Michael, Michael L. Scott

Proceedings of the 1st IEEE Symposium on High-Performance Computer Architecture (HPCA 1995), 1995