Arthur Charguéraud

Available identifiers

Publication	Date of Publication	Type
Book review of: T. Nipkow (ed.), Functional data structures and algorithms. A proof assistant approach	2024-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q5875426	2023-02-03	Paper
A fistful of dollars: formalizing asymptotic complexity claims via deductive program verification	2019-09-13	Paper
Verifying the correctness and amortized complexity of a union-find implementation in separation logic with time credits	2019-03-20	Paper
Oracle-guided scheduling for controlling granularity in implicitly parallel languages	2017-10-23	Paper
Temporary Read-Only Permissions for Separation Logic	2017-05-19	Paper
Dag-calculus: a calculus for parallel computation	2017-05-10	Paper
Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation	2015-09-14	Paper
Functional translation of a calculus of capabilities	2015-03-16	Paper
Program verification through characteristic formulae	2015-03-05	Paper
Characteristic formulae for the verification of imperative programs	2015-03-05	Paper
Theory and Practice of Chunked Sequences	2014-10-08	Paper
Engineering formal metatheory	2014-09-12	Paper
A trusted mechanised JavaScript specification	2014-04-10	Paper
Pretty-Big-Step Semantics	2013-08-05	Paper
The locally nameless representation	2013-04-17	Paper
The Optimal Fixed Point Combinator	2010-09-14	Paper

This page was built for person: Arthur Charguéraud