Gabriel Radanne

Registered user since Mon 8 Jun 2015

Name:Gabriel Radanne
Country:France
Affiliation:Inria
Research interests:Programming languages, Type system, Functional programming

Contributions

ML 2021 Author of Isomorphisms are back! (short talk) within the ML 2021-track
OCaml 2021 Author of Wibbily Wobbly Timey Camly within the OCaml 2021-track
GPCE 2021 Author of Compiling pattern matching to in-place modifications within the GPCE-track
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