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

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