Under Submission
Paper(s) submitted for publication.2026
2.
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
1.
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