Under Submission
Paper(s) submitted for publication.2026
3.
Submitted for publication
Anders Alnor Mathiasen, Amin Timany, and Lars Birkedal.
Verifying Isolation Levels of Database Implementations for Free Using Separation Logic.
Submitted for publication, July 2026.
- Links:
arXiv
2.
Submitted for publication
Anders Alnor Mathiasen, Amin Timany, and Lars Birkedal.
Yarrow: Reconciling Effects Handlers and Region-Based Memory Management.
Submitted for publication, July 2026.
- Links: arXiv
2025
1.
Submitted for publication
Sergei Stepanenko, Emma Nardino, Virgil Marionneau, Dan Frumin, Amin Timany, and Lars Birkedal.
Context-Dependent Effects and Concurrency in Guarded Interaction Trees.
Submitted for publication, December 2025.
- Links: arXiv