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 × 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 DBLP: Park:Soyeon

Contributed to:

HPCA 20152015
ICSE 20122012
OSDI 20122012
ASPLOS 20112011
OOPSLA 20102010
OSDI 20102010
ASPLOS 20092009
SOSP 20092009
ASPLOS 20082008
SOSP 20072007
SIGIR 20062006
DL 19991999

Wrote 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.
Be Conservative: Enhancing Failure Diagnosis with Proactive Logging (DY, SP, PH, YL, MMJL, XT, YZ, SS), pp. 293–306.
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.

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.