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
2352015
Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency
A Turon, D Dreyer, L Birkedal
ICFP, 2013
1352013
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
1242014
Regular-expression derivatives re-examined
S Owens, J Reppy, A Turon
Journal of Functional Programming 19 (2), 173-190, 2009
1242009
Logical relations for fine-grained concurrency
AJ Turon, J Thamsborg, A Ahmed, L Birkedal, D Dreyer
ACM SIGPLAN Notices 48 (1), 343-356, 2013
812013
Metaprogramming with traits
J Reppy, A Turon
ECOOP 2007–Object-Oriented Programming, 373-398, 2007
672007
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
592014
A separation logic for refining concurrent objects
AJ Turon, M Wand
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
452011
Superficially substructural types
NR Krishnaswami, A Turon, D Dreyer, D Garg
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
342012
A foundation for trait-based metaprogramming
J Reppy, A Turon
International Workshop on Foundations and Developments of Object-Oriented …, 2006
272006
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
192012
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
Rust: from POPL to practice (keynote)
A Turon
ACM SIGPLAN Notices 52 (1), 2-2, 2017
42017
Modular rollback through control logging: a pair of twin functional pearls
O Shivers, AJ Turon
ACM SIGPLAN Notices 46 (9), 58-68, 2011
42011
Freeze after writing
L Kuper, A Turon, R Neelakantan, RR Newton
POPL’14, 2014
22014
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