- Alvin Cheung, Dan Suciu,
Handling Highly Contended OLTP Workloads Using Fast Dynamic Partitioning
In Proceedings of the 2020 International Conference on Management of Data, SIGMOD Conference 2020, online conference [Portland, OR, USA], June 14-19, 2020, pp. 527--542, 2020
- Shumo Chu, Alvin Cheung, Dan Suciu,
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries
Published in CoRR, vol. abs/1802.02229 , 2018
- Shumo Chu, Brendan Murphy, Jared Roesch, Alvin Cheung, Dan Suciu,
Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries
Published in PVLDB, vol. 11 , no. 11 , pp. 1482--1495 , 2018
- 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, Alvin Cheung, Dan Suciu,
HoTTSQL: proving query rewrites with univalent SQL semantics
In Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017, pp. 510--524, 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