Concepedia

Aaron Turon

AT

Statistics

Publications

18

Citations

1K

H-Index

15

Active since

2007

Affiliations

Max Planck Institute for Software Systems(Current)

Northeastern University

Aarhus University

University of Birmingham

University of Chicago

Aaron Turon is an author at Max Planck Institute for Software Systems specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisFormal VerificationSystem SoftwareAutomated ReasoningSoftware AnalysisVerificationParallel Computing

Publications per year

2007–2015

18

Publications

18

Iris

Ralf Jung, David Swasey, Filip Sieczkowski et al. · 2014 · 261 citations

Engineering, Automated Reasoning, Program Analysis +13

Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency

Aaron Turon, Derek Dreyer, Lars Birkedal · 2013 · 133 citations

Engineering, Verification, Computer-aided Verification +22

Regular-expression derivatives re-examined

Scott Owens, John Reppy, Aaron Turon · Journal of Functional Programming · 2009 · 122 citations · Full text

Engineering, Functional Analysis, Formal Verification +17

Aaron Turon, Viktor Vafeiadis, Derek Dreyer · 2014 · 107 citations

Engineering, Program Analysis, Weak Memory Models +15

Logical relations for fine-grained concurrency

Aaron Turon, Jacob Thamsborg, Amal Ahmed et al. · 2013 · 75 citations

Engineering, Computer Architecture, Concurrent System +19

1–5 of 18