Follow
Aaron Turon
Title
Cited by
Cited by
Year
Iris: Monoids and invariants as an orthogonal basis for concurrent reasoning
R Jung, D Swasey, F Sieczkowski, K Svendsen, A Turon, L Birkedal, ...
ACM SIGPLAN Notices 50 (1), 637-650, 2015
2862015
Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency
A Turon, D Dreyer, L Birkedal
ICFP, 2013
1472013
GPS: Navigating weak memory with ghosts, protocols, and separation
A Turon, V Vafeiadis, D Dreyer
Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014
1412014
Regular-expression derivatives re-examined
S Owens, J Reppy, A Turon
Journal of Functional Programming 19 (2), 173-190, 2009
1332009
Logical relations for fine-grained concurrency
AJ Turon, J Thamsborg, A Ahmed, L Birkedal, D Dreyer
ACM SIGPLAN Notices 48 (1), 343-356, 2013
892013
Freeze after writing: Quasi-deterministic parallel programming with LVars
L Kuper, A Turon, NR Krishnaswami, RR Newton
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
692014
Metaprogramming with traits
J Reppy, A Turon
ECOOP 2007–Object-Oriented Programming, 373-398, 2007
682007
A separation logic for refining concurrent objects
AJ Turon, M Wand
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
462011
Superficially substructural types
NR Krishnaswami, A Turon, D Dreyer, D Garg
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
352012
A foundation for trait-based metaprogramming
J Reppy, A Turon
International Workshop on Foundations and Developments of Object-Oriented …, 2006
282006
Scalable join patterns
AJ Turon, CV Russo
Proceedings of the 2011 ACM international conference on Object oriented …, 2011
232011
Reagents: expressing and composing fine-grained concurrency
A Turon
PLDI, 2012
202012
Understanding and expressing scalable concurrency
A Turon
Northeastern University, 2013
112013
A resource analysis of the π-calculus
A Turon, M Wand
Electronic Notes in Theoretical Computer Science 276, 313-334, 2011
102011
All-termination (T)
P Manolios, A Turon
International Conference on Tools and Algorithms for the Construction and …, 2009
92009
Modular rollback through control logging: a pair of twin functional pearls
O Shivers, AJ Turon
ACM SIGPLAN Notices 46 (9), 58-68, 2011
52011
Rust: from POPL to practice (keynote)
A Turon
ACM SIGPLAN Notices 52 (1), 2-2, 2017
42017
Freeze After Writing
L Kuper, A Turon, R Neelakantan, RR Newton
POPL’14, 2014
12014
A separation logic for the π-calculus
A Turon, M Wand
12009
SML/NJ Language Processing Tools: User Guide
A Turon
For SML/NJ version, 2007
12007
The system can't perform the operation now. Try again later.
Articles 1–20