Pinhan Zhao
Pinhan Zhao is a PhD student in the Electrical Engineering and Computer Science Department at the University of Michigan, advised by Xinyu Wang. He received his bachelor's degree in Computer Science from New York University.
Email: pinhan@umich.edu
Research
My research interests span the areas of programming languages and automated reasoning. I'm particularly interested in developing techniques that can automatically reason and solve problems across different domains. My ongoing work revolves around the following topics.
-
Automated Reasoning for Database Applications
We developed powerful verification and testing techniques that reason about complex SQL queries. Our work have been used to reveal serious bugs in MySQL and Apache Calcite and also detect missing test cases to augment test suites for LeetCode.
Publications
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints [arXiv]Yang He*, Pinhan Zhao*, Xinyu Wang, Yuepeng Wang
Proceedings of the ACM on Programming Languages (OOPSLA 2024)
Fixing TCP Slow Start for Slow Fat Links [paper]
Maryam Ataei Kachooei, Pinhan Zhao, Feng Li, Jae Won Chung, Mark Claypool
Proceedings of the 0x16 NetDev Conference (Netdev 0x16)
Competing TCP Congestion Control Algorithms over a Satellite Network [paper]
Pinhan Zhao, Benjamin Peters, Jae Won Chung, Mark Claypool
Proceedings of the 2022 IEEE 19th Annual Consumer Communications & Networking Conference (CCNC 2022)
TCP HyStart Performance over a Satellite Network [paper]
Benjamin Peters, Pinhan Zhao, Jae Won Chung, Mark Claypool
Proceedings of the 0x15 NetDev Conference (Netdev 0x15)
Service
- Artifact Evaluation Committee, PLDI 2024
Honors and Awards
- University Honors Scholar, New York University, 2023
- NSF Science Outreach and Research Teaching Fellowship, 2022-2023