Travelled to:1 × Canada
1 × France
1 × United Kingdom
7 × USA
Collaborated with:∅ M.L.Scott A.K.Nanda V.A.Saraswat M.T.Vechev T.Nakaike M.F.Spear P.Wu R.Jagadeesan C.v.Praun A.Nguyen D.J.Joseph H.Attiya R.Guerraoui D.Hendler P.Kuznetsov
Talks about:memori (7) multiprocessor (2) algorithm (2) scalabl (2) concurr (2) share (2) order (2) lock (2) throughput (1) implement (1)
Person: Maged M. Michael
DBLP: Michael:Maged_M=
Contributed to:
2011
2010
2010
2009
200920072004
200019991995Wrote 10 papers:
- POPL-2011-AttiyaGHKMV #algorithm #concurrent #order
- Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated (HA, RG, DH, PK, MMM, MTV), pp. 487–498.
- CAV-2010-Michael #algorithm #concurrent #memory management
- Memory Management in Concurrent Algorithms (MMM), p. 23.
- PLDI-2010-NakaikeM #java
- Lock elision for read-only critical sections in Java (TN, MMM), pp. 269–278.
- CGO-2009-SpearMSW #memory management #transaction
- Reducing Memory Ordering Overheads in Software Transactional Memory (MFS, MMM, MLS, PW), pp. 13–24.
- PPoPP-2009-MichaelVS
- Idempotent work stealing (MMM, MTV, VAS), pp. 45–54.
- PPoPP-2007-SaraswatJMP #formal method #memory management #modelling
- A theory of memory models (VAS, RJ, MMM, CvP), pp. 161–172.
- PLDI-2004-Michael #memory management #scalability
- Scalable lock-free dynamic memory allocation (MMM), pp. 35–46.
- HPCA-2000-NandaNMJ
- High-Throughput Coherence Controllers (AKN, ATN, MMM, DJJ), pp. 145–155.
- HPCA-1999-MichaelN #design #memory management #multi #performance #scalability
- Design and Performance of Directory Caches for Scalable Shared Memory Multiprocessors (MMM, AKN), pp. 142–151.
- HPCA-1995-MichaelS #distributed #implementation #memory management #multi
- Implementation of Atomic Primitives on Distributed Shared Memory Multiprocessors (MMM, MLS), pp. 222–231.