Aaron Joseph Turon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2011–2013
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | POPL | Logical relations for fine-grained concurrency. | Aaron Joseph Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, Derek Dreyer |
| 2011 | ICFP | Modular rollback through control logging: a pair of twin functional pearls. | Olin Shivers, Aaron Joseph Turon |
| 2011 | OOPSLA | Scalable join patterns. | Aaron Joseph Turon, Claudio V. Russo |
| 2011 | POPL | A separation logic for refining concurrent objects. | Aaron Joseph Turon, Mitchell Wand |