Program verification Alexandre Moine, Arthur Charguéraud, François Pottier POPL: Symposium on Principles of Programming Languages, September 2022 Alexandre Moine, Arthur Charguéraud, François Pottier CPP: Certified Programs and Proofs, January 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 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) Armaël Guéneau, Arthur Charguéraud, and François Pottier ESOP: European Symposium on Programming, April 2018 Arthur Charguéraud and François Pottier JAR: Journal of Automated Reasoning, September 2017 Arthur Charguéraud and François Pottier ESOP: European Symposium on Programming, April 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 Arthur Charguéraud, Begatim Bytyqi, Damien Rouhling, Yann Barsamian Submitted, 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 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, Adrien Guatto, Mike Rainey, and Filip Sieczkowski PLDI: Programming Language Design and Implementation, June 2018 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, and Mike Rainey Report, September 2017 Umut A. Acar, Arthur Charguéraud, and Mike Rainey JFP: Journal of Functional Programming, December 2016 Umut A. Acar, Arthur Charguéraud, Mike Rainey, and Filip Sieczkowski ICFP: International Conference on Functional Programming, September 2016 Umut A. Acar, Arthur Chargueraud and 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 Submitted, September 2022 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 |