Folgen
Aaron Turon
Aaron Turon
MPI-SWS
Bestätigte E-Mail-Adresse bei mpi-sws.org - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
4392015
Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency
A Turon, D Dreyer, L Birkedal
ICFP, 2013
1882013
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
1702014
Regular-expression derivatives re-examined
S Owens, J Reppy, A Turon
Journal of Functional Programming 19 (2), 173-190, 2009
1672009
Logical relations for fine-grained concurrency
AJ Turon, J Thamsborg, A Ahmed, L Birkedal, D Dreyer
Acm Sigplan Notices 48 (1), 343-356, 2013
1112013
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
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
532011
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
292006
Reagents: expressing and composing fine-grained concurrency
A Turon
PLDI, 2012
222012
Scalable join patterns
AJ Turon, CV Russo
Proceedings of the 2011 ACM international conference on Object oriented …, 2011
222011
Understanding and expressing scalable concurrency
A Turon
Northeastern University, 2013
142013
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
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 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
12014
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20