个人简介

• 丁浩然，上海交通大学并行与分布式系统研究所博士生。在陈海波教授、邵中教授和王肇国副教授的指导下，当前主要研究方向为形式化验证与系统软件。

学术经历

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

研究方向

形式化验证与系统软件。

助教工作

• 2019.09 - 2020.01 上海交通大学 软件学院 离散数学

发表论文

• [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)