Haoran Ding

Email | Google Scholar | GitHub

prof_pic.jpg

I am Haoran Ding, a postdoc in the group of Prof. Martin Rinard at MIT. I earned my Ph.D. degree from IPADS, Shanghai Jiao Tong University (SJTU). I was jointly supervised by Prof. Zhaoguo Wang at SJTU, Prof. Haibo Chen at SJTU, and Prof. Zhong Shao at Yale University. I am also very lucky to work closely with Prof. Jinyang Li at New York University and Prof. Ruzica Piskac at Yale University. I earned my bachelor degree from Nanjing University.

I am interested in the intersection of formal methods and systems software, aiming to develop fundamental theories and practical tools that can enhance both system reliability and performance.

News

May 06, 2026 Give a talk at Peking University (Hosted by Prof. Meng Sun).
May 01, 2026 I start my postdoc at MIT, advised by Prof. Martin Rinard.
Jun 30, 2025 I successfully graduated from Shanghai Jiao Tong University.
Jun 24, 2025 GRewriter accepted by VLDB 2025.
May 19, 2025 I successfully defended my doctoral dissertation.
Jan 31, 2025 SQLDriller accepted by SIGMOD 2025.
Oct 04, 2024 Give a talk at Database Group, University of Washington (Hosted by Prof. Dan Suciu).
Oct 03, 2024 Give a talk at Software Research Lunch, Stanford University (Hosted by Rohan Yadav).
Oct 01, 2024 Give a talk at SoDA, Carnegie Mellon University (Hosted by Prof. Eunsuk Kang).
Sep 19, 2024 Give a talk at ACSys Group and Systems Group, New York University (Hosted by Prof. Joseph Tassarotti).

Publications

  1. arXiv
    FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning
    Haoran Ding, Zhaoguo Wang, and Haibo Chen
    2026
    PDF Code Website
  2. 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
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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

Experience

Oct, 2023 - Oct, 2024 Visiting Ph.D. Student at Yale University, supervised by Prof. Zhong Shao

Service

Teaching Assistant

  • Head TA of SJTU CS2501: Discrete Mathematics (Fall 24, Fall 23, Fall 22, Fall 21)
  • Head TA of SJTU MA238: Discrete Mathematics (Fall 20, Fall 19)

Honors and Awards

  • SIGMOD 2024 Student Support Scholarships
  • OSDI 2023 Student Grants