Our paper "Validating Database System Isolation Level Implementations with Version Certificate Recovery" was accepted at EuroSys 2024. Feb 8, 2024 0 min read Manuel Rigger Faculty Manuel is an Assistant Professor and leads the group.
