We gratefully acknowledge support from
the Simons Foundation and member institutions.

Hengfeng Wei is qualified to endorse.

Efficient Black-box Checking of Snapshot Isolation in Databases

Hengfeng Wei: Is registered as an author of this paper.
Can endorse for cs.DB, cs.DC. (why?)

Kaile Huang, Si Liu, Zhenge Chen, David Basin, Haixiang Li and Anqun Pan are not registered as owners of this paper. (why?)