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
4242015
Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency
A Turon, D Dreyer, L Birkedal
ICFP, 2013
1852013
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
1662014
Regular-expression derivatives re-examined
S Owens, J Reppy, A Turon
Journal of Functional Programming 19 (2), 173-190, 2009
1652009
Logical relations for fine-grained concurrency
AJ Turon, J Thamsborg, A Ahmed, L Birkedal, D Dreyer
Acm Sigplan Notices 48 (1), 343-356, 2013
1122013
Freeze after writing: Quasi-deterministic parallel programming with LVars
L Kuper, A Turon, NR Krishnaswami, RR Newton
ACM SIGPLAN Notices 49 (1), 257-270, 2014
752014
Metaprogramming with traits
J Reppy, A Turon
ECOOP 2007–Object-Oriented Programming, 373-398, 2007
692007
A separation logic for refining concurrent objects
AJ Turon, M Wand
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
532011
Superficially substructural types
NR Krishnaswami, A Turon, D Dreyer, D Garg
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
392012
A foundation for trait-based metaprogramming
J Reppy, A Turon
International Workshop on Foundations and Developments of Object-Oriented …, 2006
292006
Reagents: expressing and composing fine-grained concurrency
A Turon
PLDI, 2012
242012
Scalable join patterns
AJ Turon, CV Russo
Proceedings of the 2011 ACM international conference on Object oriented …, 2011
232011
Understanding and expressing scalable concurrency
A Turon
Northeastern University, 2013
162013
A resource analysis of the π-calculus
A Turon, M Wand
Electronic Notes in Theoretical Computer Science 276, 313-334, 2011
112011
All-Termination(T)
P Manolios, A Turon
International Conference on Tools and Algorithms for the Construction and …, 2009
102009
Rust: from POPL to practice (keynote)
A Turon
ACM SIGPLAN Notices 52 (1), 2-2, 2017
52017
Modular rollback through control logging: a pair of twin functional pearls
O Shivers, AJ Turon
ACM SIGPLAN Notices 46 (9), 58-68, 2011
52011
Freeze after writing
L Kuper, A Turon, R Neelakantan, RR Newton
POPL’14, 2014
22014
SML/NJ Language Processing Tools: User Guide
A Turon
For SML/NJ version, 2007
12007
A foundation for trait-based metaprogramming (extended version)
J Reppy, A Turon
Technical report, Dept. of Computer Science, U. of Chicago, Chicago, IL, 2006
12006
The system can't perform the operation now. Try again later.
Articles 1–20