Travelled to:
1 × United Kingdom
2 × USA
Collaborated with:
M.D.Bond M.Zhang M.Cao S.Biswas A.Sengupta M.Kulkarni M.F.Salmi
Talks about:
effici (3) context (2) memori (2) transact (1) progress (1) overhead (1) guarante (1) softwar (1) control (1) checker (1)
Person: Jipeng Huang
DBLP: Huang:Jipeng
Contributed to:
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.
- PLDI-2014-BiswasHSB #named #performance #precise
- DoubleChecker: efficient sound and precise atomicity checking (SB, JH, AS, MDB), p. 6.
- 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.
- OOPSLA-2013-HuangB #analysis #context-sensitive grammar #memory management #performance
- Efficient context sensitivity for dynamic analyses via calling context uptrees and customized memory management (JH, MDB), pp. 53–72.