Competing TCP Congestion Control Algorithms over a Satellite Network. - Pinhan Zhao; Benjamin Peters; Jae Chung; Mark Claypool (CCNC, 2022)

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints. - Yang He; Pinhan Zhao; Xinyu Wang 006; Yuepeng Wang 001 (Proc. ACM Program. Lang., 2024)

Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries. - Pinhan Zhao; Yang He; Xinyu Wang 006; Yuepeng Wang 001 (Proc. VLDB Endow., 2024)

Automated Lifting for Cloud Infrastructure-as-Code Programs. - Jingjia Peng; Yiming Qiu; Patrick Tser Jern Kon; Pinhan Zhao; Yibo Huang 005; Zheng Guo; Xinyu Wang 006; Ang Chen 001 (AIOps, 2025)

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search. - Pinhan Zhao; Yuepeng Wang 001; Xinyu Wang 006 (Proc. ACM Program. Lang., 2025)