Travelled to:1 × Canada
1 × China
1 × Portugal
3 × USA
Collaborated with:J.Yang J.Wu G.Hu C.Tsai R.Gu C.Liu T.Chen Y.Tang J.Gallagher H.Guo J.Simsa Y.Lin H.Li B.Blum X.Xu G.A.Gibson R.E.Bryant
Talks about:determinist (3) schedul (3) multithread (2) execut (2) stabl (2) rule (2) transpar (1) parallel (1) special (1) reliabl (1)
Person: Heming Cui
DBLP: Cui:Heming
Contributed to:
2015
20132013
20122011
2010Wrote 7 papers:
- SOSP-2015-CuiGLCY
- Paxos made transparent (HC, RG, CL, TC, JY), pp. 105–120.
- ASPLOS-2013-CuiHWY #execution #symbolic computation #using #verification
- Verifying systems rules using rule-directed symbolic execution (HC, GH, JW, JY), pp. 329–342.
- SOSP-2013-CuiSLLBXYGB #named #reliability #runtime #thread
- Parrot: a practical runtime for deterministic, stable, and reliable threads (HC, JS, YHL, HL, BB, XX, JY, GAG, REB), pp. 388–405.
- PLDI-2012-WuTHCY #analysis #parallel #precise #source code
- Sound and precise analysis of parallel programs through schedule specialization (JW, YT, GH, HC, JY), pp. 205–216.
- SOSP-2011-CuiWGGY #multi #performance #thread
- Efficient deterministic multithreading through schedule relaxation (HC, JW, JG, HG, JY), pp. 337–351.
- OSDI-2010-CuiWTY #multi #thread
- Stable Deterministic Multithreading through Schedule Memoization (HC, JW, CcT, JY), pp. 207–221.
- OSDI-2010-WuCY #execution
- Bypassing Races in Live Applications with Execution Filters (JW, HC, JY), pp. 135–149.