Noé De Santo -

Registered user since Fri 5 Jul 2024

Name:Noé De Santo

Country:United States

Affiliation:University of Pennsylvania

Personal website: https://ef5.ch

GitHub: https://github.com/Ef55

Contributions

2026

POPL

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

2025

Haskell

Author of Rebound: Efficient, expressive, and well-scoped binding within the Haskell 2025-track

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