Hanze Meng, Zhengjie Miao, Amir Gilad, Sudeepa Roy, Jun Yang. Characterizing and Verifying Queries Via CINSGEN. In Sudipto Das, Ippokratis Pandis, K. Selçuk Candan, Sihem Amer-Yahia, editors, Companion of the 2023 International Conference on Management of Data, SIGMOD/PODS 2023, Seattle, WA, USA, June 18-23, 2023. pages 143-146, ACM, 2023. [doi]
Abstract is missing.