Scherer Gabriel

44
Documents

Publications

Publications

Image document

Tail Modulo Cons, OCaml, and Relational Separation Logic

Clément Allain , Frédéric Bour , Basile Clément , François Pottier , Gabriel Scherer
Proceedings of the ACM on Programming Languages, 2025, 9 (POPL), pp.2337-2363. ⟨10.1145/3704915⟩
Article dans une revue hal-04884634 v1
Image document

Snapshottable Stores

Clément Allain , Basile Clément , Alexandre Moine , Gabriel Scherer
Proceedings of the ACM on Programming Languages, 2024, 8 (ICFP), pp.338-369. ⟨10.1145/3674637⟩
Article dans une revue hal-04887939 v1
Image document

Coqlex: Generating Formally Verified Lexers

Wendlasida Ouedraogo , Lutz Strassburger , Gabriel Scherer
The Art, Science, and Engineering of Programming, 2023, 8 (1), ⟨10.22152/programming-journal.org/2024/8/3⟩
Article dans une revue hal-03912170 v2
Image document

Debootstrapping without Archeology

Nathanaëlle Courant , Julien Lepiller , Gabriel Scherer
The Art, Science, and Engineering of Programming, 2022, 6 (3), ⟨10.22152/programming-journal.org/2022/6/13⟩
Article dans une revue hal-03917754 v1
Image document

A practical mode system for recursive definitions

Alban Reynaud , Gabriel Scherer , Jeremy Yallop
Proceedings of the ACM on Programming Languages, 2021, 5 (POPL), pp.1-29. ⟨10.1145/3434326⟩
Article dans une revue hal-03125031 v1
Image document

Capturing the Future by Replaying the Past Functional Pearl

James Koppel , Gabriel Scherer , Armando Solar-Lezama
Proceedings of the ACM on Programming Languages, 2018, 2 (ICFP), pp.1 - 29. ⟨10.1145/3236771⟩
Article dans une revue hal-01929178 v1
Image document

Merlin: a language server for OCaml (experience report)

Frédéric Bour , Thomas Réfis , Gabriel Scherer
Proceedings of the ACM on Programming Languages, 2018, 2 (ICFP), pp.1 - 15. ⟨10.1145/3236798⟩
Article dans une revue hal-01929161 v1
Image document

Correctness of Speculative Optimizations with Dynamic Deoptimization

Olivier Flückiger , Gabriel Scherer , Ming-Ho Yee , Aviral Goel , Amal Ahmed et al.
Proceedings of the ACM on Programming Languages, 2018, 2 (POPL), ⟨10.1145/3158137⟩
Article dans une revue hal-01646765 v1
Image document

Storable types: free, absorbing, custom

Basile Clément , Camille Noûs , Gabriel Scherer
36es Journées Francophones des Langages Applicatifs (JFLA 2025), Jan 2025, Roiffé, France
Communication dans un congrès hal-04859464 v1
Image document

Correct tout seul, sûr à plusieurs

Clément Allain , Gabriel Scherer
35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France
Communication dans un congrès hal-04406412 v1
Image document

Backtracking reference stores

Camille Noûs , Gabriel Scherer
JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.190-210
Communication dans un congrès hal-03936704 v1
Image document

Boxroot, fast movable GC roots for a better FFI

Guillaume Munch-Maccagnoni , Gabriel Scherer
ML Family Workshop, Benoît Montagu, Sep 2022, Ljubljana, Slovenia
Communication dans un congrès hal-03910313 v1
Image document

An OCaml use case for strong call-by-need reduction

Gabriel Scherer , Nathanaëlle Courant
ACM SIGPLAN Workshop on ML 2022 - ML Family Workshop, Benoit Montagu, Sep 2022, Ljubljana, Slovenia
Communication dans un congrès hal-03947986 v1
Image document

Déboîter les constructeurs

Nicolas Chataing , Camille Noûs , Gabriel Scherer
Journées Francophones des Langages Applicatifs, Feb 2022, Saint-Médard-d'Excideuil, France
Communication dans un congrès hal-03510931 v1
Image document

Tail Modulo Cons

Frédéric Bour , Basile Clément , Gabriel Scherer
JFLA 2021 - Journées Francophones des Langages Applicatifs, Apr 2021, Saint Médard d’Excideuil, France
Communication dans un congrès hal-03146495 v1
Image document

Quantified Applicatives: API design for type-inference constraints

Olivier Martinot , Gabriel Scherer
ML Family Workshop, Aug 2020, Jersey City / Online, United States
Communication dans un congrès hal-03145040 v1
Image document

Translation validation of a pattern-matching compiler

Francesco Mecca , Gabriel Scherer
ML Family Workshop, Aug 2020, New Jersey /Online, United States
Communication dans un congrès hal-03145030 v1
Image document

Unboxing Mutually Recursive Type Definitions in OCaml

Simon Colin , Rodolphe Lepigre , Gabriel Scherer
JFLA 2019 - 30 èmes journées francophones des langages applicatifs, Jan 2019, Les Rousses, France
Communication dans un congrès hal-01929508 v1
Image document

Functional programming with $λ$-tree syntax

Ulysse Gérard , Dale Miller , Gabriel Scherer
PPDP 2019 - 21st International Symposium on Principles and Practice of Programming Languages, Oct 2019, Porto, Portugal. pp.1-16, ⟨10.1145/3354166.3354177⟩
Communication dans un congrès hal-02368906 v1
Image document

FabULous Interoperability for ML and a Linear Language

Gabriel Scherer , Max New , Nick Rioux , Amal Ahmed
International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Apr 2018, Thessaloniki, Greece. ⟨10.1007/978-3-319-89366-2_8⟩
Communication dans un congrès hal-01929158 v1

A preview of a tutorial on L (polarized μμ-tilde)

Kenji Maillard , Étienne Miquey , Xavier Montillet , Guillaume Munch-Maccagnoni , Gabriel Scherer
HOPE 2018 - 7th ACM SIGPLAN Workshop on Higher-Order Programming with Effects, Sep 2018, St. Louis, United States
Communication dans un congrès hal-01992294 v1
Image document

Génération aléatoire de programmes guidée par la vivacité

Gergö Barany , Gabriel Scherer
JFLA 2018 - Journées Francophones des Langages Applicatifs, Jan 2018, Banyuls-sur-Mer, France
Communication dans un congrès hal-01682691 v1
Image document

Search for Program Structure

Gabriel Scherer
2nd Summit on Advances in Programming Languages (SNAPL 2017), Jan 2017, Asilomar, United States
Communication dans un congrès hal-01646718 v1
Image document

Deciding equivalence with sums and the empty type

Gabriel Scherer
POPL 2017, Jan 2017, Paris, France
Communication dans un congrès hal-01646064 v1
Image document

Ambiguous pattern variables

Gabriel Scherer , Luc Maranget , Thomas Réfis
OCaml 2016: The OCaml Users and Developers Workshop, Sep 2016, Nara, Japan. pp.2
Communication dans un congrès hal-01413241 v1

Full reduction in the face of absurdity

Gabriel Scherer , Didier Rémy
ESOP'2015: European Conference on Programming Languages and Systems, Apr 2015, London, United Kingdom
Communication dans un congrès hal-01095390 v1
Image document

Multi-focusing on extensional rewriting with sums

Gabriel Scherer
Typed Lambda Calculi and Applications, Jun 2015, Warsaw, Poland
Communication dans un congrès hal-01235372 v1
Image document

Normalization by realizability also evaluates

Pierre-Évariste Dagand , Gabriel Scherer
Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
Communication dans un congrès hal-01099138 v1
Image document

Polarised Intermediate Representation of Lambda Calculus with Sums

Guillaume Munch-Maccagnoni , Gabriel Scherer
Thirtieth Annual ACM/IEEE Symposium on Logic In Computer Science (LICS 2015), Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.22⟩
Communication dans un congrès hal-01160579 v2
Image document

Which simple types have a unique inhabitant?

Gabriel Scherer , Didier Rémy
The 20th ACM SIGPLAN International Conference on Functional Programming (ICFP 2015), Aug 2015, Vancouver, Canada
Communication dans un congrès hal-01235596 v1
Image document

Deciding unique inhabitants with sums (work in progress)

Gabriel Scherer , Didier Rémy
TYPES, May 2014, Paris, France
Communication dans un congrès hal-01094127 v1
Image document

Well-typed generic smart-fuzzing for APIs

Thomas Braibant , Jonathan Protzenko , Gabriel Scherer
ML'14 - ACM SIGPLAN ML Family Workshop, Aug 2014, Göteborg, Sweden
Communication dans un congrès hal-01094006 v1
Image document

GADTs meet subtyping

Gabriel Scherer , Didier Rémy
ESOP 2013 - 22nd European Symposium on Programming, Mar 2013, Rome, Italy. pp.554-573, ⟨10.1007/978-3-642-37036-6⟩
Communication dans un congrès hal-00772993 v2
Image document

Tracking Data-Flow with Open Closure Types

Gabriel Scherer , Jan Hoffmann
LPAR 2013 - 19th International Conference Logic for Programming, Artificial Intelligence, and Reasoning, Dec 2013, Stellenbosch, South Africa. pp.710-726
Communication dans un congrès hal-00911656 v1
Image document

GADTs Meet Subtyping

Gabriel Scherer , Didier Rémy
ACM SIGPLAN Workshop on ML, Sep 2012, Copenhagen, Denmark
Communication dans un congrès hal-01093816 v1
Image document

GADT meet subtyping

Gabriel Scherer , Didier Rémy
ACM SIGPLAN Workshop on ML, Aug 2012, Copenhague, Denmark
Communication dans un congrès hal-01093940 v1

Macaque : Interrogation sûre et flexible de base de données depuis OCaml

Gabriel Scherer , Jérôme Vouillon
Ving et unième journées francophones des langages applicatifs, Jan 2010, La Ciotat, France
Communication dans un congrès hal-00495977 v1
Image document

Constrained generation of well-typed program

Gabriel Scherer
Inria - Paris 7. 2024
Rapport (rapport de recherche) hal-04607309 v1
Image document

Full reduction in the face of absurdity

Gabriel Scherer , Didier Rémy
[Research Report] INRIA. 2014
Rapport (rapport de recherche) hal-01093910 v1
Image document

Tracking Data-Flow with Open Closure Types

Gabriel Scherer , Jan Hoffmann
[Research Report] RR-8345, INRIA. 2013, pp.24
Rapport (rapport de recherche) hal-00851658 v1
Image document

GADT meet Subtyping

Gabriel Scherer , Didier Rémy
[Research Report] RR-8114, INRIA. 2012, pp.33
Rapport (rapport de recherche) hal-00744292 v1
Image document

Which types have a unique inhabitant?

Gabriel Scherer
Programming Languages [cs.PL]. Université Paris-Diderot, 2016. English. ⟨NNT : ⟩
Thèse tel-01309712 v2