Travelled to:1 × China
1 × Denmark
1 × Germany
1 × India
1 × United Kingdom
3 × USA
Collaborated with:D.Dreyer ∅ N.R.Krishnaswami P.Manolios J.H.Reppy L.Birkedal V.Vafeiadis L.Kuper R.R.Newton D.Garg R.Jung D.Swasey F.Sieczkowski K.Svendsen
Talks about:concurr (3) reason (2) substructur (1) metaprogram (1) determinist (1) superfici (1) protocol (1) parallel (1) orthogon (1) reagent (1)
Person: Aaron Turon
DBLP: Turon:Aaron
Contributed to:
2015
20142014
20132012
2012
2009
20072017Wrote 9 papers:
- POPL-2015-JungSSSTBD #concurrent #invariant #monad #named #orthogonal #reasoning
- Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning (RJ, DS, FS, KS, AT, LB, DD), pp. 637–650.
- OOPSLA-2014-TuronVD #memory management #named #navigation #protocol
- GPS: navigating weak memory with ghosts, protocols, and separation (AT, VV, DD), pp. 691–707.
- POPL-2014-KuperTKN #parallel #programming
- Freeze after writing: quasi-deterministic parallel programming with LVars (LK, AT, NRK, RRN), pp. 257–270.
- ICFP-2013-TuronDB #concurrent #higher-order #hoare #logic #reasoning #refinement
- Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency (AT, DD, LB), pp. 377–390.
- ICFP-2012-KrishnaswamiTDG
- Superficially substructural types (NRK, AT, DD, DG), pp. 41–54.
- PLDI-2012-Turon #concurrent #fine-grained #named
- Reagents: expressing and composing fine-grained concurrency (AT), pp. 157–168.
- TACAS-2009-ManoliosT
- All-Termination(T) (PM, AT), pp. 398–412.
- ECOOP-2007-ReppyT #metaprogramming
- Metaprogramming with Traits (JHR, AT), pp. 373–398.
- POPL-2017-Turon #named #rust
- Rust: from POPL to practice (keynote) (AT), p. 2.