BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × China
1 × Portugal
1 × Russia
1 × USA
Collaborated with:
J.Yang H.Cui G.Hu Y.Tang C.Tsai J.Gallagher H.Guo
Talks about:
schedul (3) multithread (2) determinist (2) analysi (2) execut (2) rule (2) parallel (1) special (1) program (1) verifi (1)

Person: Jingyue Wu

DBLP DBLP: Wu:Jingyue

Contributed to:

ASPLOS 20132013
ESEC/FSE 20132013
PLDI 20122012
SOSP 20112011
OSDI 20102010

Wrote 6 papers:

ASPLOS-2013-CuiHWY #execution #symbolic computation #using #verification
Verifying systems rules using rule-directed symbolic execution (HC, GH, JW, JY), pp. 329–342.
ESEC-FSE-2013-WuHTY #alias #analysis #detection #effectiveness #fault
Effective dynamic detection of alias analysis errors (JW, GH, YT, JY), pp. 279–289.
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.