Viper: A Fast Snapshot Isolation Checker. - Jian Zhang; Ye Ji 003; Shuai Mu 001; Cheng Tan 005 (EuroSys, 2023)