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