François Pottier

Registered user since Fri 17 Feb 2017

Name:François Pottier
Country:France
Affiliation:Inria, France
Research interests:programming languages, functional programming, type systems, program verification

Contributions

ICFP 2022 Inria, France in Steering Committee
POPL 2022 Committee Member in Program Committee within the POPL-track
Author of A Separation Logic for Heap Space under Garbage Collection within the POPL-track
SLE 2021 Author of Faster Reachability Analysis for LR(1) Parsers within the SLE-track
FPE 2020 Committee Member in Program Committee within the FPE 2020-track
POPL 2021 Author of A Separation Logic for Effect Handlers within the POPL-track
ICFP 2021 Committee Member in Steering Committee
ICFP 2020 Author in Steering Committee
Author of Cosmo: A Concurrent Separation Logic for Multicore OCaml within the ICFP Program-track
POPL 2020 Author of Spy Game: Verifying a Local Generic Solver in Iris within the Research Papers-track
ESOP 2019 Author of Time Credits and Time Receipts in Iris within the ESOP 2019-track
HOPE 2018 Co-chair in Organizing Committee within the HOPE 2018-track
ICFP 2019 Author of Program Chair's Report within the Keynotes and Reports-track
Program Chair in Program Committee within the Research Papers-track
Session Chair of Wednesday Keynote (part of Keynotes and Reports)
Program Chair in Organizing Committee
Session Chair of Tuesday Keynote (part of Keynotes and Reports)
ICFP'19 Program Chair in Steering Committee
ICFP 2018 Hope Co-chair in Organizing Committee
Committee Member in Program Committee within the Research Papers-track
ICFP'19 Program Chair in Steering Committee
ML 2017 Author of VOCAL -- a verified OCAml Library within the ML 2017-track
HOPE 2017 Co-chair in Organizing Committee within the HOPE 2017-track
Co-chair of Welcome within the HOPE 2017-track
ICFP 2017 Author of Visitors Unchained within the Research Papers-track
CPP 2017 Author of Verifying a hash table and its iterators in higher-order separation logic within the CPP-track
CC 2017 Committee Member in Program Committee within the Research Papers-track
HOPE 2016 Committee Member in Program Committee within the HOPE-track
ICFP 2016 Committee Member in External Review Committee within the Research Papers-track