Aaron Turon
Aaron Turon
Dirección de correo verificada de mpi-sws.org - Página principal
Título
Citado por
Citado por
Año
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
2142015
Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency
A Turon, D Dreyer, L Birkedal
ICFP, 2013
1282013
Regular-expression derivatives re-examined
S Owens, J Reppy, A Turon
Journal of Functional Programming 19 (2), 173-190, 2009
1212009
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
1162014
Logical relations for fine-grained concurrency
AJ Turon, J Thamsborg, A Ahmed, L Birkedal, D Dreyer
ACM SIGPLAN Notices 48 (1), 343-356, 2013
722013
Metaprogramming with traits
J Reppy, A Turon
ECOOP 2007–Object-Oriented Programming, 373-398, 2007
682007
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
552014
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
302012
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
222011
Reagents: expressing and composing fine-grained concurrency
A Turon
PLDI, 2012
172012
A Resource Analysis of the π-calculus
A Turon, M Wand
Electronic Notes in Theoretical Computer Science 276, 313-334, 2011
102011
Understanding and expressing scalable concurrency
A Turon
AAI3558728. PhD thesis. Boston, MA, USA, 2013
92013
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
52017
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20