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 2020Author in Steering Committee
ESOP 2019Author of Time Credits and Time Receipts in Iris within the ESOP 2019-track
HOPE 2018Co-chair in Organizing Committee within the HOPE 2018-track
ICFP 2019Author 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 2018Hope Co-chair in Organizing Committee
Committee Member in Program Committee within the Research Papers-track
ICFP'19 Program Chair in Steering Committee
ML 2017Author of VOCAL -- a verified OCAml Library within the ML 2017-track
HOPE 2017Co-chair in Organizing Committee within the HOPE 2017-track
Co-chair of Welcome within the HOPE 2017-track
ICFP 2017Author of Visitors Unchained within the Research Papers-track
CPP 2017Author of Verifying a hash table and its iterators in higher-order separation logic within the CPP-track
CC 2017Committee Member in Program Committee within the Research Papers-track
HOPE 2016Committee Member in Program Committee within the HOPE-track
ICFP 2016Committee Member in External Review Committee within the Research Papers-track