Travelled to:1 × Turkey
3 × USA
Collaborated with:M.D.Bond S.Biswas M.Cao J.Huang A.Sengupta M.Kulkarni B.Lucia B.P.Wood M.F.Salmi
Talks about:softwar (2) static (2) region (2) effici (2) depend (2) lightweight (1) transact (1) serializ (1) progress (1) parallel (1)
Person: Minjia Zhang
DBLP: Zhang:Minjia
Contributed to:
2015
2015
20152013
20162017Wrote 6 papers:
- ASPLOS-2015-SenguptaBZBK #bound #dynamic analysis #hybrid
- Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability (AS, SB, MZ, MDB, MK), pp. 561–575.
- OOPSLA-2015-BiswasZBL #exception #named #performance
- Valor: efficient, software-only region conflict exceptions (SB, MZ, MDB, BL), pp. 241–259.
- 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-2016-ZhangBB #dependence #parallel #runtime
- Relaxed dependence tracking for parallel runtime support (MZ, SB, MDB), pp. 45–55.
- CC-2017-BiswasCZBW #concurrent #detection #lightweight
- Lightweight data race detection for production runs (SB, MC, MZ, MDB, BPW), pp. 11–21.