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 PhD thesis, December 2010 Arthur Charguéraud Report, March 2009 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 Arthur Charguéraud Report, March 2009 |