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
Google Scholar LinkedIn Bluesky CV
Research
My research interests span the areas of programming languages and automated reasoning. I'm particularly interested in developing techniques that can automatically reason about and solve problems across different domains.
Publications
Demonstration of the VeriEQL Equivalence Checker for Complex SQL QueriesPinhan Zhao*, Yang He*, Xinyu Wang, Yuepeng Wang
Proceedings of the VLDB Endowment (VLDB 2024 Demo)
[paper] [poster]
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
Yang He*, Pinhan Zhao*, Xinyu Wang, Yuepeng Wang
Proceedings of the ACM on Programming Languages (OOPSLA 2024)
ACM SIGPLAN Distinguished Paper Award
[paper] [extended version]
Fixing TCP Slow Start for Slow Fat Links
Maryam Ataei Kachooei, Pinhan Zhao, Feng Li, Jae Won Chung, Mark Claypool
Proceedings of the 0x16 NetDev Conference (Netdev 0x16)
[paper]
Competing TCP Congestion Control Algorithms over a Satellite Network
Pinhan Zhao, Benjamin Peters, Jae Won Chung, Mark Claypool
Proceedings of the 2022 IEEE 19th Annual Consumer Communications & Networking Conference (CCNC 2022)
[paper]
TCP HyStart Performance over a Satellite Network
Benjamin Peters, Pinhan Zhao, Jae Won Chung, Mark Claypool
Proceedings of the 0x15 NetDev Conference (Netdev 0x15)
[paper]
Service
- Artifact Evaluation Committee, OOPSLA 2025
- Artifact Evaluation Committee, POPL 2025
- Program Committee, ICSE 2025 Artifact Evaluation Track
- Artifact Evaluation Committee, PLDI 2024