@article{DBLP:journals/tocs/ClarkRWD26,
author = {Jack Clark and
Manuel Rigger and
John Wickerson and
Alastair F. Donaldson},
title = {Bringing Order to Practical Validation of Database Isolation Levels},
journal = {{ACM} Trans. Comput. Syst.},
volume = {44},
number = {3},
pages = {15:1--15:33},
year = {2026},
doi = {10.1145/3797871},
}