BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Michael:Maged_M=

Contributed to:

POPL 20112011
CAV 20102010
PLDI 20102010
CGO 20092009
PPoPP 20092009
PPoPP 20072007
PLDI 20042004
HPCA 20002000
HPCA 19991999
HPCA 19951995

Wrote 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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.