publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2025

  1. 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, and Jinyang Li
    In 2025 International Conference on Management of Data (SIGMOD ’25), Berlin, Germany, Jun 2025
    PDF

2024

  1. SIGMOD 2024
    Proving Query Equivalence Using Linear Integer Arithmetic
    Haoran Ding, Zhaoguo Wang, Yicun Yang, Dexin Zhang, Zhenglin Xu, Haibo Chen, Ruzica Piskac, and Jinyang Li
    In 2024 International Conference on Management of Data (SIGMOD ’24), Santiago, Chile, Jun 2024
    PDF Code Website

2023

  1. OSDI 2023
    Automated Verification of Idempotence for Stateful Serverless Applications
    Haoran Ding, Zhaoguo Wang, Zhuohao Shen, Rong Chen, and Haibo Chen
    In 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’23), Boston, MA, USA, Jul 2023
    PDF

2022

  1. 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, and Jinyang Li
    In 2022 International Conference on Management of Data (SIGMOD ’22), Philadelphia, PA, USA, Jun 2022
    PDF Code Website

2019

  1. SOSP 2019
    Using Concurrent Relational Logic with Helpers for Verifying the AtomFS File System
    Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, and Haibo Chen
    In Proceedings of the 27th ACM Symposium on Operating Systems Principles (SOSP ’19), Huntsville, Ontario, Canada, Oct 2019
    PDF