Jaeheon Yi

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