Table of Contents
Haoran Ding (丁浩然)
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
About Me
I am a Ph.D. student at Shanghai Jiao Tong University. I work in the Institute of Parallel And Distributed System (IPADS), jointly supervised by Professor Haibo Chen at SJTU, Professor Zhong Shao at Yale University and Professor Zhaoguo Wang at SJTU. 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.
Publications
- [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)
- [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)
Awards
- SIGMOD 2024 Student Support Scholarships
- OSDI 2023 Student Grants
Professional Services
- LPAR 2024 Subreviewer
Visiting Experiences
- 2023.10 - Now Visiting Assistant in Research, FLINT, Yale University
Activities
- Talk at New York University, 2024 (Hosted byProf. Jinyang Li and Prof. Joseph Tassarotti)
- Talk at Princeton University, 2024 (Hosted by Prof. Aarti Gupta)
- Talk at Northeastern University, 2024 (Hosted by Prof. Cheng Tan)
- Talk at ROSE, Yale University, 2024 (Hosted by Prof. Ruzica Piskac)
- Talk at FLINT, Yale University, 2023 (Hosted by Prof. Zhong Shao)
Teaching Assistant
- 2019.09-2020.01, Discrete Mathematics of Computer