Travelled to:1 × Canada
1 × Switzerland
9 × USA
Collaborated with:Y.Zhou S.Lu D.Yuan ∅ W.Xiong S.Savage Z.Yin E.Seo J.Jeon W.B.Croft J.H.Lee J.Zheng J.Zhang Z.Ma X.Jin T.Sheng R.Chen Z.Shan Y.Shi W.Chen W.Zheng R.Kaushik K.H.Lee P.Huang Y.Liu M.M.Lee X.Tang C.Hu X.Ma W.Jiang Z.Li R.A.Popa
Talks about:bug (4) concurr (3) log (3) softwar (2) definit (2) enhanc (2) detect (2) use (2) multiprocessor (1) characterist (1)
Person: Soyeon Park
DBLP: Park:Soyeon
Contributed to:
2015
2012
2012
2011
201020102009
200920082007
2006
1999Wrote 12 papers:
- HPCA-2015-JinPSCSZ #fault #hardware #named
- FTXen: Making hypervisor resilient to hardware faults on relaxed cores (XJ, SP, TS, RC, ZS, YZ), pp. 451–462.
- ICSE-2012-YuanPZ #open source
- Characterizing logging practices in open-source software (DY, SP, YZ), pp. 102–112.
- OSDI-2012-YuanPHLLTZS
- Be Conservative: Enhancing Failure Diagnosis with Proactive Logging (DY, SP, PH, YL, MMJL, XT, YZ, SS), pp. 293–306.
- ASPLOS-2011-YuanZPZS
- Improving software diagnosability via log enhancement (DY, JZ, SP, YZ, SS), pp. 3–14.
- OOPSLA-2010-ShiPYLZCZ #concurrent #debugging #detection #invariant
- Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs (YS, SP, ZY, SL, YZ, WC, WZ), pp. 160–174.
- OSDI-2010-XiongPZZM #ad hoc #harmful
- Ad Hoc Synchronization Considered Harmful (WX, SP, JZ, YZ, ZM), pp. 163–176.
- ASPLOS-2009-ParkLZ #debugging #named
- CTrigger: exposing atomicity violation bugs from their hiding places (SP, SL, YZ), pp. 25–36.
- SOSP-2009-ParkZXYKLL #execution #multi #named #probability #sketching
- PRES: probabilistic replay with execution sketching on multiprocessors (SP, YZ, WX, ZY, RK, KHL, SL), pp. 177–192.
- ASPLOS-2008-LuPSZ #concurrent #debugging #learning
- Learning from mistakes: a comprehensive study on real world concurrency bug characteristics (SL, SP, ES, YZ), pp. 329–339.
- SOSP-2007-LuPHMJLPZ #automation #concurrent #correlation #debugging #detection #multi #named #semantics
- MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs (SL, SP, CH, XM, WJ, ZL, RAP, YZ), pp. 103–116.
- SIGIR-2006-JeonCLP #framework #predict #quality
- A framework to predict the quality of answers with non-textual features (JJ, WBC, JHL, SP), pp. 228–235.
- DL-1999-Park #database
- User Preferences When Searching Individual and Integrated Full-Text Databases (SP), pp. 195–203.