User Tools

Site Tools


You are not allowed to perform this action
pub:members:haoran_ding

Haoran Ding (丁浩然)

Ph.D Candidate
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 Haibo Chen at SJTU, Professor Zhong Shao at Yale University and Professor 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. (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, 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. (Paper)

pub/members/haoran_ding.txt · Last modified: 2024/03/18 23:48 by root