BibSLEIGH — Mark

Travelled to:

1 × China
7 × USA

Collaborated with:

Y.Lev V.J.Marathe V.Luchangco D.Dice D.Nussbaum M.Herlihy D.Dice R.Colvin L.Groves Y.Liu P.Damron A.Fedorova L.Dalessandro F.Carouge S.White M.L.Scott M.F.Spear

Talks about:

transact (7) memori (7) softwar (3) hardwar (3) implement (2) algorithm (2) nonblock (2) hybrid (2) framework (1) simplifi (1)

Person: Mark Moir

DBLP: Moir:Mark

Contributed to:

2013

2011

2009

2008

2007

2006

Wrote 9 papers:

PPoPP-2013-DiceLLLM #algorithm #hardware #memory management #transaction #using: Using hardware transactional memory to correct and simplify and readers-writer lock algorithm (DD, YL, YL, VL, MM), pp. 261–270.
PPoPP-2013-DiceLM #scalability #statistics: Scalable statistics counters (DD, YL, MM), pp. 307–308.
ASPLOS-2011-DalessandroCWLMSS #case study #effectiveness #hardware #hybrid #memory management #transaction: Hybrid NOrec: a case study in the effectiveness of best effort hardware transactional memory (LD, FC, SW, YL, MM, MLS, MFS), pp. 39–52.
ASPLOS-2009-DiceLMN #experience #hardware #implementation #memory management #transaction: Early experience with a commercial hardware transactional memory implementation (DD, YL, MM, DN), pp. 157–168.
PPoPP-2008-MaratheM #memory management #performance #towards #transaction: Toward high performance nonblocking software transactional memory (VJM, MM), pp. 227–236.
PPoPP-2007-MaratheM #memory management #performance #transaction: Efficient nonblocking software transactional memory (VJM, MM), pp. 136–137.
ASPLOS-2006-DamronFLLMN #hybrid #memory management #transaction: Hybrid transactional memory (PD, AF, YL, VL, MM, DN), pp. 336–346.
CAV-2006-ColvinGLM #algorithm #concurrent #lazy evaluation #set #verification: Formal Verification of a Lazy Concurrent List-Based Set Algorithm (RC, LG, VL, MM), pp. 475–488.
OOPSLA-2006-HerlihyLM #flexibility #framework #implementation #memory management #transaction: A flexible framework for implementing software transactional memory (MH, VL, MM), pp. 253–262.