Travelled to:1 × Italy
1 × Japan
2 × USA
Collaborated with:O.Shivers C.V.Russo M.Wand J.Thamsborg A.Ahmed L.Birkedal D.Dreyer
Talks about:concurr (2) logic (2) rollback (1) function (1) scalabl (1) pattern (1) modular (1) control (1) object (1) separ (1)
Person: Aaron Joseph Turon
DBLP: Turon:Aaron_Joseph
Contributed to:
2013
2011
20112011Wrote 4 papers:
- POPL-2013-TuronTABD #concurrent #fine-grained #logic
- Logical relations for fine-grained concurrency (AJT, JT, AA, LB, DD), pp. 343–356.
- ICFP-2011-ShiversT #composition #functional
- Modular rollback through control logging: a pair of twin functional pearls (OS, AJT), pp. 58–68.
- OOPSLA-2011-TuronR #scalability
- Scalable join patterns (AJT, CVR), pp. 575–594.
- POPL-2011-TuronW #concurrent #logic
- A separation logic for refining concurrent objects (AJT, MW), pp. 247–258.