Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Victor Deng
conf.researchr.org general profile
ICFP 2026 profile
POPL 2026 profile
Registered user since Tue 9 Dec 2025
Name:
Victor Deng
Country:
Switzerland
Affiliation:
EPFL
Contributions
2026
ICFP
Author of JavaScript Regular Expression Matching is PSPACE-Complete within the ICFP SRC-track
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
Share
x
Sun 18 Oct 08:36