Pinhan Zhao

According to our database, Pinhan Zhao authored at least 5 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search.

Pinhan Zhao, Yuepeng Wang, Xinyu Wang

Proc. ACM Program. Lang., 2025

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 IEEE/ACM International Workshop on Cloud Intelligence & AIOps, 2025

2024

Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries.

Pinhan Zhao, Yang He, Xinyu Wang, Yuepeng Wang

Proc. VLDB Endow., August, 2024

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints.

Yang He, Pinhan Zhao, Xinyu Wang, Yuepeng Wang

Proc. ACM Program. Lang., 2024

2022

Competing TCP Congestion Control Algorithms over a Satellite Network.

Pinhan Zhao, Benjamin Peters, Jae Chung, Mark Claypool

Proceedings of the 19th IEEE Annual Consumer Communications & Networking Conference, 2022