Validating Database System Isolation Level Implementations with Version Certificate Recovery
@inproceedings{DBLP:conf/eurosys/ClarkDWR24,
author = {Jack Clark and
Alastair F. Donaldson and
John Wickerson and
Manuel Rigger},
title = {Validating Database System Isolation Level Implementations with Version Certificate Recovery},
booktitle = {Proceedings of the Nineteenth European Conference on Computer Systems, EuroSys 2024, Athens, Greece, April 22-25, 2024},
pages = {754-768},
publisher = {{ACM}},
year = {2024},
doi = {10.1145/3627703.3650080},
}