Chengxi Yang -

Registered user since Tue 6 Oct 2026

Name:Chengxi Yang

Country:United States

Affiliation:UC Berkeley

Personal website: https://arcadia-y.github.io/

Research interests:Programming languages and formal verification

Contributions

2026

ICFP

Author of Assertions for Free: Transferring Invariants from Algorithm to Implementation Proofs (Functional Pearl) within the ICFP Papers-track
Author of Assertions for Free: Transferring Invariants from Algorithm to Implementation Proofs (Functional Pearl) within the ICFP Artifacts-track