• Sign in
  • Sign up
conf.researchr.org / Pinhan Zhao
  • ICFP/SPLASH 2025 profile
  • ICSE 2025 profile
  • PLDI 2024 profile
  • PLDI 2025 profile
  • POPL 2025 profile
  • SPLASH 2024 profile
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
Share
xWed 21 May 01:15
using conf.researchr.org (v1.69.0)
Support page
Sign Up