Gabriel Scherer

Registered user since Mon 23 Mar 2015

Name:Gabriel Scherer
Country:France
Affiliation:INRIA Saclay

Contributions

ML 2021 Author of Unfolding ML datatype declarations without loops within the ML 2021-track
Author of Frozen inference constraints for type-directed disambiguation within the ML 2021-track
PLMW 2021 Co-chair in Organizing Committee within the PLMW 2021-track
Session Chair of Session 2 (part of PLMW 2021)
ML 2020 Author 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 2021 Author of A Practical Mode System for Recursive Definitions within the POPL-track
Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track
ICFP 2021 Artifact Evaluation Co-Chair in Organizing Committee
ML 2019 Author 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 2019 Committee Member in Program Committee within the PriSC 2019-track
POPL 2019 Committee Member in Program Committee within the Research Papers-track
ML 2018 Committee Member in Program Committee within the ML 2018-track
OCaml 2018 Committee Member in Program Committee within the OCaml 2018-track
Session Chair of Session 4 (part of OCaml 2018)
HOPE 2018 Author 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 2018 ML 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 2017 Committee Member in Program Committee within the ML 2017-track
PLMW 2017 Author of Not How To Do Your PhD within the PLMW 2017-track
OCaml 2017 Author 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 2017 Presenter of Full Abstraction for Language Design (Short talk) within the SCM-track
ICFP 2017 Session Chair of Foundations of Higher-Order Programming (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
POPL 2018 Author of Correctness of Speculative Optimizations with Dynamic Deoptimization within the Research Papers-track
ML 2016 Author of Ambiguous pattern variables within the ML-track
OCaml 2016 Committee Member in Program Committee within the OCaml-track
POPL 2017 Author of Deciding equivalence with sums and the empty type within the POPL-track
ICFP 2016 Student Volunteer Co-Chair in Organizing Committee
ESOP 2015 Author of Full reduction in the face of absurdity within the ESOP-track

Blog Posts