publications

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

2025

  1. VLDB 2025
    GRewriter: Practical Query Rewriting with Automatic Rule Set Expansion in GaussDB
    Zhe Jiang, Zhaoguo Wang, Haoning Lan, Chuzhe Tang, Haoran Ding, Lefeng Wang, Songyun Zou, Zhuoran Wei, Yongcun Liu, Xiang Yu, Yang Ren, Guoliang Li, and Haibo Chen
    Proc. VLDB Endow., Sep 2025
  2. 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

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

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

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

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