2 × USA
M.D.Bond M.Zhang B.P.Wood J.Huang S.Biswas D.Grossman M.Kulkarni M.F.Salmi A.Sengupta
detect (2) race (2) data (2) lightweight (1) instrument (1) transact (1) progress (1) overhead (1) guarante (1) softwar (1)
Person: Man Cao
Wrote 4 papers:
- PPoPP-2015-ZhangHCB #memory management #semantics #transaction
- Low-overhead software transactional memory with progress guarantees and strong semantics (MZ, JH, MC, MDB), pp. 97–108.
- OOPSLA-2013-BondKCZSBSH #dependence #named #thread
- OCTET: capturing and controlling cross-thread dependences efficiently (MDB, MK, MC, MZ, MFS, SB, AS, JH), pp. 693–712.
- CC-2017-BiswasCZBW #concurrent #detection #lightweight
- Lightweight data race detection for production runs (SB, MC, MZ, MDB, BPW), pp. 11–21.
- OOPSLA-2017-WoodCBG #bias #concurrent #detection
- Instrumentation bias for dynamic data race detection (BPW, MC, MDB, DG), p. 31.