Pinhan Zhao

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 3

Top Topics

Integrity Constraints

Functional Dependencies

Top Venues

Proc. ACM Program. Lang.

Publications

Yang He, Pinhan Zhao, Xinyu Wang, Yuepeng Wang
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Yang He, Pinhan Zhao, Xinyu Wang, Yuepeng Wang
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints. CoRR (2024)
Pinhan Zhao, Benjamin Peters, Jae Chung, Mark Claypool
Competing TCP Congestion Control Algorithms over a Satellite Network. CCNC (2022)