Aaron Turon

According to our database, Aaron Turon authored at least 16 papers between 2007 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Rust: from POPL to practice (keynote).

Aaron Turon

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2015

Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning.

Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

2014

Freeze after writing: quasi-deterministic parallel programming with LVars.

Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

GPS: navigating weak memory with ghosts, protocols, and separation.

Aaron Turon, Viktor Vafeiadis, Derek Dreyer

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013

Logical relations for fine-grained concurrency.

Aaron Joseph Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, Derek Dreyer

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency.

Aaron Turon, Derek Dreyer, Lars Birkedal

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012

Reagents: expressing and composing fine-grained concurrency.

Aaron Turon

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Superficially substructural types.

Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

2011

A Resource Analysis of the π-calculus.

Aaron Joseph Turon, Mitchell Wand

Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, 2011

A resource analysis of the pi-calculus

Aaron Joseph Turon, Mitchell Wand

CoRR, 2011

A separation logic for refining concurrent objects.

Aaron Joseph Turon, Mitchell Wand

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Scalable join patterns.

Aaron Joseph Turon, Claudio V. Russo

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Modular rollback through control logging: a pair of twin functional pearls.

Olin Shivers, Aaron Joseph Turon

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2009

Regular-expression derivatives re-examined.

Scott Owens, John H. Reppy, Aaron Turon

J. Funct. Program., 2009

All-Termination(T).

Panagiotis Manolios, Aaron Turon

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

2007

Metaprogramming with Traits.

John H. Reppy, Aaron Turon

Proceedings of the ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30, 2007