mathiasen-2026-verifying:
  type: misc
  title: Verifying Isolation Levels of Database Implementations for Free Using Separation Logic
  author:
  - Mathiasen, Anders Alnor
  - Timany, Amin
  - Birkedal, Lars
  date: 2026-07
  serial-number:
    arxiv: '2607.15877'