- Shumo Chu, Daniel Li, Remy Wang, Chenglong Wang, Alvin Cheung, Dan Suciu,
Demonstration of the Cosette Automated SQL Prover
In Proceedings of the 2017 ACM International Conference on Management of Data, SIGMOD Conference 2017, Chicago, IL, USA, May 14-19, 2017, pp. 1591--1594, 2017
- Shumo Chu, Daniel Li, Remy Wang, Chenglong Wang, Alvin Cheung, Dan Suciu,
Demonstration of the Cosette Automated SQL Prover
In Proceedings of the 2017 ACM International Conference on Management of Data, SIGMOD Conference 2017, Chicago, IL, USA, May 14-19, 2017, pp. 1591--1594, 2017