Pinhan Zhao

Pinhan Zhao is a PhD candidate 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 lies at the intersection of programming languages and automated reasoning, where I develop principled techniques to tackle critical challenges in modern software systems. My current work spans two key areas: ensuring the correctness of database queries through automated verification and testing, and empowering end users to create web automation programs through natural language descriptions and interactive demonstrations.

Publications

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
Pinhan Zhao, Yuepeng Wang, Xinyu Wang
PLDI 2025
[paper] [extended version]

Automated Lifting for Cloud Infrastructure-as-Code Programs
Jingjia Peng, Yiming Qiu, Patrick Tser Jern Kon, Pinhan Zhao, Yibo Huang, Zheng Guo, Xinyu Wang, Ang Chen
AIOps @ ICSE 2025

Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries
Pinhan Zhao*, Yang He*, Xinyu Wang, Yuepeng Wang (* Equal contributions)
VLDB 2024 Demo
[paper] [poster]

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
Yang He*, Pinhan Zhao*, Xinyu Wang, Yuepeng Wang (* Equal contributions)
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
Netdev 0x16
[paper]

Competing TCP Congestion Control Algorithms over a Satellite Network
Pinhan Zhao, Benjamin Peters, Jae Won Chung, Mark Claypool
CCNC 2022
[paper]

TCP HyStart Performance over a Satellite Network
Benjamin Peters, Pinhan Zhao, Jae Won Chung, Mark Claypool
Netdev 0x15
[paper]

Teaching

Service