Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Aaron Turon

Aaron Joseph Turon

> Home > Persons

Person information

affiliation: Max Planck Institute for Software Systems

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/OwensRT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/OwensRT09
Scott Owens, John H. Reppy, Aaron Turon:
Regular-expression derivatives re-examined. J. Funct. Program. 19(2): 173-190 (2009)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Turon17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Turon17
Aaron Turon:
Rust: from POPL to practice (keynote). POPL 2017: 2
2015
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/JungSSSTBD15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/JungSSSTBD15
Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer:
Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning. POPL 2015: 637-650
2014
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/TuronVD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/TuronVD14
Aaron Turon, Viktor Vafeiadis, Derek Dreyer:
GPS: navigating weak memory with ghosts, protocols, and separation. OOPSLA 2014: 691-707
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/KuperTKN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/KuperTKN14
Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton:
Freeze after writing: quasi-deterministic parallel programming with LVars. POPL 2014: 257-270
2013
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/TuronDB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/TuronDB13
Aaron Turon, Derek Dreyer, Lars Birkedal:
Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency. ICFP 2013: 377-390
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/TuronTABD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/TuronTABD13
Aaron Joseph Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, Derek Dreyer:
Logical relations for fine-grained concurrency. POPL 2013: 343-356
2012
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/KrishnaswamiTDG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/KrishnaswamiTDG12
Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg:
Superficially substructural types. ICFP 2012: 41-54
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/Turon12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/Turon12
Aaron Turon:
Reagents: expressing and composing fine-grained concurrency. PLDI 2012: 157-168
2011
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/ShiversT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/ShiversT11
Olin Shivers, Aaron Joseph Turon:
Modular rollback through control logging: a pair of twin functional pearls. ICFP 2011: 58-68
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/TuronR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/TuronR11
Aaron Joseph Turon, Claudio V. Russo:
Scalable join patterns. OOPSLA 2011: 575-594
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/TuronW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/TuronW11
Aaron Joseph Turon, Mitchell Wand:
A separation logic for refining concurrent objects. POPL 2011: 247-258
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/TuronW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/TuronW11
Aaron Joseph Turon, Mitchell Wand:
A Resource Analysis of the π-calculus. MFPS 2011: 313-334
2009
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/ManoliosT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/ManoliosT09
Panagiotis Manolios, Aaron Turon:
All-Termination(T). TACAS 2009: 398-412
2007
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/ReppyT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/ReppyT07
John H. Reppy, Aaron Turon:
Metaprogramming with Traits. ECOOP 2007: 373-398

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2011
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1105-0966
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1105-0966
Aaron Joseph Turon, Mitchell Wand:
A resource analysis of the pi-calculus. CoRR abs/1105.0966 (2011)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.