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

ICFP 2022	Committee Member in Program Committee within the ICFP Papers-track
‹Programming› 2022	Author of Debootstrapping without archeology: Stacked implementations in Camlboot within the Research Papers-track
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

Sometimes people behave badly Mon 4 Sep 2017