Maged M. Michael

Publication Activity (10 Years)

Years Active: 1995-2020
Publications (10 Years): 2

Top Topics

Ibm Zenterprise

Speculative Execution

Transactional Memory

Top Venues

Publications

Maged M. Michael
Brief Announcement: Hazard Pointer Protection of Structures with Immutable Links. PODC (2020)
Tingzhe Zhou, Maged M. Michael, Michael F. Spear
A Practical, Scalable, Relaxed Priority Queue. ICPP (2019)
Hung Q. Le, Guy L. Guthrie, Derek Williams, Maged M. Michael, Brad Frey, William J. Starke, Cathy May, Rei Odaira, Takuya Nakaike
Transactional memory support in the IBM POWER8 processor. IBM J. Res. Dev. 59 (1) (2015)
Amy Wang, Matthew Gaudet, Peng Wu, Martin Ohmacht, José Nelson Amaral, Christopher Barton, Raúl Silvera, Maged M. Michael
Software Support and Evaluation of Hardware Transactional Memory on Blue Gene/Q. IEEE Trans. Computers 64 (1) (2015)
Takuya Nakaike, Rei Odaira, Matthew Gaudet, Maged M. Michael, Hisanobu Tomari
Quantitative comparison of hardware transactional memory for Blue Gene/Q, zEnterprise EC12, Intel Core, and POWER8. ISCA (2015)
Maged M. Michael
PLDI 2004: Scalable Lock-Free Dynamic Memory Allocation. ACM SIGPLAN Notices 50 (8s) (2015)
Maged M. Michael
The Balancing Act of Choosing Nonblocking Features. ACM Queue 11 (7) (2013)
Harold W. Cain, Maged M. Michael, Brad Frey, Cathy May, Derek Williams, Hung Q. Le
Robust architectural support for transactional memory in the power architecture. ISCA (2013)
Maged M. Michael
The balancing act of choosing nonblocking features. Commun. ACM 56 (9) (2013)
Amy Wang, Matthew Gaudet, Peng Wu, José Nelson Amaral, Martin Ohmacht, Christopher Barton, Raúl Silvera, Maged M. Michael
Evaluation of blue Gene/Q hardware support for transactional memories. PACT (2012)
Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov, Maged M. Michael, Martin T. Vechev
Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated. POPL (2011)
Takuya Nakaike, Maged M. Michael
Lock elision for read-only critical sections in Java. PLDI (2010)
Takuya Nakaike, Rei Odaira, Toshio Nakatani, Maged M. Michael
Real Java applications in software transactional memory. IISWC (2010)
Paul E. McKenney, Maged M. Michael, Josh Triplett, Jonathan Walpole
Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory. ACM SIGOPS Oper. Syst. Rev. 44 (3) (2010)
Maged M. Michael
Memory Management in Concurrent Algorithms. CAV (2010)
Michael Wong, Barna L. Bihari, Bronis R. de Supinski, Peng Wu, Maged M. Michael, Yan Liu, Wang Chen
A Case for Including Transactions in OpenMP. IWOMP (2010)
Maged M. Michael, Martin T. Vechev, Vijay A. Saraswat
Idempotent work stealing. PPOPP (2009)
Michael F. Spear, Maged M. Michael, Michael L. Scott, Peng Wu
Reducing Memory Ordering Overheads in Software Transactional Memory. CGO (2009)
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
Compiler and runtime techniques for software transactional memory optimization. Concurr. Comput. Pract. Exp. 21 (1) (2009)
Calin Cascaval, Colin Blundell, Maged M. Michael, Harold W. Cain, Peng Wu, Stefanie Chiras, Siddhartha Chatterjee
Software transactional memory: why is it only a research toy? Commun. ACM 51 (11) (2008)
Calin Cascaval, Colin Blundell, Maged M. Michael, Harold W. Cain, Peng Wu, Stefanie Chiras, Siddhartha Chatterjee
Software Transactional Memory: Why Is It Only a Research Toy? ACM Queue 6 (5) (2008)
Michael F. Spear, Michael Silverman, Luke Dalessandro, Maged M. Michael, Michael L. Scott
Implementing and Exploiting Inevitability in Software Transactional Memory. ICPP (2008)
Michael F. Spear, Maged M. Michael, Christoph von Praun
RingSTM: scalable transactions with a single atomic instruction. SPAA (2008)
Paul E. McKenney, Maged M. Michael, Jonathan Walpole
Why the grass may not be greener on the other side: a comparison of locking vs. transactional memory. PLOS@SOSP (2007)
José E. Moreira, Maged M. Michael, Dilma Da Silva, Doron Shiloach, Parijat Dube, Li Zhang
Scalability of the Nutch search engine. ICS (2007)
Vijay A. Saraswat, Radha Jagadeesan, Maged M. Michael, Christoph von Praun
A theory of memory models. PPOPP (2007)
Maged M. Michael, José E. Moreira, Doron Shiloach, Robert W. Wisniewski
Scale-up x Scale-out: A Case Study using Nutch/Lucene. IPDPS (2007)
Robert W. Wisniewski, Reza Azimi, Mathieu Desnoyers, Maged M. Michael, José E. Moreira, Doron Shiloach, Livio Soares
Experiences Understanding Performance in a Commercial Scale-Out Environment. Euro-Par (2007)
Maged M. Michael
Hazard Pointers: Safe Memory Reclamation for Lock-Free Objects. IEEE Trans. Parallel Distributed Syst. 15 (6) (2004)
Maged M. Michael
Practical Lock-Free and Wait-Free LL/SC/VL Implementations Using 64-Bit CAS. DISC (2004)
Maged M. Michael
Brief announcement: completing the lock-free dynamic cycle. PODC (2004)
Maged M. Michael
Scalable lock-free dynamic memory allocation. PLDI (2004)
Maged M. Michael
CAS-Based Lock-Free Algorithm for Shared Deques. Euro-Par (2003)
Maged M. Michael
Safe memory reclamation for dynamic lock-free objects using atomic reads and writes. PODC (2002)
Maged M. Michael
High performance dynamic lock-free hash tables and list-based sets. SPAA (2002)
Ashwini K. Nanda, Anthony-Trung Nguyen, Maged M. Michael, Douglas J. Joseph
High-throughout coherence control and hardware messaging in Everest. IBM J. Res. Dev. 45 (2) (2001)
Ashwini K. Nanda, Anthony-Trung Nguyen, Maged M. Michael, Douglas J. Joseph
High-Throughput Coherence Controllers. HPCA (2000)
Maged M. Michael, Ashwini K. Nanda, Beng-Hong Lim
Coherence Controller Architectures for Scalable Shared-Memory Multiprocessors. IEEE Trans. Computers 48 (2) (1999)
Maged M. Michael, Ashwini K. Nanda
Design and Performance of Directory Caches for Scalable Shared Memory Multiprocessors. HPCA (1999)
Ashwini K. Nanda, Yiming Hu, Moriyoshi Ohara, Caroline Benveniste, Mark Giampapa, Maged M. Michael
The Design of COMPASS: An Execution Driven Simulator for Commercial Applications Running on Shared Memory Multiprocessors. IPPS/SPDP (1998)
Maged M. Michael, Michael L. Scott
Nonblocking Algorithms and Preemption-Safe Locking on Multiprogrammed Shared Memory Multiprocessors. J. Parallel Distributed Comput. 51 (1) (1998)
Maged M. Michael, Ashwini K. Nanda, Beng-Hong Lim, Michael L. Scott
Coherence Controller Architectures for SMP-Based CC-NUMA Multiprocessors. ISCA (1997)
Maged M. Michael, Michael L. Scott
Relative Performance of Preemption-Safe Locking and Non-Blocking Synchronization on Multiprogrammed Shared Memory Multiprocessors. IPPS (1997)
Anthony-Trung Nguyen, Pradip Bose, Kattamuri Ekanadham, Ashwini K. Nanda, Maged M. Michael
Accuracy and Speedup of Parallel Trace-Driven Architectural Simulation. IPPS (1997)
Galen C. Hunt, Maged M. Michael, Srinivasan Parthasarathy, Michael L. Scott
An Efficient Algorithm for Concurrent Priority Queue Heaps. Inf. Process. Lett. 60 (3) (1996)
Maged M. Michael, Michael L. Scott
Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms. PODC (1996)
Anthony-Trung Nguyen, Maged M. Michael, Arun Sharma, Josep Torrellas
The Augmint multiprocessor simulation toolkit for Intel x86 architectures. ICCD (1996)
Maged M. Michael, Michael L. Scott
Implementation of Atomic Primitives on Distributed Shared Memory Multiprocessors. HPCA (1995)