Wenyao Chen -

Registered user since Tue 24 Mar 2026

Name:Wenyao Chen

Affiliation:UNSW Sydney

Personal website: https://wenyaoc.github.io/

Contributions

2026

SPLASH

Author of From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust within the OOPSLA-track

ECOOP

Author of Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis within the Technical Papers-track