• Sign in
  • Sign up
conf.researchr.org / Yann Régis-Gianas
  • ETAPS 2019 profile
  • ICFP 2018 profile
  • ICFP 2022 profile
  • PLDI 2019 profile
  • POPL 2017 profile
  • POPL 2020 profile
  • POPL 2022 profile
  • SPLASH 2018 profile
  • SPLASH 2019 profile
  • SPLASH 2020 profile
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

Share
xFri 24 Mar 01:57
using conf.researchr.org (v1.59.1)
Support page
Sign Up