Qian (Andy) Wang -

Registered user since Mon 19 Aug 2024

Name:Qian (Andy) Wang

Country:United Kingdom

Affiliation:ETH Zurich and Imperial College London

GitHub: https://github.com/cbeuw

Contributions

2026

POPL

Author of Miri: Practical Undefined Behavior Detection for Rust within the POPL-track

2024

SPLASH

Author of Rustlantis: Randomized Differential Testing of the Rust Compiler within the OOPSLA 2024-track