Gabriel Scherer: Talks

(Last page update: Spring 2023.)

- Storable types: free, absorbing, custom
- - - JFLA 2025, Roiffé, France
    - January 30th, 2025
- Pattern-matching with mutable state: danger!
- - - ML Workshop 2024, Milano, Italy
    - September 6th, 2024
  - extended abstract
- Correct tout seul, sûr à plusieurs
- - - JFLA 2024, Saint-Jacut-de-la-mer, France
    - January 30th, 2024
- Constructor unboxing --- or, how cpp decides a halting problem
- - - POPL 2024, London, UK
    - January 19th, 2024
- Backtracking reference stores
- - - JFLA 2023, Praz-sur-Arly, France
    - February 1st, 2023
- Focusing on program representations
- - - Proof, Computation, Meaning online workshop
    - Septher 28th, 2022
- Reducing shapes: an OCaml use-case for strong call-by-need reduction
- - - ML Family Workshop 2022, Ljubljana
    - September 18h, 2022
- Evolving OCaml
- - - Zaragoza 2022 summer school on Functional Programming; Day of the Camel
    - September 9th, 2022
- Applied Research in Programming Languages Theory
- - - GT Scalp, Fontainebleau, France
    - November 5th, 2021
- Open Access in Programming Languages Research
- - - Seminário Lógicos em Quarentena, Brazilian Logic Society, online
    - October 21st, 2021
- Normalization by realizability
- - - PPS Seminar (IRIF), online
    - April 29th, 2021
- Programming Languages Research meet new architectures (short talk)
- - - 3rd RISC-V meeting
    - March 30th, 2021
- Quantified Applicatives
- - - IFIP WG 2.8 (Functional Programming)
    - February 25th, 2021
- The Object-Oriented/Functional-Programming symmetry: theory and practice
- - - BOB, Berlin, Germany
    - February 28th, 2020
- Clarifying pattern-matching compilation (in OCaml)
- - - Lexifi, Boulogne, France
    - October 9th, 2019
- A right-to-left type system for mutually-recursive value definitions
- - - ML Workshop 2019, Berlin, Germany
    - August 22nd, 2019
- Programming research: a missed opportunity for secure and libre software?
- - - Pass the Salt, Lille, France
    - July 3rd, 2019
- A right-to-left type system for mutually-recursive value definitions
- - - IFIP WG 2.8, Bordeaux, France
    - May 23rd, 2019
- Balance in programming research
- - - INRIA evaluation seminar, Rungis, France
    - March 21st, 2019
- A preview of a tutorial on polarised L calculi.
- - - Higher-Order Programming with Effects (HOPE), ICFP, Saint Louis, USA
    - September 23rd, 2018
- Functional programming with λ−tree syntax
- - - Higher-Order Programming with Effects (HOPE), ICFP, Saint Louis, USA
    - September 23rd, 2018
- Asking questions to yourself and others
- - - Logic Mentoring Workshop (LMW), FLoC, Oxford, UK
    - July 7th, 2018
- Repeat until you get all Successes / Tout réussir en répétant beaucoup
- - - Séminaire VALS, Saclay
    - May 4th, 2018
  - - Galinette, Nantes
    - May 15th, 2018
- Proof theory for type systems
- - - EUTypes 2018 Working meeting, Nijmegen, Netherlands
    - January 22nd, 2018.
- Search For Program Structure (general talk about programming language research given to an audience of researchers of other fields)
- - - INRIA Saclay, France
    - December 20th, 2017.
- Full abstraction for multi-language systems,
  ML plus linear types (long talk)
- - - King's College London, UK
    - November 22nd, 2017.
  - - Microsoft Research, Cambridge, UK
    - October 30th, 2017.
  - - PRL Seminar, Northeastern University, Boston
    - May 5th, 2017.
  - - Rencontres Chocola, ENS Lyon
    - Feburary 9th, 2017.
  - - Séminaire Gallium, INRIA Paris
    - Feburary 6th, 2017.
  - - Séminaire VALS, Saclay
    - January 13th, 2017.
- Correctness of Speculative Optimizations with Dynamic Deoptimization (long talk)
- - - SRG Seminar, University of Cambridge, UK
    - November 2nd, 2017
  - - Tufts University
    - July 18th, 2017
    - (original title: Speculative optimization without fear)
- Correctness of Speculative Optimizations with Dynamic Deoptimization (short talk)
- - - Journées LTP-LAMHA, Paris 6, France
    - October 11th, 2017
- Not how to do your PhD
- - - PLMW (ICFP)
    - September 3rd, 2017
- Search for Program Structure
- - - SNAPL
    - May 8th, 2017.
- Canonical typed representations – and synthesis?
- - - Computer Assisted Programming Group, MIT, Boston
    - March 1st, 2017.
- Deciding equivalence with sums and the empty type (short talk)
- - - POPL 2017, Paris
    - January 19th, 2017
- Full abstraction for multi-language systems,
  ML plus linear types (very short talk)
- - - Secure Compilation Meeting (SCM) 2017, Paris
    - January 15th, 2017.
- Deciding pure program equivalence with sums and the empty type (long talk)
- - - Séminaire LDP, Luminy
    - January 26th, 2017.
  - - Princeton University
    - December 14th, 2016.
  - - PRL Seminar, Northeastern University, Boston
    - December 7th, 2016.
- Ambiguous pattern variables (short talk)
- - - ML Workshop 2016, Nara
    - September 22nd, 2016.
- Full abstraction for multi-language systems,
  ML plus linear types (short talk)
- - - Secure Compilation Meeting, Paris
    - August 18th, 2016.
- Focusing for code inference, a tutorial (short talk)
- - - NEPLS Summer 2016, Ahmerst
    - May 31st, 2016.
- New language ideas for user-defined side-effects: algebraic effect handlers. (Madoko source)
- - - PRL Seminar, Northastern University, Boston
    - May 18th, 2016.
- Which types have a unique inhabitant?
  Focusing on pure program equivalence (thesis defense)
- - - INRIA Paris
    - March 30th, 2016.
- Focusing and abstract machine calculi, (blackboard talk)
- - - Schloss Dagstuhl
    - March 17th, 2016
- Multi-focusing the λ-calculus
- - - Rencontres Chocola, ENS Lyon
    - November 5th, 2015.
- Simply-typed βη-equivalence with sums and 0
- - - Journées Lac/Geocal, Nancy
    - October 14th, 2015.
- Which simple types have a unique inhabitant? (short talk)
- - - ICFP 2015, Vancouver
    - September 1st, 2015.
- Polarised intermediate representations of λ-calculus with sums
- - - LICS 2015, Kyoto
    - July 6th, 2015.
- Multi-Focusing on Extensional Rewriting with Sums (introduction)
- - - TLCA 2015, Warsaw
    - July 2nd, 2015.
- Consistent Coercion Calculi, and
  Full reduction in the face of absurdity (long talk)
- - - PRL Seminar, Northeastern University, Boston
    - June 9th, 2015.
- Some new things since 4.02.1
- - - OCaml Paris User Group
    - June 3rd, 2015.
- Full reduction in the face of absurdity (short talk)
- - - ESOP 2015, London
    - April 16th, 2015.
- Which simple types have a unique inhabitant? (long talk)
- - - Northeastern University, Boston
    - June 11th, 2015.
  - - Laboratoire PPS, Paris
    - April 2nd, 2015.
  - - Séminaire Gallium, INRIA Rocquencourt
    - March 30th, 2015.
  - - Séminaire Parsifal, INRIA Saclay
    - March 27th, 2015.
- Normalization by realizability also evaluates
- - - JFLA 2015, Val d'Ajol
    - January 9th, 2015.
- On some recent evolutions of OCaml
- - - Open World Forum, functional programming meetup, Paris
    - October 30th, 2014.
- Full reduction in the face of absurdity (medium talk)
- - - Journées du GDR LTP, Saclay
    - October 27th, 2014.
- Some new things in 4.02
- - - OCaml Paris User Group
    - May 22nd, 2014.
- Deciding unique inhabitants with sums
  (work in progress)
- - - TYPES, Paris
    - May 14th, 2014
- Multi-Focusing on Extensional Rewriting with Sums (long talk)
- - - Séminaire Gallium, INRIA Rocquencourt
    - March 14th, 2014
- PhD, Research, and Programming Languages
- - - Epitech, Vitry
    - November 2013.
- Open Closure Types
- - - Séminaire Gallium, INRIA Rocquencourt
    - October 2013.
- Mining opportunities for unique inhabitants in dependent programs
- - - Dependently Typed Programming (DTP) Workshop, Vancouver
    - September 24th, 2013
- Batteries Experiences
- - - OCaml Paris User Group
    - July 2nd, 2013.
- Working with Grumpy Camels
- - - OCaml Paris User Group
    - May 21st, 2013.
- GADTs meet subtyping
- - - ESOP 2013, Rome
    - March 2013
- On the Relevance of Programming Language Theory
- - - Epitech
    - February 16th, 2013
  - - Junior Seminar, INRIA Rocquencourt
    - September 18th, 2012
- GADTs meet subtyping
- - - FLINT group, Yale University, New Haven
    - January 2013
  - - ML Workshop 2012, Copenhagen
    - September 13th, 2012.
- Variance of GADT parameters; a pragmatic work in progress (blackboard talk)
- - - Strathclyde, Glasgow
    - April 19th, 2012.