Pinhan Zhao -

Registered user since Mon 15 Jan 2024

Name:Pinhan Zhao

Country:United States

Affiliation:University of Michigan

Personal website: https://pinhanzhao.com/

Contributions

2025

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

ICSE

Committee Member in Artifact Evaluation within the Artifact Evaluation-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2024

SPLASH

Author of VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints within the OOPSLA 2024-track

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track