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

⚠️ I have graduated and this page is no longer maintained. Please visit [[https://haoran-ding.github.io/]].


Ph.D.\\
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 CS Ph.D. that graduated from Shanghai Jiao Tong University (SJTU). My research focuses on developing practical theories and tools that can enhance software 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. ([[https://dl.acm.org/doi/pdf/10.1145/3626768|Paper]][[https://github.com/SJTU-IPADS/SQLSolver|Code]][[https://sqlsolver.systems/sqlsolver/home|Demo]])


- [**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]], [[https://github.com/WeTune/WeTune-code|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. ([[https://dl.acm.org/doi/pdf/10.1145/3341301.3359644|Paper]])