Gabriel Radanne

Registered user since Mon 8 Jun 2015

Name: Gabriel Radanne

Country: France

Affiliation: Inria

Personal website: https://gabriel.radanne.net/

Research interests: Programming languages, Type system, Functional programming

Contributions

PEPM 2021 Committee Member in Program Committee within the PEPM 2021-track
CC 2021 Committee Member in Artifact Evaluation Committee within the CC Research Artifacts-track
ML 2020 Author of High-level error messages for modules through diffing within the ML 2020-track
Committee Member in Program Committee within the ML 2020-track
OCaml 2020 Author of The final pieces of the OCaml documentation puzzle within the OCaml 2020-track
ProWeb20 Committee Member in Program Committee within the ProWeb 2020-track
ICFP 2020 Author of Kindly Bent to Free Us within the ICFP Program-track
POPL 2020 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PEPM 2019 Author of Typed Parsing and Unparsing for Untyped Regular Expression Engines within the PEPM 2019-track
SPLASH 2019 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
OCaml 2018 Author of This PDF is an OCaml bytecode within the OCaml 2018-track
Author of Abusing Format for fun and profits within the OCaml 2018-track
GPCE 2018 Author of Regenerate: A Language Generator for Extended Regular Expressions within the GPCE 2018-track
SPLASH 2018 Committee Member in Artifact Evaluation Committee within the Artifacts-track
Committee Member in Artifact Evaluation Committee within the Artifacts-track
ML 2017 Author of Tierless modules within the ML 2017-track
OCaml 2017 Author of Tyre – Typed Regular Expressions within the OCaml 2017-track
PLDI 2015 Author of Synthesis of ranking functions using extremal counterexamples within the Research Papers-track