Haoran Ding

Email

prof_pic.jpg

I am Haoran Ding, a CS Ph.D. that graduated from Shanghai Jiao Tong University (SJTU). I earned my bachelor degree in Computer Science from Nanjing University. My research focuses on developing practical theories and tools that can enhance the performance of software, such as databases and cloud applications.

Publications

  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
    DOI PDF
  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
    PDF
  3. 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
  4. 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
  5. 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
  6. 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