conf.researchr.org / Gabriel Scherer
Gabriel Scherer

Registered user since Mon 23 Mar 2015

Name: Gabriel Scherer

Country: France

Affiliation: INRIA Saclay

Personal website: http://gallium.inria.fr/~scherer/

Contributions

PLMW 2021Co-chair in Organizing Committee within the PLMW 2021-track
ML 2020Author of Translation validation of a pattern-matching compiler within the ML 2020-track
Author of Quantified Applicatives – API design for type-inference constraints within the ML 2020-track
POPL 2021Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track
ICFP 2021Artifact Evaluation Co-Chair in Organizing Committee
ML 2019Author of A right-to-left type system for value recursion within the ML 2019-track
Session Chair of Session 4 (part of ML 2019)
PriSC 2019Committee Member in Program Committee within the PriSC 2019-track
POPL 2019Committee Member in Program Committee within the Research Papers-track
ML 2018Committee Member in Program Committee within the ML 2018-track
OCaml 2018Committee Member in Program Committee within the OCaml 2018-track
Session Chair of Session 4 (part of OCaml 2018)
HOPE 2018Author of Functional programming with MLTS within the HOPE 2018-track
Author of A preview of a tutorial on L (polarized μμ̃) within the HOPE 2018-track
ICFP 2018ML Workshop Chair in Organizing Committee
Author of Capturing the Future by Replaying the Past (Functional Pearl) within the Research Papers-track
Committee Member in Selection Committee within the Student Research Competition-track
Author of Merlin: A Language Server for OCaml (Experience Report) within the Research Papers-track
ML 2017Committee Member in Program Committee within the ML 2017-track
PLMW 2017Author of Not How To Do Your PhD within the PLMW 2017-track
OCaml 2017Author of Opening within the OCaml 2017-track
Committee Member in Program Committee within the OCaml 2017-track
Chair in Organizing Committee within the OCaml 2017-track
SCM 2017Presenter of Full Abstraction for Language Design (Short talk) within the SCM-track
ICFP 2017Session Chair of Foundations of Higher-Order Programming (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
POPL 2018Author of Correctness of Speculative Optimizations with Dynamic Deoptimization within the Research Papers-track
ML 2016Author of Ambiguous pattern variables within the ML-track
OCaml 2016Committee Member in Program Committee within the OCaml-track
POPL 2017Author of Deciding equivalence with sums and the empty type within the POPL-track
ICFP 2016Student Volunteer Co-Chair in Organizing Committee
ESOP 2015Author of Full reduction in the face of absurdity within the ESOP-track

Blog Posts