Our paper “Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels” was accepted at OOPSLA 2024!