conf.researchr.org / Yann Régis-Gianas
Yann Régis-Gianas

Registered user since Sun 17 Jan 2016

Name:Yann Régis-Gianas
Country:France
Affiliation:Nomadic Labs Paris
Personal website:http://yann.regis-gianas.org/
Research interests:Programming Languages

Contributions

ICFP 2022 Committee Member in Program Committee within the ICFP Papers and Events-track
ML 2022 Committee Member in Program Committee within the ML-track
PEPM 2022 Committee Member in Program Committee within the PEPM 2022-track
SLE 2020 Committee Member in Program Committee within the SLE-track
CPP 2020 Author of FreeSpec: Specifying, Verifying and Executing Impure Computations in Coq within the CPP 2020-track
SLE 2019 Committee Member in Program Committee within the SLE 2019-track
DeepSpec 2019 Presenter of Implementation and Verification of Modular Effectful Systems in Coq using FreeSpec within the DeepSpec 2019-track
ESOP 2019 Author of Incremental λ-Calculus in Cache-Transfer Style, Static Memoization by Program Transformation within the ESOP 2019-track
SLE 2018 Author of Morbig: A Static Parser for POSIX Shell within the SLE 2018-track
ICFP 2018 Author of Mtac2: Typed Tactics for Backward Reasoning in Coq within the Research Papers-track
OCaml 2018 Author of The OCaml Software Foundation within the OCaml 2018-track
POPL 2017 Multimedia and Communication Chair in Organizing Committee