Travelled to:1 × Canada
1 × USA
Collaborated with:P.Gardner G.Smith U.Zarfaty P.d.R.Pinto T.Dinsdale-Young M.Dodds
Talks about:abstract (1) concurr (1) complex (1) reason (1) simpl (1) local (1) index (1) about (1) hoar (1) dom (1)
Person: Mark J. Wheelhouse
DBLP: Wheelhouse:Mark_J=
Contributed to:
2011
2008Wrote 2 papers:
- OOPSLA-2011-PintoDDGW #abstraction #concurrent
- A simple abstraction for complex concurrent indexes (PdRP, TDY, MD, PG, MJW), pp. 845–864.
- PODS-2008-GardnerSWZ #hoare #reasoning
- Local Hoare reasoning about DOM (PG, GS, MJW, UZ), pp. 261–270.