Aaron Turon

Aaron Turon

Max Planck Institut für Software Systeme - Kaiserslautern / Germany
Others
AD Scientific Index ID: 4430907
Max Planck Institute for Software Systems
person_outline Aaron Turon's MOST POPULAR ARTICLES
1-) Iris: Monoids and invariants as an orthogonal basis for concurrent reasoningR Jung, D Swasey, F Sieczkowski, K Svendsen, A Turon, L Birkedal, ...ACM SIGPLAN Notices 50 (1), 637-650, 20153082015
2-) Unifying Refinement and Hoare-Style Reasoning in a Logic for Higher-Order ConcurrencyA Turon, D Dreyer, L BirkedalICFP, 20131592013
3-) Regular-expression derivatives re-examinedS Owens, J Reppy, A TuronJournal of Functional Programming 19 (2), 173-190, 20091652009
4-) GPS: Navigating weak memory with ghosts, protocols, and separationA Turon, V Vafeiadis, D DreyerProceedings of the 2014 ACM International Conference on Object Oriented …, 20141642014
5-) Logical relations for fine-grained concurrencyAJ Turon, J Thamsborg, A Ahmed, L Birkedal, D DreyerAcm Sigplan Notices 48 (1), 343-356, 20131112013