Sort publications: by venue, by date, by topic.
Program verification
Arthur Charguéraud
Habilitation manuscript, March 2023
Arthur Charguéraud
SF: Volume 6 of the Software Foundations series — Reference book, all in Coq, Dec 2023
Alexandre Moine, Arthur Charguéraud, François Pottier
CPP: Certified Programs and Proofs, January 2022
Alexandre Moine, Arthur Charguéraud, François Pottier
POPL: Symposium on Principles of Programming Languages, September 2022
Arthur Charguéraud
SF: Volume 6 of the Software Foundations series — Reference book, all in Coq, May 2021
Arthur Charguéraud
ICFP: International Conference on Functional Programming, August 2020
Published in the journal Proceedings of the ACM on Programming Languages (PACMPL)
Armaël Guéneau, Jacques-Henri Jourdan, Arthur Charguéraud, and François Pottier
ITP: International Conference on Interactive Theorem Proving, September 2019
Arthur Charguéraud, Jean-Christophe Filliâtre, Cláudio Lourenço, and Mário Pereira
FM: World Congress on Formal Methods, October 2019
Armaël Guéneau, Arthur Charguéraud, and François Pottier
ESOP: European Symposium on Programming, April 2018
Robbert Krebbers, Jacques-Henri Jourdan, Ralf Jung, Joseph Tassarotti, Jan-Oliver Kaiser, Amin Timany, Arthur Charguéraud, and Derek Dreyer
ICFP: International Conference on Functional Programming, September 2018
Published in the journal Proceedings of the ACM on Programming Languages (PACMPL)
Arthur Charguéraud and François Pottier
ESOP: European Symposium on Programming, April 2017
Arthur Charguéraud and François Pottier
JAR: Journal of Automated Reasoning, September 2017
Arthur Charguéraud
CPP: Certified Programs and Proofs, January 2016
Arthur Charguéraud and François Pottier
ITP: International Conference on Interactive Theorem Proving, August 2015
Arthur Charguéraud
Report, journal version of the ICFP'11 paper, October 2012
Arthur Charguéraud
ICFP: International Conference on Functional Programming, September 2011
Arthur Charguéraud
ICFP: International Conference on Functional Programming, September 2010
Arthur Charguéraud and François Pottier
ICFP: International Conference on Functional Programming, September 2008
Multicore programming
Guillaume Bertholon, Arthur Charguéraud, Thomas Koehler
JFLA: Workshop "Journées Francophones des Langages Applicatifs", January 2024
Guillaume Bertholon, Arthur Charguéraud
JFLA: Workshop "Journées Francophones des Langages Applicatifs", January 2023
Thomas Koehler, Arthur Charguéraud, Begatim Bytyqi, Damien Rouhling, Yann Barsamian
ARRAY: Workshop on Libraries, Languages and Compilers for Array Programming, June 2023
Arthur Charguéraud, Begatim Bytyqi, Damien Rouhling, Yann Barsamian
Report, September 2022
Language abstractions and scheduling techniques for efficient execution of parallel algorithms on multicore hardware
Arthur Charguéraud
Blog post, May 2020
Umut A. Acar, Vitaly Aksenov, Arthur Charguéraud, and Mike Rainey
PPoPP: Symposium on Principles and Practice of Parallel Programming, Febuary 2019
Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, and Filip Sieczkowski
PLDI: Programming Language Design and Implementation, June 2018
Yann Barsamian, Arthur Charguéraud, Sever A. Hirstoaga, and Michel Mehrenberger
Euro-Par: International European Conference on Parallel and Distributed Computing, August 2018
Umut A. Acar, Arthur Charguéraud, and Mike Rainey
Report, September 2017
Arthur Charguéraud and Mike Rainey
ML: ML Family Workshop, September 2017
Yann Barsamian, Arthur Charguéraud, and Alain Ketterlin
PPAM: International Conference on Parallel Processing and Applied Mathematics, September 2017
Umut A. Acar, Arthur Charguéraud, Mike Rainey, and Filip Sieczkowski
ICFP: International Conference on Functional Programming, September 2016
Umut A. Acar, Arthur Charguéraud, and Mike Rainey
JFP: Journal of Functional Programming, December 2016
Umut A. Acar, Arthur Charguéraud, Mike Rainey
SC: ACM/IEEE Conference for High Performance Computing, Networking, Storage and Analysis, November 2015
Umut A. Acar, Arthur Charguéraud, and Mike Rainey
ESA: European Symposium on Algorithms, September 2014
Umut A. Acar, Arthur Charguéraud, and Mike Rainey
Inria Technical Report, September 2014
Umut A. Acar, Arthur Charguéraud, and Mike Rainey
PPoPP: Symposium on Principles and Practice of Parallel Programming, Febuary 2013
Umut A. Acar, Arthur Charguéraud, Stefan Muller and Mike Rainey
Inria Technical Report, September 2013
Umut A. Acar, Arthur Charguéraud, and Mike Rainey
DAMP: Workshop on Declarative Aspects and Applications of Multicore Programming, January 2012
Umut A. Acar, Arthur Charguéraud, and Mike Rainey
OOPSLA, October 2011
Formal semantics
Arthur Charguéraud, Adam Chlipala, Andres Erbsen, Samuel Gruetter
TOPLAS: ACM Transactions on Programming Languages and Systems, March 2023
Arthur Charguéraud, Alan Schmitt and Thomas Wood
Web Programming, April 2018
Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt and Gareth Smith
POPL: Symposium on Principles of Programming Languages, January 2014
Arthur Charguéraud
ESOP: European Symposium on Programming, March 2013
Arthur Charguéraud
JAR: Journal of Automated Reasoning, May 2011
Brian Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, and Stephanie Weirich
POPL: Symposium on Principles of Programming Languages, January 2008
Coq libraries
Arthur Charguéraud
ITP: International Conference on Interactive Theorem Proving, July 2010