BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Turon:Aaron

Contributed to:

POPL 20152015
OOPSLA 20142014
POPL 20142014
ICFP 20132013
ICFP 20122012
PLDI 20122012
TACAS 20092009
ECOOP 20072007
POPL 20172017

Wrote 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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.