2019
Provably and Practically Efficient Granularity Control
Umut A. Acar, Vitaly Aksenov, Arthur Charguéraud, and Mike Rainey
PPOPP: Symposium on Principles and Practice of Parallel Programming, Febuary 2019
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
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, Alan Schmitt and Thomas Wood
Web Programming, April 2018
Armaël Guéneau, Arthur Charguéraud, and François Pottier
ESOP: European Symposium on Programming, April 2018
2017
Arthur Charguéraud and François Pottier
JAR: Journal of Automated Reasoning, September 2017
Yann Barsamian, Arthur Charguéraud, and Alain Ketterlin
PPAM: International Conference on Parallel Processing and Applied Mathematics, September 2017
Arthur Charguéraud and Mike Rainey
ML: ML Family Workshop, September 2017
Umut A. Acar, Arthur Charguéraud, and Mike Rainey
Report, September 2017
Arthur Charguéraud and François Pottier
ESOP: European Symposium on Programming, April 2017
2016
Umut A. Acar, Arthur Charguéraud, and Mike Rainey
JFP: Journal of Functional Programming, December 2016
Umut A. Acar, Arthur Chargueraud, Mike Rainey, and Filip Sieczkowski
ICFP: International Conference on Functional Programming, September 2016
Arthur Charguéraud
CPP: Certified Programs and Proofs, January 2016
2015
Umut A. Acar, Arthur Chargueraud and Mike Rainey
SC: ACM/IEEE Conference on High Performance Computing, November 2015
Arthur Charguéraud and François Pottier
ITP: International Conference on Interactive Theorem Proving, August 2015
Arthur Charguéraud
ETPCS: Post-proceedings of the ML/OCaml 2014 workshops, November 2015
2014
Umut A. Acar, Arthur Charguéraud, and Mike Rainey
Inria Technical Report, September 2014
Umut A. Acar, Arthur Charguéraud, and Mike Rainey
ESA: European Symposium on Algorithms, September 2014
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
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
PPOPP: Symposium on Principles and Practice of Parallel Programming, Febuary 2013
Arthur Charguéraud
ESOP: European Symposium on Programming, March 2013
2012
Arthur Charguéraud
Report, journal version of the ICFP'11 paper, October 2012
Umut A. Acar, Arthur Charguéraud, and Mike Rainey
DAMP: Workshop on Declarative Aspects and Applications of Multicore Programming, January 2012
2011
Umut A. Acar, Arthur Charguéraud, and Mike Rainey
OOPSLA, October 2011
Arthur Charguéraud
ICFP: International Conference on Functional Programming, September 2011
Arthur Charguéraud
JAR: Journal of Automated Reasoning, May 2011
2010
Arthur Charguéraud
ICFP: International Conference on Functional Programming, September 2010
Arthur Charguéraud
ITP: International Conference on Interactive Theorem Proving, July 2010
2009
2008
Arthur Charguéraud and François Pottier
ICFP: International Conference on Functional Programming, September 2008
Brian Aydemir, Arthur Charguéraud, Benjamin C. Pierce, Randy Pollack, and Stephanie Weirich
POPL: Symposium on Principles of Programming Languages, January 2008