Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. - Cormac Flanagan; Stephen N. Freund; Jaeheon Yi (PLDI, 2008)

Tiddle: A Trace Description Language for generating concurrent benchmarks to test dynamic analyses. - Caitlin Sadowski; Jaeheon Yi (WODA, 2009)

SideTrack: generalizing dynamic atomicity analysis. - Jaeheon Yi; Caitlin Sadowski; Cormac Flanagan (PADTAD, 2009)

User evaluation of correctness conditions: a case study of cooperability. - Caitlin Sadowski; Jaeheon Yi (PLATEAU, 2010)

Effects for cooperable and serializable threads. - Jaeheon Yi; Cormac Flanagan (TLDI, 2010)

Two for the price of one: a model for parallel and incremental computation. - Sebastian Burckhardt; Daan Leijen; Caitlin Sadowski; Jaeheon Yi; Thomas Ball 001 (OOPSLA, 2011)

Workshop on transitioning to multicore: (TMC 2011). - Caitlin Sadowski; Jaeheon Yi (OOPSLA Companion, 2011)

Workshop on transitioning to multicore (TMC 2011): overview abstract. - Caitlin Sadowski; Jaeheon Yi (SPLASH Workshops, 2011)

Cooperative reasoning for preemptive execution. - Jaeheon Yi; Caitlin Sadowski; Cormac Flanagan (PPoPP, 2011)

Cooperative Concurrency for a Multicore World - (Extended Abstract). - Jaeheon Yi; Caitlin Sadowski; Stephen N. Freund; Cormac Flanagan (RV, 2011)

The evolution of data races. - Caitlin Sadowski; Jaeheon Yi; Sunghun Kim 001 (MSR, 2012)

Sound predictive race detection in polynomial time. - Yannis Smaragdakis; Jacob Evans; Caitlin Sadowski; Jaeheon Yi; Cormac Flanagan (POPL, 2012)

How Developers Use Data Race Detection Tools. - Caitlin Sadowski; Jaeheon Yi (PLATEAU, 2014)

Cooperative types for controlling thread interference in Java. - Jaeheon Yi; Tim Disney; Stephen N. Freund; Cormac Flanagan (Sci. Comput. Program., 2015)