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: Wu:Jingyue
Contributed to:
2013
2013
2012
2011
2010Wrote 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.