Travelled to:2 × USA
Collaborated with:M.D.Bond M.Zhang B.P.Wood J.Huang S.Biswas D.Grossman M.Kulkarni M.F.Salmi A.Sengupta
Talks about:detect (2) race (2) data (2) lightweight (1) instrument (1) transact (1) progress (1) overhead (1) guarante (1) softwar (1)
Person: Man Cao
DBLP: Cao:Man
Contributed to:
2015
2013
20172017Wrote 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.