BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Cui:Heming

Contributed to:

SOSP 20152015
ASPLOS 20132013
SOSP 20132013
PLDI 20122012
SOSP 20112011
OSDI 20102010

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.