Aaron Turon

Postdoctoral researcher
Foundations of Programming Group
Max Planck Institute for Software Systems (MPI-SWS)
turon at mpi-sws dot org
+49 (179) 650 2924

Supervisor: Derek Dreyer

[ CV | Research statement | Google Scholar ]


Theses

Understanding and expressing
scalable concurrency

PhD thesis, April 2013
Northeastern University
[ abstract | pdf ]

Metaprogramming with Traits
Undergraduate honors thesis, 2007
University of Chicago
[ abstract | pdf ]


Other documents

All-Termination(SCP)
Panagiotis Manolios, Aaron Turon
Manuscript.
[ abstract | pdf | slides ]

Papers

GPS: Navigating weak memory with ghosts, protocols, and separation
Aaron Turon, Viktor Vafeiadis, Derek Dreyer
Manuscript.
[ abstract | project page ]

Freeze after writing: quasi-deterministic parallel programming with LVars
Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton
to appear in POPL 2014.
[ abstract | pdf | technical appendix ]

Modular rollback through control logging:
Twin pearls in continuation, and a monadic third

Olin Shivers, Aaron Turon, Conor McBride
Submitted.
[ abstract | pdf ]

Unifying refinement and Hoare-style reasoning in a logic for higher-order concurrency
Aaron Turon, Derek Dreyer, and Lars Birkedal
in ICFP 2013.
[ abstract | pdf ]

Logical relations for fine-grained concurrency
Aaron Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, and Derek Dreyer
in POPL 2013.
[ abstract | pdf | technical appendix ]

Superficially substructural types
Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, and Deepak Garg
in ICFP 2012.
[ abstract | pdf | technical appendix ]

Reagents: expressing and composing fine-grained concurrency
Aaron Turon
in PLDI 2012.
[ abstract | pdf | Keynote slides | pdf slides ]

Scalable Join Patterns
Aaron Turon, Claudio Russo
in OOPSLA 2011.
[ abstract | pdf | Keynote slides | pdf slides ]

Modular rollback through control logging
A pair of twin functional pearls

Olin Shivers, Aaron Turon
in ICFP 2011.
[ abstract | pdf | Keynote slides | pdf slides ]

A resource analysis of the pi-calculus
Aaron Turon, Mitchell Wand
In MFPS 2011.
[ abstract | pdf | slides ]

A separation logic for refining concurrent objects
Aaron Turon, Mitchell Wand
in POPL 2011.
[ abstract | pdf ]

All-Termination(T)
Panagiotis Manolios, Aaron Turon
in TACAS 2009.
[ abstract | pdf | slides ]

Regular expression derivatives reexamined
Scott Owens, John Reppy, Aaron Turon
In JFP, March 2009, vol 19, issue 02, pp. 173-190
[ abstract | pdf ]

Metaprogramming with Traits
John Reppy, Aaron Turon
In ECOOP, July 2007.
[ abstract | pdf ]

A foundation for trait-based metaprogramming
John Reppy, Aaron Turon
In FOOL/WOOD, January 2006.
[ abstract | pdf | slides | tech report ]