Metaprogramming with Traits. - John H. Reppy; Aaron Turon (ECOOP, 2007)

All-Termination(T). - Panagiotis Manolios; Aaron Turon (TACAS, 2009)

Regular-expression derivatives re-examined. - Scott Owens; John H. Reppy; Aaron Turon (J. Funct. Program., 2009)

Modular rollback through control logging: a pair of twin functional pearls. - Olin Shivers; Aaron Joseph Turon (ICFP, 2011)

Scalable join patterns. - Aaron Joseph Turon; Claudio V. Russo (OOPSLA, 2011)

A separation logic for refining concurrent objects. - Aaron Joseph Turon; Mitchell Wand (POPL, 2011)

A resource analysis of the pi-calculus - Aaron Joseph Turon; Mitchell Wand (CoRR, 2011)

A Resource Analysis of the π-calculus. - Aaron Joseph Turon; Mitchell Wand (MFPS, 2011)

Superficially substructural types. - Neelakantan R. Krishnaswami; Aaron Turon; Derek Dreyer; Deepak Garg 001 (ICFP, 2012)

Reagents: expressing and composing fine-grained concurrency. - Aaron Turon (PLDI, 2012)

Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency. - Aaron Turon; Derek Dreyer; Lars Birkedal (ICFP, 2013)

Logical relations for fine-grained concurrency. - Aaron Joseph Turon; Jacob Thamsborg; Amal Ahmed 001; Lars Birkedal; Derek Dreyer (POPL, 2013)

GPS: navigating weak memory with ghosts, protocols, and separation. - Aaron Turon; Viktor Vafeiadis; Derek Dreyer (OOPSLA, 2014)

Freeze after writing: quasi-deterministic parallel programming with LVars. - Lindsey Kuper; Aaron Turon; Neelakantan R. Krishnaswami; Ryan R. Newton (POPL, 2014)

Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning. - Ralf Jung 002; David Swasey; Filip Sieczkowski; Kasper Svendsen; Aaron Turon; Lars Birkedal; Derek Dreyer (POPL, 2015)

Rust: from POPL to practice (keynote). - Aaron Turon (POPL, 2017)