本人已经毕业，该主页不再更新。

个人简介

• 丁浩然，上海交通大学并行与分布式系统研究所博士生。

学术经历

• 2014.09 - 2018.6，南京大学计算机科学与技术系，本科生
• 2018.9 - 2025.6, 上海交通大学计算机学院，博士生

发表论文

• [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. (paper, code, demo)
• Formal Methods and System Software: Practice and Suggestions. Haoran Ding, Zhaoguo Wang, Ming Fu, Haibo Chen. Science and Technology Foresight, 2023, 2(1): 33-45. (paper)
• [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, extended 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)