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

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Author of Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search within the PLDI Research Papers-track

AIOps

Author of Automated Lifting for Cloud Infrastructure-as-Code Programs within the AI for Cloud Service-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