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)