Le Chang -

Registered user since Tue 17 Dec 2024

Name:Le Chang

Affiliation:University of Maryland, College Park

Contributions

2026

PLDI

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

2025

PLanQC

Author of The Quantum Abstract Machine within the PLanQC 2025-track

2024

ECOOP

Author of Qafny: A Quantum-Program Verifier within the Technical Papers-track