Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Jaeheon Yi" ( http://dblp.L3S.de/Authors/Jaeheon_Yi )

  Author page on DBLP  Author page in RDF  Community of Jaeheon Yi in ASPL-2

Publication years (Num. hits)
2008 (1) 2009 (1) 2010 (1) 2011 (5) 2012 (1)
Publication types (Num. hits)
inproceedings(9)
Venues (Conferences, Journals, ...)
OOPSLA(1) OOPSLA Companion(1) PADTAD(1) PLDI(1) POPL(1) PPOPP(1) RV(1) SPLASH Workshops(1) TLDI(1)
Authors
Jaeheon Yi(9) Caitlin Sadowski(7) Cormac Flanagan(6) Stephen N. Freund(2) Daan Leijen(1) Jacob Evans(1) Sebastian Burckhardt(1) Thomas Ball(1) Yannis Smaragdakis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 6 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski, Jaeheon Yi, Cormac Flanagan Sound predictive race detection in polynomial time. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan Cooperative Concurrency for a Multicore World - (Extended Abstract). Search on Bibsonomy RV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Caitlin Sadowski, Jaeheon Yi Workshop on transitioning to multicore (TMC 2011): overview abstract. Search on Bibsonomy SPLASH Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, Thomas Ball Two for the price of one: a model for parallel and incremental computation. Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Caitlin Sadowski, Jaeheon Yi Workshop on transitioning to multicore: (TMC 2011). Search on Bibsonomy OOPSLA Companion The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan Cooperative reasoning for preemptive execution. Search on Bibsonomy PPOPP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jaeheon Yi, Cormac Flanagan Effects for cooperable and serializable threads. Search on Bibsonomy TLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF atomicity, yield, race conditions, effect system
1Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan SideTrack: generalizing dynamic atomicity analysis. Search on Bibsonomy PADTAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF dynamic analysis, atomicity, serializability
1Cormac Flanagan, Stephen N. Freund, Jaeheon Yi Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dynamic analysis, atomicity, serializability
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.