Jaeheon Yi

According to our database, Jaeheon Yi authored at least 14 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Cooperative types for controlling thread interference in Java.

Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan

Sci. Comput. Program., 2015

2014

How Developers Use Data Race Detection Tools.

Caitlin Sadowski, Jaeheon Yi

Proceedings of the 5th Workshop on Evaluation and Usability of Programming Languages and Tools, 2014

2012

Sound predictive race detection in polynomial time.

Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski, Jaeheon Yi, Cormac Flanagan

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

The evolution of data races.

Caitlin Sadowski, Jaeheon Yi, Sunghun Kim

Proceedings of the 9th IEEE Working Conference of Mining Software Repositories, 2012

2011

Cooperative Concurrency for a Multicore World - (Extended Abstract).

Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan

Proceedings of the Runtime Verification - Second International Conference, 2011

Cooperative reasoning for preemptive execution.

Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan

Proceedings of the 16th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2011

Workshop on transitioning to multicore (TMC 2011): overview abstract.

Caitlin Sadowski, Jaeheon Yi

Proceedings of the SPLASH'11 Workshops, 2011

Workshop on transitioning to multicore: (TMC 2011).

Caitlin Sadowski, Jaeheon Yi

Proceedings of the Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Two for the price of one: a model for parallel and incremental computation.

Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, Thomas Ball

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

Effects for cooperable and serializable threads.

Jaeheon Yi, Cormac Flanagan

Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2010

User evaluation of correctness conditions: a case study of cooperability.

Caitlin Sadowski, Jaeheon Yi

Proceedings of the 2nd ACM SIGPLAN Workshop on Evaluation and Usability of Programming Languages and Tools, 2010

2009

SideTrack: generalizing dynamic atomicity analysis.

Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, 2009

Tiddle: A Trace Description Language for generating concurrent benchmarks to test dynamic analyses.

Caitlin Sadowski, Jaeheon Yi

Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009), 2009

2008

Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs.

Cormac Flanagan, Stephen N. Freund, Jaeheon Yi

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008