Aaron Turon

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 1

Top Topics

Probabilistic Reasoning

Parallel Programming

Human Reasoning

Intuitionistic Logic

Top Venues

Publications

Aaron Turon
Rust: from POPL to practice (keynote). POPL (2017)
Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer
Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning. POPL (2015)
Aaron Turon, Viktor Vafeiadis, Derek Dreyer
GPS: navigating weak memory with ghosts, protocols, and separation. OOPSLA (2014)
Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton
Freeze after writing: quasi-deterministic parallel programming with LVars. POPL (2014)
Aaron Turon, Derek Dreyer, Lars Birkedal
Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency. ICFP (2013)
Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg
Superficially substructural types. ICFP (2012)
Aaron Turon
Reagents: expressing and composing fine-grained concurrency. PLDI (2012)
Panagiotis Manolios, Aaron Turon
All-Termination(T). TACAS (2009)
Scott Owens, John H. Reppy, Aaron Turon
Regular-expression derivatives re-examined. J. Funct. Program. 19 (2) (2009)
John H. Reppy, Aaron Turon
Metaprogramming with Traits. ECOOP (2007)