Arthur Charguéraud

Registered user since Thu 11 Jun 2015

Name:Arthur Charguéraud
Country:France
Affiliation:Inria

Contributions

POPL 2023 Author of A High-Level Separation Logic for Heap Space under Garbage Collection within the POPL-track
Committee Member in Program Committee within the POPL-track
CPP 2022 Author of Specification and Verification of a Transient Stack within the CPP 2022-track
ICFP 2020 Author of Separation Logic for Sequential Programs (Functional Pearl) within the ICFP Program-track
ML 2020 Author of Verification of OCaml programs using CFML within the ML 2020-track
POPL 2020 Committee Member in Program Committee within the Research Papers-track
SPLASH 2019 Committee Member in Review Committee within the OOPSLA-track
PPoPP 2019 Author of Provably and Practically Efficient Granularity Control within the Main Conference-track
ICFP 2018 Author of MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic within the Research Papers-track
PLDI 2018 Author of Heartbeat Scheduling: Provable Efficiency for Nested Parallelism within the PLDI 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
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
ML 2016 Committee Member in Program Committee within the ML-track
CoqPL 2016 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
SPLASH 2011 Author of Oracle Scheduling: Controlling Granularity in Implicitly Parallel Languages within the OOPSLA-track