Jaeheon Yi

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Detection Algorithm

Top Venues

Sci. Comput. Program.

Publications

Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan
Cooperative types for controlling thread interference in Java. Sci. Comput. Program. 112 (2015)
Caitlin Sadowski, Jaeheon Yi
How Developers Use Data Race Detection Tools. PLATEAU (2014)
Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan
Cooperative types for controlling thread interference in Java. ISSTA (2012)
Caitlin Sadowski, Jaeheon Yi, Sunghun Kim
The evolution of data races. MSR (2012)
Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski, Jaeheon Yi, Cormac Flanagan
Sound predictive race detection in polynomial time. POPL (2012)
Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan
Cooperative Concurrency for a Multicore World - (Extended Abstract). RV (2011)
Caitlin Sadowski, Jaeheon Yi
Workshop on transitioning to multicore (TMC 2011): overview abstract. SPLASH Workshops (2011)
Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, Thomas Ball
Two for the price of one: a model for parallel and incremental computation. OOPSLA (2011)
Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan
Cooperative reasoning for preemptive execution. PPOPP (2011)
Caitlin Sadowski, Jaeheon Yi
Workshop on transitioning to multicore: (TMC 2011). OOPSLA Companion (2011)
Jaeheon Yi, Cormac Flanagan
Effects for cooperable and serializable threads. TLDI (2010)
Caitlin Sadowski, Jaeheon Yi
User evaluation of correctness conditions: a case study of cooperability. PLATEAU (2010)
Caitlin Sadowski, Jaeheon Yi
Tiddle: A Trace Description Language for generating concurrent benchmarks to test dynamic analyses. WODA (2009)
Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan
SideTrack: generalizing dynamic atomicity analysis. PADTAD (2009)
Cormac Flanagan, Stephen N. Freund, Jaeheon Yi
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. PLDI (2008)