Aaron Joseph Turon

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Logical Structure

Graphical Models

Top Venues

Publications

Aaron Joseph Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, Derek Dreyer
Logical relations for fine-grained concurrency. POPL (2013)
Aaron Joseph Turon, Claudio V. Russo
Scalable join patterns. OOPSLA (2011)
Olin Shivers, Aaron Joseph Turon
Modular rollback through control logging: a pair of twin functional pearls. ICFP (2011)
Aaron Joseph Turon, Mitchell Wand
A Resource Analysis of the π-calculus. MFPS (2011)
Aaron Joseph Turon, Mitchell Wand
A separation logic for refining concurrent objects. POPL (2011)
Aaron Joseph Turon, Mitchell Wand
A resource analysis of the pi-calculus CoRR (2011)