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

2022

ICFP

Committee Member in Program Committee within the ICFP Papers and Events-track

ML

Committee Member in Program Committee within the ML-track

PEPM

Committee Member in Program Committee within the PEPM 2022-track

2020

SLE

Committee Member in Program Committee within the SLE-track

CPP

Author of FreeSpec: Specifying, Verifying and Executing Impure Computations in Coq within the CPP 2020-track

2019

SLE

Committee Member in Program Committee within the SLE 2019-track

DeepSpec

Presenter of Implementation and Verification of Modular Effectful Systems in Coq using FreeSpec within the DeepSpec 2019-track

ESOP

Author of Incremental λ-Calculus in Cache-Transfer Style, Static Memoization by Program Transformation within the ESOP 2019-track

2018

SLE

Author of Morbig: A Static Parser for POSIX Shell within the SLE 2018-track

ICFP

Author of Mtac2: Typed Tactics for Backward Reasoning in Coq within the Research Papers-track

OCaml

Author of The OCaml Software Foundation within the OCaml 2018-track

2017

POPL

Multimedia and Communication Chair in Organizing Committee