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