@misc{mathiasen-2026-verifying,
  author = {Anders Alnor Mathiasen and Amin Timany and Lars Birkedal},
  title = {Verifying Isolation Levels of Database Implementations for Free Using Separation Logic},
  year = {2026},
  month = {7},
  eprint = {2607.15877},
  archiveprefix = {arXiv}
}