Maged M. Michael

48 papers A* 14A 4B 7C 1Journal 14Unranked 8

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