• Sign in
  • Sign up
conf.researchr.org / Chenyu Zhou
  • ECOOP 2026 profile
  • ICFP/SPLASH 2025 profile
  • PLDI 2025 profile
  • PLDI 2026 profile
  • POPL 2025 profile
  • SPLASH/ISSTA 2026 profile
Chenyu Zhou

Registered user since Tue 1 Oct 2024

Name:Chenyu Zhou
Country:United States
Affiliation:University of Southern California
Personal website: https://self.shiroha.info
Research interests:Program Analysis, Verification

Contributions

2026

SPLASH

  • Author of Mechanically Translating Iterative Dataflow Analysis to Algebraic Program Analysis within the OOPSLA-track
  • Committee Member in Artifact Evaluation Committee within the Artifact evaluation-track

ECOOP

  • Author of Efficient Symbolic Execution of Software under Fault Attacks within the Technical Papers-track

PLDI

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

2025

LMPL

  • Author of Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters within the LMPL 2025-track

PLDI

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

POPL

  • Author of An Incremental Algorithm for Algebraic Program Analysis within the POPL-track
  • Session Chair of Kleene Algebra with Tests (part of POPL)
Share
xSun 19 Apr 18:53
using conf.researchr.org (v1.73.2)
Support page
Sign Up