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: Yi:Jaeheon
Contributed to:
2014
2012
2012
2012
2011
2011
2008Wrote 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.