François Pottier -

Registered user since Fri 17 Feb 2017

Name:François Pottier

Country:France

Affiliation:Inria, France

Personal website:http://gallium.inria.fr/~fpottier/

Research interests:programming languages, functional programming, type systems, program verification

Contributions

ICFP 2022	Steering Committee Member in Steering Committee
PLMW 2022	Panelist of Panel (live only, no recording) within the PLMW 2022-track Panelist in Panelists within the PLMW 2022-track
CPP 2022	Author of Specification and Verification of a Transient Stack within the CPP 2022-track
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