===== Haoran Ding (丁浩然) =====

Ph.D Candidate\\
[[http://ipads.se.sjtu.edu.cn/|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 [[https://ipads.se.sjtu.edu.cn/pub/members/haibo_chen|Haibo Chen]] at SJTU, Professor [[https://www.cs.yale.edu/homes/shao/|Zhong Shao]] at Yale University and Professor [[https://ipads.se.sjtu.edu.cn/pub/members/zhaoguo_wang|Zhaoguo Wang]] at SJTU. My major research interest include the formal verification of system software, such as file systems, databases and distributed systems.


=====  TA Work =====
  * 2019.09-2020.01, Discrete Mathematics of Computer

===== 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. ([[https://dl.acm.org/doi/pdf/10.1145/3626768|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. ([[https://www.usenix.org/system/files/osdi23-ding.pdf|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.
([[https://dl.acm.org/doi/pdf/10.1145/3514221.3526125|Paper]], [[https://ipads.se.sjtu.edu.cn/_media/publications/wtune_extend.pdf|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. ([[https://dl.acm.org/doi/pdf/10.1145/3341301.3359644|Paper]])