Jaeheon Yi

Education

Ph.D. Program, Doctoral Candidate, Computer Science, UC Santa Cruz (est. December 2011)

M.S., Computer Science, UC Santa Cruz (December 2009)

B.S., Computer Science, Yonsei University, Seoul, Korea (August 2005)

Research

Programming Languages w/ Cormac Flanagan
I am part of the Slang research group.
I work on cooperability, an exciting property for concurrent programs.
We have a weekly reading group.

We are organizing the Workshop on Transitioning to Multicore (TMC 2011), as part of SPLASH in Portland, Oregon. Please consider submitting!

Real-Time Systems w/ Scott Brandt

I also run The What Is...? Graduate Seminar (TWIGS).

Papers

Conference Papers
Two for the Price of One: A Model for Parallel and Incremental Computation (OOPSLA '11) [ACM | pdf]
Cooperative Reasoning for Preemptive Execution (PPoPP '11) [ACM]
Velodrome: A Precise Dynamic Atomicity Checker For Multithreaded Programs (PLDI '08) [ACM]

Workshop Papers
User Evaluation of Correctness Conditions: A Case Study of Cooperability (PLATEAU '10) [ACM]
Effects for Cooperable and Serializable Threads (TLDI '10) [ACM]
SideTrack: Generalizing Dynamic Atomicity Analysis (PADTAD '09) [ACM]
Tiddle: A Trace Description Language for Generating Concurrent Benchmarks to Test Dynamic Analyses (WODA '09) [pdf]
Proving Correctness of a Dynamic Atomicity Analysis in Coq (WMM '08) [pdf]

Technical Reports
Types for Precise Thread Interference [UCSC | pdf]
The Effect of VSIDS on SAT Solver Performance [UCSC | pdf]

Teaching

Teaching Assistantship
CMPS 203 Graduate Programming Languages, Winter 2009, Winter 2010
CMPS 104a Fundamentals of Compiler Design I, Fall 2010
CMPS 102 Introduction to Analysis of Algorithms, Spring 2009
CMPS 101 Abstract Data Types, Fall 2006
CMPS 12a Introduction to Programming, Spring 2008
CMPS 80s From Software Innovation to Social Entrepeneurship, Spring 2011

Industry

Internship
Microsoft Research, June~September 2010 (Concurrent Revisions)
Google, Inc., June~September 2008 (Lock Annotations in DWARF)
Google, Inc., June~September 2007 (Infrastructure Transfer Service)

Coursework

Fall 2009
CMPS290G Topics in Software Engineering (w/ Jim King)

Spring 2009
CMPS253 Advanced Programming Languages (type theory)

Fall 2008
CMPS290G Topics in Software Engineering (w/ Jim Whitehead)

Winter 2008
CMPS290F Applications of Combinatorics

Fall 2007
CMPS203 Programming Languages
CMPS217 Logic in Computer Science

Spring 2007
CMPS253 Advanced Programming Languages (concurrency)

Winter 2007
CMPE248 Games and Design
CMPS211 Combinatorial Algorithms

Fall 2006
CMPS221 Advanced Operating Systems
CMPS201 Analysis of Algorithms

Programming

Languages Used
Java, C++, C, C#, Python, Haskell, Coq, Bash, Matlab, SAS, PHP, JavaScript, NesC, SQL

Operating Systems
Linux, L4

Other
LaTeX

Memberships

ACM SIGPLAN

ACM SIGSOFT

Background

My home is Seoul, Korea. My general interests include science fiction, philosophy, Russian literature, and Astor Piazzolla's music. I know computers can be made to do much more than they can now, and that is one of my motivations for pursuing research in computer science. I started graduate school in fall 2006, and I am enjoying the great weather here at Santa Cruz. Stay tuned!

Stuff to do in Santa Cruz!

• Go tidepooling along the rocks next to Natural Bridges Beach
• Take the train up to Felton with hundreds of fellow cyclists and bike down Highway 9!
• Listen to friends play music at a tea house
• Enjoy a soak at the local spa
• Bike up to Bonny Doon -- a challenging ride! Try going up Icecream Grade or Smith Grade.
• Learn some acro yoga
• Watch shooting stars lying down at the beach
• Buy fresh organic food at the Farmers Market
• Enjoy the awesome view of Monterey Bay from campus
• Contact improv on the beach
• Have an organic beer at the local brewery - I like the Devout Stout
• Bike to Monterey or Palo Alto
• Mountain biking in the trails and along the ocean
• Hike in the beautiful mountains, cross a stream while doing so
• Walk along the beach and enjoy the sunset
• Take a dip in the ocean
• Have a barbeque in one of the parks

Contact

To email me, append my first name with @ and the cs.ucsc.edu domain.