Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Arthur Charguéraud
conf.researchr.org general profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2020 profile
ICFP 2024 profile
PLDI 2018 profile
PLDI 2023 profile
PLDI 2024 profile
PLDI 2025 profile
POPL 2016 profile
POPL 2020 profile
POPL 2022 profile
POPL 2023 profile
POPL 2024 profile
PPoPP 2019 profile
SPLASH 2011 profile
SPLASH 2019 profile
Registered user since Thu 11 Jun 2015
Name:
Arthur Charguéraud
Country:
France
Affiliation:
Inria
Personal website:
http://arthur.chargueraud.org
Contributions
2025
PLDI
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
2024
ICFP
PC Member in ICFP Papers and Events within the ICFP Papers and Events-track
SOAP
Author of Interactive Source-to-Source Optimizations Validated using Static Resource Analysis within the SOAP 2024-track
CoqPL
Committee Member in Program Committee within the CoqPL 2024-track
CPP
PC Member in Program Committee within the CPP 2024-track
Session Chair of Verified Compilation (part of CPP 2024)
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
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
2016
ICFP
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
Committee Member in Program Committee within the ML-track
CoqPL
Program Chair in Organizing Committee
Program Chair in Program Committee within the CoqPL-track
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
Share
x
Fri 8 Nov 18:46