Aaron Turon

Available identifiers

Publication	Date of Publication	Type
Iris: monoids and invariants as an orthogonal basis for concurrent reasoning	2016-09-29	Paper
A resource analysis of the \(\pi\)-calculus	2016-07-15	Paper
Unifying refinement and Hoare-style reasoning in a logic for higher-order concurrency	2015-03-30	Paper
Modular rollback through control logging: a pair of twin functional pearls	2015-03-05	Paper
Logical relations for fine-grained concurrency	2014-11-27	Paper
Superficially substructural types	2014-07-21	Paper
Freeze after writing, quasi-deterministic parallel programming with LVars	2014-04-10	Paper
A separation logic for refining concurrent objects	2014-04-10	Paper
All-Termination(T)	2009-03-31	Paper
Regular-expression derivatives re-examined	2009-03-25	Paper

This page was built for person: Aaron Turon