Peiyuan Liu, Siyang Weng, Keqiang Li, Lyu Ni, Chengcheng Yang, Rong Zhang 0002, Weining Qian, Dian Qiao. Leopard: A General Test Suite for Isolation Level Verification. In 14th Conference on Innovative Data Systems Research, CIDR 2024, Chaminade, HI, USA, January 14-17, 2024. www.cidrdb.org, 2024. [doi]
Abstract is missing.