Validating Database System Isolation Level Implementations with Version Certificate Recovery

Jack Clark, Alastair Donaldson, John Wickerson, Manuel Rigger
February 2024
Type
Conference paper
Publication
In Proceedings of the Nineteenth European Conference on Computer Systems
Manuel Rigger
Manuel Rigger
Faculty

Manuel is an Assistant Professor and leads the group.