# Arthur Charguéraud

According to our database

Collaborative distances:

^{1}, Arthur Charguéraud authored at least 31 papers between 2008 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepages:

#### On csauthors.net:

## Bibliography

2020

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

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

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

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

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

CoRR, 2017

A Space and Bandwidth Efficient Multicore Algorithm for the Particle-in-Cell Method.

Proceedings of the Parallel Processing and Applied Mathematics, 2017

Proceedings of the Programming Languages and Systems, 2017

2016

Oracle-guided scheduling for controlling granularity in implicitly parallel languages.

J. Funct. Program., 2016

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, 2016

2015

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

Proceedings of the Proceedings ML Family/OCaml Users and Developers workshops, 2014

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Proceedings of the Algorithms - ESA 2014, 2014

2013

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Proceedings of the Programming Languages and Systems, 2013

2012

J. Autom. Reason., 2012

2011

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2008

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

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008