Haoran Ding

Email | Google Scholar | GitHub | CV

prof_pic.jpg

I am Haoran Ding, a final year CS Ph.D. student at IPADS, Shanghai Jiao Tong University (SJTU). I am jointly supervised by Prof. Haibo Chen at SJTU, Prof. Zhong Shao at Yale University, and Prof. Zhaoguo Wang at SJTU. 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 in Computer Science from Nanjing University.

My research focuses on the intersection of formal verification and systems software, aiming to develop fundamental theories and practical tools that can enhance both system correctness and performance.

News

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).
Sep 12, 2024 Give a talk at CyLab, Carnegie Mellon University (Hosted by Prof. Limin Jia).
Sep 10, 2024 Give a talk at Programming Languages Group and SNS Group, Princeton University (Hosted by Prof. Aarti Gupta).
Aug 13, 2024 Give a talk at PDOS, MIT (Hosted by Upamanyu Sharma and Yun-Sheng Chang).
Aug 12, 2024 Give a talk at Systems Research Group, Northeastern University (Hosted by Prof. Cheng Tan).
Jun 11, 2024 Give a presentation at SIGMOD 2024.
Jul 12, 2023 Give a presentation at OSDI 2023.

Publications

  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
  2. 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
  3. 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
  4. 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
  5. 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)

Mentoring

  • Feiyang Chen (2024 - now), SJTU Ph.D. student
  • Yicun Yang (2022 - 2023), SJTU Ph.D. student
  • Haoning Lan (2023 - now), SJTU Master’s student
  • Zhenglin Xu (2022 - now), SJTU Master’s student
  • Zhuoran Wei (2022 - now), SJTU Master’s student
  • Zhuohao Shen (2022 - 2023), SJTU Master’s student
  • Dexin Zhang (2021 - 2023), SJTU Master’s student -> Princeton University (Ph.D. student)

Honors and Awards

  • SIGMOD 2024 Student Support Scholarships
  • OSDI 2023 Student Grants