Scherer Gabriel

Publications

Article dans une revue (9)

Zoo: A Framework for the Verification of Concurrent OCaml 5 Programs using Separation Logic Clément Allain,Gabriel Scherer Proceedings of the ACM on Programming Languages, 2026, 10 (POPL), pp.1702-1729. ⟨10.1145/3776701⟩ Article dans une revue hal-05467809v1
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-04884634v1
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-04887939v1
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-03912170v2
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-03917754v1
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-03125031v1
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-01929161v1
Correctness of Speculative Optimizations with Dynamic Deoptimization Olivier Flückiger,Gabriel Scherer,Ming-Ho Yee,Aviral Goel,Amal Ahmedet al. Proceedings of the ACM on Programming Languages, 2018, 2 (POPL), ⟨10.1145/3158137⟩ Article dans une revue hal-01646765v1
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-01929178v1

Communication dans un congrès (31)

On the design and implementation of Modular Explicits Samuel Vivien,Didier Rémy,Gabriel Scherer JFLA 2026 – 37es Journées Francophones des Langages Applicatifs, Marie Kerjean; Yannick Zakowski, Jan 2026, Oberbronn, France Communication dans un congrès hal-05428136v1
Omnidirectional type inference for ML Alistair O'Brien,Didier Rémy,Gabriel Scherer WITS 2026. 5th Workshop on the Implementation of Type Systems, Jan 2026, Rennes, France Communication dans un congrès hal-05438513v1
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-04859464v1
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-04406412v1
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-03936704v1
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-03510931v1
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-03947986v1
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-03910313v1
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-03146495v1
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-03145040v1
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-03145030v1
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-01929508v1
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-02368906v1
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-01929158v1
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-01992294v1
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-01682691v1
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-01646718v1
Deciding equivalence with sums and the empty type Gabriel Scherer POPL 2017, Jan 2017, Paris, France Communication dans un congrès hal-01646064v1
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-01413241v1
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-01160579v2
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-01099138v1
Multi-focusing on extensional rewriting with sums Gabriel Scherer Typed Lambda Calculi and Applications, Jun 2015, Warsaw, Poland Communication dans un congrès hal-01235372v1
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-01235596v1
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-01095390v1
Deciding unique inhabitants with sums (work in progress) Gabriel Scherer,Didier Rémy TYPES, May 2014, Paris, France Communication dans un congrès hal-01094127v1
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-01094006v1
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-00911656v1
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-00772993v2
GADTs Meet Subtyping Gabriel Scherer,Didier Rémy ACM SIGPLAN Workshop on ML, Sep 2012, Copenhagen, Denmark Communication dans un congrès hal-01093816v1
GADT meet subtyping Gabriel Scherer,Didier Rémy ACM SIGPLAN Workshop on ML, Aug 2012, Copenhague, Denmark Communication dans un congrès hal-01093940v1
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-00495977v1

Rapport (5)

Omnidirectional type inference for ML: principality any way Alistair O'Brien,Didier Rémy,Gabriel Scherer University of Cambridge, INRIA, IRIF, Université Paris Cité. 2025 Rapport hal-05438544v1
Constrained generation of well-typed program Gabriel Scherer Inria - Paris 7. 2024 Rapport (rapport de recherche) hal-04607309v1
Full reduction in the face of absurdity Gabriel Scherer,Didier Rémy [Research Report] INRIA. 2014 Rapport (rapport de recherche) hal-01093910v1
Tracking Data-Flow with Open Closure Types Gabriel Scherer,Jan Hoffmann [Research Report] RR-8345, INRIA. 2013, pp.24 Rapport (rapport de recherche) hal-00851658v1
GADT meet Subtyping Gabriel Scherer,Didier Rémy [Research Report] RR-8114, INRIA. 2012, pp.33 Rapport (rapport de recherche) hal-00744292v1

Pré-publication, Document de travail (2)

The free bifibration on a functor Bryce Clarke,Gabriel Scherer,Noam Zeilberger 2025 Pré-publication, Document de travail hal-05357986v2
2-or-more approximation for intuitionistic logic Gabriel Scherer 2014 Pré-publication, Document de travail hal-01094120v1

Thèse (1)

Which types have a unique inhabitant? Gabriel Scherer Programming Languages [cs.PL]. Université Paris-Diderot, 2016. English. ⟨NNT : ⟩ Thèse tel-01309712v2