First Workshop on Verifiable Database Systems.

Tien Tuan Anh Dinh, Beng Chin Ooi, Xinying Yang

Browse the full SIGMOD paper archive.