Viper: A Fast Snapshot Isolation Checker.

Jian Zhang, Ye Ji, Shuai Mu, Cheng Tan

Browse the full EuroSys paper archive.