BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Switzerland
6 × USA
Collaborated with:
C.Sadowski C.Flanagan S.N.Freund S.Kim T.Disney Y.Smaragdakis J.Evans S.Burckhardt D.Leijen T.Ball
Talks about:
race (3) detect (2) cooper (2) sound (2) data (2) multithread (1) preemptiv (1) increment (1) velodrom (1) polynomi (1)

Person: Jaeheon Yi

DBLP DBLP: Yi:Jaeheon

Contributed to:

PLATEAU 20142014
ISSTA 20122012
MSR 20122012
POPL 20122012
OOPSLA 20112011
PPoPP 20112011
PLDI 20082008

Wrote 7 papers:

PLATEAU-2014-SadowskiY #concurrent #detection #developer #how #tool support
How Developers Use Data Race Detection Tools (CS, JY), pp. 43–51.
ISSTA-2012-YiDFF #concurrent #java #thread
Cooperative types for controlling thread interference in Java (JY, TD, SNF, CF), pp. 232–242.
MSR-2012-SadowskiYK #evolution
The evolution of data races (CS, JY, SK), pp. 171–174.
POPL-2012-SmaragdakisESYF #concurrent #detection #polynomial #predict
Sound predictive race detection in polynomial time (YS, JE, CS, JY, CF), pp. 387–400.
OOPSLA-2011-BurckhardtLSYB #incremental #parallel
Two for the price of one: a model for parallel and incremental computation (SB, DL, CS, JY, TB), pp. 427–444.
PPoPP-2011-YiSF #execution #reasoning
Cooperative reasoning for preemptive execution (JY, CS, CF), pp. 147–156.
PLDI-2008-FlanaganFY #named #parallel #source code #thread
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs (CF, SNF, JY), pp. 293–303.

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.