(SIGMOD 2025) Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency
Yicun Yang, Zhaoguo Wang, Yu Xia, Zhuoran Wei, Haoran Ding, Ruzica Piskac, Haibo Chen, Jinyang Li
Download: Paper | Source Code
Publications
You can also find my articles on my Google Scholar profile.
(SIGMOD 2024) Proving Query Equivalence Using Linear Integer Arithmetic
Haoran Ding, Zhaoguo Wang, Yicun Yang, Dexin Zhang, Zhenglin Xu, Haibo Chen, Ruzica Piskac, Jinyang Li
Download: Paper | Source Code
(SIGMOD 2022) WeTune: Automatic Discovery and Verification of Query Rewrite Rules
Zhaoguo Wang, Zhou Zhou, Yicun Yang, Haoran Ding, Gansen Hu, Ding Ding, Chuzhe Tang, Haibo Chen, Jinyang Li
Download: Paper | Source Code