| 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 | 437 | 2015 |
| Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order Concurrency A Turon, D Dreyer, L Birkedal ICFP, 2013 | 189 | 2013 |
| 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 | 169 | 2014 |
| Regular-expression derivatives re-examined S Owens, J Reppy, A Turon Journal of Functional Programming 19 (2), 173-190, 2009 | 166 | 2009 |
| Logical relations for fine-grained concurrency AJ Turon, J Thamsborg, A Ahmed, L Birkedal, D Dreyer Acm Sigplan Notices 48 (1), 343-356, 2013 | 113 | 2013 |
| 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 | 76 | 2014 |
| Metaprogramming with traits J Reppy, A Turon ECOOP 2007–Object-Oriented Programming, 373-398, 2007 | 69 | 2007 |
| A separation logic for refining concurrent objects AJ Turon, M Wand Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011 | 54 | 2011 |
| Superficially substructural types NR Krishnaswami, A Turon, D Dreyer, D Garg Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012 | 41 | 2012 |
| A foundation for trait-based metaprogramming J Reppy, A Turon International Workshop on Foundations and Developments of Object-Oriented …, 2006 | 29 | 2006 |
| Reagents: expressing and composing fine-grained concurrency A Turon PLDI, 2012 | 24 | 2012 |
| Scalable join patterns AJ Turon, CV Russo Proceedings of the 2011 ACM international conference on Object oriented …, 2011 | 23 | 2011 |
| Understanding and expressing scalable concurrency A Turon Northeastern University, 2013 | 16 | 2013 |
| A resource analysis of the π-calculus A Turon, M Wand Electronic Notes in Theoretical Computer Science 276, 313-334, 2011 | 11 | 2011 |
| All-Termination(T) P Manolios, A Turon International Conference on Tools and Algorithms for the Construction and …, 2009 | 10 | 2009 |
| Rust: from POPL to practice (keynote) A Turon ACM SIGPLAN Notices 52 (1), 2-2, 2017 | 5 | 2017 |
| Modular rollback through control logging: a pair of twin functional pearls O Shivers, AJ Turon ACM SIGPLAN Notices 46 (9), 58-68, 2011 | 5 | 2011 |
| Freeze after writing L Kuper, A Turon, R Neelakantan, RR Newton POPL’14, 2014 | 2 | 2014 |
| SML/NJ Language Processing Tools: User Guide A Turon For SML/NJ version, 2007 | 1 | 2007 |
| A foundation for trait-based metaprogramming (extended version) J Reppy, A Turon Technical report, Dept. of Computer Science, U. of Chicago, Chicago, IL, 2006 | 1 | 2006 |
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org