Seguir
Aaron Turon
Aaron Turon
MPI-SWS
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
3802015
Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency
A Turon, D Dreyer, L Birkedal
ICFP, 2013
1782013
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
1612014
Regular-expression derivatives re-examined
S Owens, J Reppy, A Turon
Journal of Functional Programming 19 (2), 173-190, 2009
1572009
Logical relations for fine-grained concurrency
AJ Turon, J Thamsborg, A Ahmed, L Birkedal, D Dreyer
Acm Sigplan Notices 48 (1), 343-356, 2013
1062013
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
762014
Metaprogramming with traits
J Reppy, A Turon
ECOOP 2007–Object-Oriented Programming, 373-398, 2007
702007
A separation logic for refining concurrent objects
AJ Turon, M Wand
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
502011
Superficially substructural types
NR Krishnaswami, A Turon, D Dreyer, D Garg
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
402012
A foundation for trait-based metaprogramming
J Reppy, A Turon
International Workshop on Foundations and Developments of Object-Oriented …, 2006
282006
Reagents: expressing and composing fine-grained concurrency
A Turon
PLDI, 2012
232012
Scalable join patterns
AJ Turon, CV Russo
Proceedings of the 2011 ACM international conference on Object oriented …, 2011
212011
Understanding and expressing scalable concurrency
A Turon
Northeastern University, 2013
152013
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20