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 CV

Research

My research areas are programming languages and automated reasoning. I'm particularly interested in developing techniques that can automatically reason about and solve problems across different domains.

Publications

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
Proceedings of the 6th International Workshop on Cloud Intelligence & AIOps (AIOps@ICSE 2025)

Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries
Pinhan 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

Personal

My Myers-Briggs personality type is INTP-A. My alignment is true neutral.

I enjoy watching musicals and shows. Some of my favorite productions include Wicked, Hamilton, Dear Evan Hansen, and Sleep No More. I'm also a ONCE.

I love penguins, sea otters, and various types of birds!