Arthur Charguéraud

According to our database1, Arthur Charguéraud authored at least 31 papers between 2008 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
Separation logic for sequential programs (functional pearl).
Proc. ACM Program. Lang., 2020

2019
Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits.
J. Autom. Reason., 2019

Provably and practically efficient granularity control.
Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

Formal Proof and Analysis of an Incremental Cycle Detection Algorithm.
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

GOSPEL - Providing OCaml with a Formal Specification Language.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018
MoSeL: a general, extensible modal framework for interactive proofs in separation logic.
Proc. ACM Program. Lang., 2018

JSExplain: A Double Debugger for JavaScript.
Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

Performance challenges in modular parallel programs.
Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

Heartbeat scheduling: provable efficiency for nested parallelism.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Efficient Strict-Binning Particle-in-Cell Algorithm for Multi-core SIMD Processors.
Proceedings of the Euro-Par 2018: Parallel Processing, 2018

A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification.
Proceedings of the Programming Languages and Systems, 2018

2017
Parallel Work Inflation, Memory Effects, and their Empirical Analysis.
CoRR, 2017

A Space and Bandwidth Efficient Multicore Algorithm for the Particle-in-Cell Method.
Proceedings of the Parallel Processing and Applied Mathematics, 2017

Temporary Read-Only Permissions for Separation Logic.
Proceedings of the Programming Languages and Systems, 2017

2016
Oracle-guided scheduling for controlling granularity in implicitly parallel languages.
J. Funct. Program., 2016

Dag-calculus: a calculus for parallel computation.
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Higher-order representation predicates in separation logic.
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016

2015
A work-efficient algorithm for parallel unordered depth-first search.
Proceedings of the International Conference for High Performance Computing, 2015

Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation.
Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

2014
Improving Type Error Messages in OCaml.
Proceedings of the Proceedings ML Family/OCaml Users and Developers workshops, 2014

A trusted mechanised JavaScript specification.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Theory and Practice of Chunked Sequences.
Proceedings of the Algorithms - ESA 2014, 2014

2013
Scheduling parallel programs by work stealing with private deques.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Pretty-Big-Step Semantics.
Proceedings of the Programming Languages and Systems, 2013

2012
The Locally Nameless Representation.
J. Autom. Reason., 2012

2011
Oracle scheduling: controlling granularity in implicitly parallel languages.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Characteristic formulae for the verification of imperative programs.
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010
The Optimal Fixed Point Combinator.
Proceedings of the Interactive Theorem Proving, First International Conference, 2010

Program verification through characteristic formulae.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2008
Engineering formal metatheory.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Functional translation of a calculus of capabilities.
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008


  Loading...