Arthur Charguéraud

Registered user since Thu 11 Jun 2015

Name: Arthur Charguéraud

Country: France

Affiliation: Inria

Personal website: http://arthur.chargueraud.org

Contributions

ICFP 2018	Author of MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic within the Research Papers-track
ML 2017	Author of VOCAL -- a verified OCAml Library within the ML 2017-track Author of Efficient representation of large, dynamic sequences in ML within the ML 2017-track
PLDI 2018	Author of Heartbeat Scheduling: Provable Efficiency for Nested Parallelism within the PLDI Research Papers-track
ML 2016	Committee Member in Program Committee within the ML-track
ICFP 2016	Committee Member in External Review Committee within the Research Papers-track Author of Dag-Calculus: A Calculus for Parallel Computation within the Research Papers-track
CoqPL	Program Chair in Organizing Committee Program Chair in Program Committee within the CoqPL-track
CPP 2016	Author of Higher-order Representation Predicates in Separation Logic within the CPP-track