• Sign in
  • Sign up
conf.researchr.org / Antoine Delignat-Lavaud
  • ICFP 2017 profile
  • POPL 2016 profile
  • POPL 2023 profile

Not registered as user yet

Name:Antoine Delignat-Lavaud
Affiliation:Microsoft Research, n.n.

Contributions

CPP 2023 Author of ASN1*: Provably Correct, Non-Malleable Parsing for ASN.1 DER within the CPP 2023-track
ICFP 2017 Author of Verified Low-Level Programming Embedded in F* within the Research Papers-track
POPL 2016 Author of Dependent Types and Multi-Monadic Effects in F* within the Research Papers-track

Share
xSun 29 Jan 03:29
using conf.researchr.org (v1.58.0)
Support page
Sign Up