People
Projects
Publications
Found Bugs
Openings
Seminars
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
Faculty
Manuel is an Assistant Professor and leads the group.
Cite
×