Aaron Turon - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Aaron Turon' as author, editor, or advisor:

Geometric and visual modelling of complex stratigraphic structuresFrancisco J. Serón, J. J. Torrens, Juan A. Magallon, A. Turon, Sandra Baldassarri. cg, 28(4):585-599, 2004. [doi]
Rust: from POPL to practice (keynote)Aaron Turon. POPL 2017: 2 [doi]
Reagents: expressing and composing fine-grained concurrencyAaron Turon. PLDI 2012: 157-168 [doi]
Metaprogramming with TraitsJohn H. Reppy, Aaron Turon. ECOOP 2007: 373-398 [doi]
Superficially substructural typesNeelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg. ICFP 2012: 41-54 [doi]
Unifying refinement and hoare-style reasoning in a logic for higher-order concurrencyAaron Turon, Derek Dreyer, Lars Birkedal. ICFP 2013: 377-390 [doi]
Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent ReasoningRalf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer. POPL 2015: 637-650 [doi]
Freeze after writing: quasi-deterministic parallel programming with LVarsLindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton. POPL 2014: 257-270 [doi]
Regular-expression derivatives re-examinedScott Owens, John H. Reppy, Aaron Turon. JFP, 19(2):173-190, 2009. [doi]
All-Termination(T)Panagiotis Manolios, Aaron Turon. TACAS 2009: 398-412 [doi]
GPS: navigating weak memory with ghosts, protocols, and separationAaron Turon, Viktor Vafeiadis, Derek Dreyer. OOPSLA 2014: 691-707 [doi]

runs on WebDSL