Gabriel Radanne

Registered user since Mon 8 Jun 2015

Name: Gabriel Radanne

Country: France

Affiliation: University of Freiburg, Germany

Personal website: https://www.irif.fr/~gradanne/

Research interests: Programming languages, Type system, Functional programming

Contributions

PEPM 2021Committee Member in Program Committee within the PEPM 2021-track
ML 2020Author 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 2020Author of The final pieces of the OCaml documentation puzzle within the OCaml 2020-track
ProWeb20Committee Member in Program Committee within the ProWeb 2020-track
ICFP 2020Author of Kindly Bent to Free Us within the Research Papers-track
POPL 2020Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
PEPM 2019Author of Typed Parsing and Unparsing for Untyped Regular Expression Engines within the PEPM 2019-track
SPLASH 2019Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
OCaml 2018Author 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 2018Author of Regenerate: A Language Generator for Extended Regular Expressions within the GPCE 2018-track
SPLASH 2018Committee Member in Artifact Evaluation Committee within the Artifacts-track
Committee Member in Artifact Evaluation Committee within the Artifacts-track
ML 2017Author of Tierless modules within the ML 2017-track
OCaml 2017Author of Tyre – Typed Regular Expressions within the OCaml 2017-track
PLDI 2015Author of Synthesis of ranking functions using extremal counterexamples within the Research Papers-track