Aaron Turon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2007–2017
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | POPL | Rust: from POPL to practice (keynote). | Aaron Turon |
| 2015 | POPL | Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning. | Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer |
| 2014 | OOPSLA | GPS: navigating weak memory with ghosts, protocols, and separation. | Aaron Turon, Viktor Vafeiadis, Derek Dreyer |
| 2014 | POPL | Freeze after writing: quasi-deterministic parallel programming with LVars. | Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton |
| 2013 | ICFP | Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency. | Aaron Turon, Derek Dreyer, Lars Birkedal |
| 2012 | ICFP | Superficially substructural types. | Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg |
| 2012 | PLDI | Reagents: expressing and composing fine-grained concurrency. | Aaron Turon |
| 2009 | TACAS | All-Termination(T). | Panagiotis Manolios, Aaron Turon |
| 2007 | ECOOP | Metaprogramming with Traits. | John H. Reppy, Aaron Turon |