Arthur Charguéraud -

Registered user since Thu 11 Jun 2015

Name:Arthur Charguéraud

Country:France

Affiliation:Inria; Université de Strasbourg; CNRS; ICube

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

Contributions

2024

ICFP

PC Member in ICFP Papers and Events within the ICFP Papers-track

CoqPL

Committee Member in Program Committee within the CoqPL 2024-track

CPP

2023

ARRAY

Author of OptiTrust: an Interactive Optimization Framework within the ARRAY 2023-track

POPL

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

2022

CPP

Author of Specification and Verification of a Transient Stack within the CPP 2022-track

2020

ICFP

Author of Separation Logic for Sequential Programs (Functional Pearl) within the ICFP Program-track

ML

Author of Verification of OCaml programs using CFML within the ML 2020-track

POPL

Committee Member in Program Committee within the Research Papers-track

2019

SPLASH

Committee Member in Review Committee within the OOPSLA-track

Principles and Practice of Parallel Programming

Author of Provably and Practically Efficient Granularity Control within the Main Conference-track

2018

ICFP

Author of MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic within the Research Papers-track

PLDI

Author of Heartbeat Scheduling: Provable Efficiency for Nested Parallelism within the PLDI Research Papers-track

2017

ML

2016

ICFP

ML

Committee Member in Program Committee within the ML-track

CoqPL

CPP

Author of Higher-order Representation Predicates in Separation Logic within the CPP-track

2011

SPLASH

Author of Oracle Scheduling: Controlling Granularity in Implicitly Parallel Languages within the OOPSLA-track