Pinhan Zhao is a PhD student in the EECS Department at the University of Michigan, advised by Xinyu Wang. He received his bachelor's degree in Computer Science from New York University.
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 have designed powerful verification and testing techniques that reason about complex SQL queries, bringing intelligence as well as reliability to various real-world applications including query rewriting and automated grading. Our work have been used to reveal several bugs in MySQL and Apache Calcite, and also suggest new test inputs to LeetCode's existing test suite.
PublicationsFixing TCP Slow Start for Slow Fat Links [PDF]
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 [PDF]
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 [PDF]
Benjamin Peters, Pinhan Zhao, Jae Won Chung, Mark Claypool
Proceedings of the 0x15 NetDev Conference (Netdev 0x15)
Honors and Awards
- University Honors Scholar, New York University, 2023
- NSF Science Outreach and Research Teaching Fellowship, 2022-2023