• Sign in
  • Sign up
conf.researchr.org / Noé De Santo
  • ICFP 2024 profile
  • PLDI 2024 profile
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
Share
xTue 20 May 21:18
using conf.researchr.org (v1.69.0)
Support page
Sign Up