TY  - RPRT
TI  - AWDIT: An Optimal Weak Database Isolation Tester
AU  - Lasse Møldrup
AU  - Andreas Pavlogiannis
PY  - 2025
DO  - 10.1145/3729339
UR  - https://arxiv.org/abs/2504.06975
ID  - 2504.06975
ER  -