The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Aaron Turon Aaron Joseph Turon ( http://dblp.L3S.de/Authors/Aaron_Turon )

Publication years (Num. hits)
2007-2015 (15) 2017 (1)
Publication types (Num. hits)
article(3) inproceedings(13)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 17 publication records. Showing 16 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Aaron Turon Rust: from POPL to practice (keynote). Search on Bibsonomy POPL The full citation details ... 2017 DBLP  BibTeX  RDF
1Ralf Jung 0002, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning. Search on Bibsonomy POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton Freeze after writing: quasi-deterministic parallel programming with LVars. Search on Bibsonomy POPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Aaron Turon, Viktor Vafeiadis, Derek Dreyer GPS: navigating weak memory with ghosts, protocols, and separation. Search on Bibsonomy OOPSLA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Aaron Joseph Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, Derek Dreyer Logical relations for fine-grained concurrency. Search on Bibsonomy POPL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Aaron Turon, Derek Dreyer, Lars Birkedal Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency. Search on Bibsonomy ICFP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg 0001 Superficially substructural types. Search on Bibsonomy ICFP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Aaron Turon Reagents: expressing and composing fine-grained concurrency. Search on Bibsonomy PLDI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Aaron Joseph Turon, Mitchell Wand A Resource Analysis of the π-calculus. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Aaron Joseph Turon, Mitchell Wand A resource analysis of the pi-calculus Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Aaron Joseph Turon, Mitchell Wand A separation logic for refining concurrent objects. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Olin Shivers, Aaron Joseph Turon Modular rollback through control logging: a pair of twin functional pearls. Search on Bibsonomy ICFP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Aaron Joseph Turon, Claudio V. Russo Scalable join patterns. Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Scott Owens, John H. Reppy, Aaron Turon Regular-expression derivatives re-examined. Search on Bibsonomy J. Funct. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Panagiotis Manolios, Aaron Turon All-Termination(T). Search on Bibsonomy TACAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1John H. Reppy, Aaron Turon Metaprogramming with Traits. Search on Bibsonomy ECOOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #16 of 16 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license