Aaron Turon
From MaRDI portal
Person:2819853
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Iris: monoids and invariants as an orthogonal basis for concurrent reasoning Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| A resource analysis of the \(\pi\)-calculus Electronic Notes in Theoretical Computer Science | 2016-07-15 | Paper |
| Unifying refinement and Hoare-style reasoning in a logic for higher-order concurrency Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| Modular rollback through control logging: a pair of twin functional pearls Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Logical relations for fine-grained concurrency Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
| Superficially substructural types Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Freeze after writing, quasi-deterministic parallel programming with LVars Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| A separation logic for refining concurrent objects Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| All-Termination(T) Tools and Algorithms for the Construction and Analysis of Systems | 2009-03-31 | Paper |
| Regular-expression derivatives re-examined Journal of Functional Programming | 2009-03-25 | Paper |
Research outcomes over time
This page was built for person: Aaron Turon
