• Sign in
  • Sign up
conf.researchr.org / Chenyu Zhou
  • ICFP/SPLASH 2025 profile
  • PLDI 2025 profile
  • POPL 2025 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

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 2 Nov 09:40
using conf.researchr.org (v1.72.1)
Support page
Sign Up