Travelled to:1 × China
1 × Portugal
1 × Russia
2 × Canada
7 × USA
Collaborated with:H.Cui J.Wu G.Hu D.R.Engler X.Yuan E.Koskinen Y.Tang C.Tsai H.Guo C.Sar L.Zhu R.Gu T.Kremenek K.Ashcraft P.Twohey M.Musuvathi R.Gu C.Liu T.Chen J.Gallagher M.Gabel Y.Yu M.Goldszmidt Z.Su A.Chou B.Chelf S.Hallem M.Wu L.Zhou L.Zhang O.Laadan N.Viennot C.Blinn J.Nieh D.Williams-King Hidenori Kobayashi Kent Williams-King Graham Patterson Frank Spano Yu Jian Wu Vasileios P. Kemerlis J.Simsa Y.Lin H.Li B.Blum X.Xu G.A.Gibson R.E.Bryant
Talks about:system (7) error (5) determinist (3) schedul (3) detect (3) use (3) multithread (2) serious (2) practic (2) concurr (2)
Person: Junfeng Yang
DBLP: Yang:Junfeng
Contributed to:
2015
2013
20132013
20122011
2010
20102006
2004200420012018
2018
20162020Wrote 20 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.
- ESEC-FSE-2013-WuHTY #alias #analysis #detection #effectiveness #fault
- Effective dynamic detection of alias analysis errors (JW, GH, YT, JY), pp. 279–289.
- 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.
- SOSP-2011-GuoWZHYZ #interface #model checking #reduction
- Practical software model checking via dynamic interface reduction (HG, MW, LZ, GH, JY, LZ), pp. 265–278.
- SOSP-2011-LaadanVTBYN #detection #pervasive #process
- Pervasive detection of process races in deployed systems (OL, NV, CcT, CB, JY, JN), pp. 353–367.
- OOPSLA-2010-GabelYYGS #consistency #detection #nondeterminism #scalability #source code
- Scalable and systematic detection of buggy inconsistencies in source code (MG, JY, YY, MG, ZS), pp. 175–190.
- 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.
- OSDI-2006-YangSE #fault #lightweight #named
- EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors (JY, CS, DRE), pp. 131–146.
- FSE-2004-KremenekAYE #correlation #fault #ranking
- Correlation exploitation in error ranking (TK, KA, JY, DRE), pp. 83–93.
- OSDI-2004-YangTEM #fault #file system #model checking #using
- Using Model Checking to Find Serious File System Errors (JY, PT, DRE, MM), pp. 273–288.
- SOSP-2001-ChouYCHE #empirical #fault #operating system
- An Empirical Study of Operating System Errors (AC, JY, BC, SH, DRE), pp. 73–88.
- ESEC-FSE-2018-HuZY #machine learning #named #reuse #robust #testing #user interface #using
- AppFlow: using machine learning to synthesize robust, reusable UI tests (GH, LZ, JY), pp. 269–282.
- CAV-2018-YuanYG #concurrent #partial order
- Partial Order Aware Concurrency Sampling (XY, JY, RG), pp. 317–335.
- POPL-2016-KoskinenY #reachability
- Reducing crash recoverability to reachability (EK, JY), pp. 97–108.
- ASPLOS-2020-Williams-KingKW #named
- Egalito: Layout-Agnostic Binary Recompilation (DWK, HK, KWK, GP, FS, YJW, JY, VPK), pp. 133–147.
- ASPLOS-2020-YuanY #concurrent #distributed #effectiveness #testing
- Effective Concurrency Testing for Distributed Systems (XY, JY), pp. 1141–1156.