IPADS

Ph.D Candidate
IPADS
Shanghai Jiao Tong University
800 Dongchuan Road, Minhang District, Shanghai, China
Zip/Postal Code: 200240
Email: nhaorand at sjtu dot edu dot cn

I am a Ph.D. student at Shanghai Jiao Tong University (SJTU). I work in the Institute of Parallel And Distributed System (IPADS), jointly supervised by Prof. Haibo Chen at SJTU, Prof. Zhong Shao at Yale University. I am also co-advised by Prof. Zhaoguo Wang at SJTU since my fourth year, and focus on applying formal methods to Database and Distributed Systems. I am also very lucky to work with Prof. Jinyang Li at New York University and Prof. Ruzica Piskac at Yale University. My research focuses on the intersection of formal verification and systems software, aiming to develop practical theories and tools that can enhance both system correctness and performance.

- [SIGMOD'24] Haoran Ding, Zhaoguo Wang, Yicun Yang, Dexin Zhang, Zhenglin Xu, Haibo Chen, Ruzica Piskac, Jinyang Li. 2024. Proving Query Equivalence Using Linear Integer Arithmetic. In Proceedings of the 2024 International Conference on Management of Data. Association for Computing Machinery, Santiago, Chile. (PaperCodeDemo)

- [OSDI'23] Haoran Ding, Zhaoguo Wang, Zhuohao Shen, Rong Chen, and Haibo Chen. 2023. Automated Verification of Idempotence for Stateful Serverless Applications. In Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation. USENIX Association. Boston, MA, USA. 887–910. (Paper)

- [SIGMOD'22] Zhaoguo Wang, Zhou Zhou, Yicun Yang, Haoran Ding, Gansen Hu, Ding Ding, Chuzhe Tang, Haibo Chen, and Jinyang Li. 2022. WeTune: Automatic Discovery and Verification of Query Rewrite Rules. In Proceedings of the 2022 International Conference on Management of Data. Association for Computing Machinery, New York, NY, USA, 94–107. (Paper, Extend Version, Code)

- [SOSP'19] Mo Zou, Haoran Ding, Dong Du, Ming Fu, Ronghui Gu, and Haibo Chen. 2019. Using concurrent relational logic with helpers for verifying the AtomFS file system. In Proceedings of the 27th ACM Symposium on Operating Systems Principles. Association for Computing Machinery, New York, NY, USA, 259–274. (Paper)

• SIGMOD 2024 Student Support Scholarships
• OSDI 2023 Student Grants

• LPAR 2024 Subreviewer

• 2023.10 - 2024.10 Visiting Assistant in Research, FLINT, Yale University

• Oct 2024. Talk at Database Group, University of Washington (Hosted by Prof. Dan Suciu)
• Oct 2024.Talk at Software Research Lunch, Stanford University (Hosted by Rohan Yadav)
• Sep 2024. Talk at New York University (Hosted byProf. Jinyang Li and Prof. Joseph Tassarotti)
• Sep 2024. Talk at SoDA, Carnegie Mellon University (Hosted by Prof. Eunsuk Kang)
• Sep 2024. Talk at Carnegie Mellon University (Hosted by Prof. Limin Jia)
• Sep 2024. Talk at Programming Languages Group & SNS Group, Princeton University (Hosted by Prof. Aarti Gupta)
• Sep 2024. Talk at ROSE, Yale University (Hosted by Prof. Ruzica Piskac)
• Aug 2024. Talk at PDOS, MIT (Hosted by Upamanyu Sharma and Yun-Sheng Chang)
• Aug 2024. Talk at Systems Research Group, Northeastern University (Hosted by Prof. Cheng Tan)
• Jun 2024. Talk at SIGMOD 2024.
• Oct 2023. Talk at FLINT, Yale University (Hosted by Prof. Zhong Shao)
• Jul 2023. Talk at OSDI 2023.

• 2019.09-2020.01, Discrete Mathematics of Computer