IPADS

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
===== Haoran Ding (丁浩然) =====

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


Ph.D.\\
[[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 CS Ph.D. that graduated from Shanghai Jiao Tong University (SJTU). I worked in the Institute of Parallel And Distributed System (IPADS), jointly supervised by [[https://ipads.se.sjtu.edu.cn/pub/members/haibo_chen|Prof. Haibo Chen]] at SJTU, [[https://www.cs.yale.edu/homes/shao/|Prof. Zhong Shao]] at Yale University. I am also co-advised by [[https://ipads.se.sjtu.edu.cn/pub/members/zhaoguo_wang|Prof. Zhaoguo Wang]] at SJTU since my fourth year, and focus on applying formal methods to Database and Distributed Systems. I am also very lucky to work with [[https://www.news.cs.nyu.edu/~jinyang/|Prof. Jinyang Li]] at New York University and [[https://www.cs.yale.edu/homes/piskac/|Prof. Ruzica Piskac]] at Yale University. 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. ([[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]])

=====  Awards =====
  * SIGMOD 2024 Student Support Scholarships
  * OSDI 2023 Student Grants

=====  Professional Services =====
  * LPAR 2024 Subreviewer

=====  Visiting Experiences =====
  * 2023.10 - 2024.10 Visiting Assistant in Research, [[https://flint.cs.yale.edu/|FLINT]], Yale University

=====  Activities =====
  * Oct 2024. Talk at [[https://db.cs.washington.edu/|Database Group]], University of Washington (Hosted by [[https://homes.cs.washington.edu/~suciu/|Prof. Dan Suciu]])
  * Oct 2024.Talk at [[https://software-research-lunch.github.io/|Software Research Lunch]], Stanford University (Hosted by [[https://rohany.github.io/|Rohan Yadav]])
  * Oct 2024. Talk at [[https://cmu-soda.github.io/|SoDA]], Carnegie Mellon University (Hosted by [[https://eskang.github.io/|Prof. Eunsuk Kang]])
  * Sep 2024. Talk at [[https://cs.nyu.edu/acsys/index.html|ACSys Group]] and [[https://www.news.cs.nyu.edu/|Systems Group]], New York University (Hosted by [[https://cs.nyu.edu/~jt4767/|Prof. Joseph Tassarotti]])
  * Sep 2024. Talk at [[https://www.cylab.cmu.edu/|CyLab]], Carnegie Mellon University (Hosted by [[https://www.andrew.cmu.edu/user/liminjia/|Prof. Limin Jia]])
  * Sep 2024. Talk at [[https://pl.cs.princeton.edu/|Programming Languages Group]] and [[https://sns.cs.princeton.edu/|SNS Group]], Princeton University (Hosted by [[https://www.cs.princeton.edu/~aartig/|Prof. Aarti Gupta]])
  * Sep 2024. Talk at [[https://rose.yale.edu/|ROSE]], Yale University (Hosted by [[https://www.cs.yale.edu/homes/piskac/|Prof. Ruzica Piskac]])
  * Aug 2024. Talk at [[https://pdos.csail.mit.edu/|PDOS]], MIT (Hosted by [[https://people.csail.mit.edu/upamanyu/|Upamanyu Sharma]] and [[https://yunshengtw.github.io/|Yun-Sheng Chang]])
  * Aug 2024. Talk at [[https://srg.khoury.northeastern.edu/|Systems Research Group]], Northeastern University (Hosted by [[https://naizhengtan.github.io/|Prof. Cheng Tan]])
  * Jun 2024. Talk at [[https://2024.sigmod.org/registrations.shtml|SIGMOD 2024]].
  * Oct 2023. Talk at [[https://flint.cs.yale.edu/|FLINT]], Yale University (Hosted by [[https://www.cs.yale.edu/homes/shao-zhong/|Prof. Zhong Shao]])
  * Jul 2023. Talk at [[https://www.usenix.org/conference/osdi23/presentation/ding|OSDI 2023]].

=====  Teaching Assistant =====
  * 2019.09-2020.01, Discrete Mathematics of Computer