Noé De Santo -

Registered user since Fri 5 Jul 2024

Name:Noé De Santo

Country:Switzerland

Affiliation:EPFL

Personal website: https://ef5.ch

GitHub: https://github.com/Ef55

Contributions

2024

ICFP

Author of A Coq Mechanization of JavaScript Regular Expression Semantics within the ICFP Papers and Events-track
Author of A Coq Mechanization of JavaScript Regular Expression Semantics within the Artifact Evaluation-track

PLDI

Author of Mechanized semantics for ECMAScript regexes within the SRC-track