Victor Deng -

Registered user since Tue 9 Dec 2025

Name:Victor Deng

Country:Switzerland

Affiliation:EPFL; École Normale Supérieure - PSL - CNRS

Contributions

2026

POPL

Student Volunteer in Student Volunteers
Author of Formal Verification for JavaScript Regular Expressions: A Proven Mechanized Semantics and Its Applications within the POPL-track