Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer Max Planck Institute for Software Systems

Source URL: people.mpi-sws.org

Logical Relations for Fine-Grained Concurrency Aaron Turon Jacob Thamsborg Amal Ahmed

Source URL: www.mpi-sws.org

Aaron Turon Curriculum Vitae MPI-SWS, Campus E1Saarbr¨ucken

Source URL: www.mpi-sws.org

UNDERSTANDING and EXPRESSING SCAL ABLE C ONCURRENCY F Aaron Turon April 21, 2013

Source URL: www.ccs.neu.edu

Traits Deep operations Trait-based metaprogramming A foundation for trait-based metaprogramming Aaron Turon

Source URL: www.mpi-sws.org

MFPSA resource analysis of the π-calculus Aaron Turon Mitchell Wand College of Computer and Information Science Northeastern University

Source URL: www.mpi-sws.org

Scalable Join Patterns Aaron Turon Claudio V. Russo Northeastern University

Source URL: www.mpi-sws.org

Aaron Turon Research Statement My research lies broadly in the areas of programming languages and verification, with the goal of building reliable software systems. I am drawn to software components that are usually cha

Source URL: www.mpi-sws.org

• Computing
• Concurrency control
• Software
• Software transactional memory
• Non-blocking algorithm
• Lock
• Parallel computing
• Concurrency
• Concurrent data structure
• Separation logic
• Thread
• Concurrent computing

Reagents: Expressing and Composing Fine-grained Concurrency Aaron Turon Northeastern University

Source URL: www.mpi-sws.org

• Concurrency control
• Computing
• Transaction processing
• Data management
• Software
• Compare-and-swap
• Non-blocking algorithm
• Linearizability
• Software transactional memory
• Stack
• Reagent
• Atomicity

Logical Relations for Fine-Grained Concurrency (Expanded Technical Appendix) Aaron Turon Jacob Thamsborg

Source URL: www.mpi-sws.org

• Symbol
• Table of stars with Bayer designations
• Character encoding
• Digital typography