Academic Publications
Research Papers
Explore our complete collection of research papers and academic contributions in computer science
All Publications
Search and filter through our research papers in formal verification, programming languages, and software engineering
Showing 62 of 62 papers
2025
Clément Allain, Frédéric Bour, Basile Clément, François Pottier, Gabriel Scherer(ACM)
2025
Louis Gesbert(JFLA 2025)
2025
Dorian Lesbre, Matthieu Lemerre, Hichem Rami Ait-El-Hara, François Bobot(PLDI 2025)
2025
Hichem Rami Ait-El-Hara, Guillaume Bury, Basile Clément, Pierre Villemot(SMT 2025)
2025
Léo Andrès, Filipe Marques, Arthur Carcano, Pierre Chambart, José Fragoso Santos, Jean-Christophe Filliatre(<Programming> 2025)
2024
Hichem Rami Ait-El-Hara, François Bobot, Guillaume Bury(SMT 2024)
2024
Hichem Rami Ait-El-Hara, François Bobot, Guillaume Bury(LPAR 2024)
2024
João Madeira Pereira, Filipe Marques, Pedro Adão, Hichem Rami Ait-El-Hara, Léo Andrès, Arthur Carcano, Pierre Chambart, Nuno Santos, José Fragoso Santos
2024
Milla Valnet, Nathanaëlle Courant, Guillaume Bury, Pierre Chambart, Vincent Laviron
2024
Samuel Vivien, Didier Rémy(ICFP'2024 OCaml Workshop)
2023
Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat(SAC 2023)
2023
Louis Gesbert, Denis Merigoux(ICFP'2023 OCaml Workshop)
2023
Pierre Chambart, Vincent Laviron, Mark Shinwell(ICFP'2023 OCaml Workshop)
2023
Vincent Laviron, Pierre Chambart, Mark Shinwell(ICFP'2023 OCaml Workshop)
2023
Léo Andrès, Pierre Chambart, Eric Patrizio, Dario Pinto(ICFP'2023 OCaml Workshop)
2023
Nicolas Berthier, Narges Khakpour(VMCAI 2023)
2022
Hichem Rami Ait-El-Hara, Guillaume Bury, Steven de Oliveira(JFLA 2022)
2022
Léo Andrès, Raja Boujbel, Louis Gesbert, Dario Pinto(JFLA'2022)
2022
David Allsopp, Raja Boujbel, Kate Deplaix, Louis Gesbert(ICFP'2022 OCaml Workshop)
2022
Basile Clément, Albert Cohen(OOPSLA 2022)
2021
Digodoc and Docs
Mohamed Hernouf, Fabrice Le Fessant, Thomas Blanc, Louis Gesbert(ICFP'2021 OCaml Workshop)
2021
`opam-bin`: Binary Packages With opam
Fabrice Le Fessant(ICFP'2021 OCaml Workshop)
2021
Steven de Oliveira, David Declerck(ICFP'2021 OCaml Workshop)
2020
Sylvain Conchon, David Declerck, Fatiha Zaïdi(Journal of Automated Reasoning)
2019
Guillaume Burel, Guillaume Bury, Raphaël Cauderlier, David Delahaye, Pierre Halmagrand, Olivier Hermant(Journal of Automated Reasoning)
2019
François Bobot, Stéphane Graham-Lengrand, Bruno Marre, Guillaume Bury(SMTP 2018)
2019
Guillaume Bury, Simon Cruanes, David Delahaye, Pierre-Louis Euvrard(ABZ 2018)
2019
Sylvain Conchon, David Declerck, Fatiha Zaïdi(IJCAR 2018)
2019
Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Albert Cohen, Jean Souyris, Philippe Baufreton, Amaury Graillat(ACM TACO 2019)
2019
Keryan Didier, Albert Cohen, Dumitru Potop-Butucaru, Adrien Gauffriau(ACSD 2019)
2017
Tezos: the OCaml Crypto-Ledger
Benjamin Canou, Grégoire Henry, Pierre Chambart, Fabrice Le Fessant, Arthur Breitman(ICFP'2017 OCaml Workshop)
2017
Benjamin Canou, Roberto Di Cosmo, Grégoire Henry(ICFP 2017)
2016
Louis Gesbert, on behalf of the OCaml Platform team(ICFP'2016 OCaml Workshop)
2016
Fabrice Le Fessant(ICFP'2016 OCaml Workshop)
2016
Learn OCaml: An Online Learning Center for OCaml
Benjamin Canou, Grégoire Henry, Çagdas Bozman, Fabrice Le Fessant(ICFP'2016 OCaml Workshop)
2016
ocp-lint, A Plugin-based Style-Checker with Semantic Patches
Çagdas Bozman, Théophane Hufschmitt, Michael Laporte, Fabrice Le Fessant(ICFP'2016 OCaml Workshop)
2016
Hannes Mehnert, Louis Gesbert(ICFP'2016 OCaml Workshop)
2015
Thomas Blanc, Pierre Chambart, Michel Mauny, Fabrice Le Fessant(ICFP'2015 OCaml Workshop)
2015
Operf: Benchmarking the OCaml Compiler
Pierre Chambart, Fabrice Le Fessant, Vincent Bernardoff(ICFP'2015 OCaml Workshop)
2015
Towards A Debugger for Native-Code OCaml
Fabrice Le Fessant, Pierre Chambart(ICFP'2015 OCaml Workshop)
2015
Raja Boujbel
2015
Jean-Paul Arcangeli, Raja Boujbel, Sébastien Leriche(Journal of Systems and Software - vol 103)
2014
A Case for Multi-Switch Constraints in OPAM
Fabrice Le Fessant(ICFP'2014 OCaml Workshop)
2014
A Proposal for Non-Intrusive Namespaces in OCaml
Pierrick Couderc, Fabrice Le Fessant, Benjamin Canou, Pierre Chambart(ICFP'2014 OCaml Workshop)
2014
Using Preferences to Tame your Package Manager
Roberto Di Cosmo, Pietro Abate, Stefano Zacchiroli, Fabrice Le Fessant, Louis Gesbert(ICFP'2014 OCaml Workshop)
2014
Raja Boujbel, Sam Rottenberg, Sébastien Leriche, Chantal Taconet, Jean-Paul Arcangeli, Claire Lecocq(COMPSAC 2014)
2013
Profiling the Memory Usage of OCaml Applications Without Changing Their Behavior
Çagdas Bozman, Michel Mauny, Fabrice Le Fessant, Thomas Gazagnaire(ICFP'2013 OCaml Workshop)
2013
The design of the wxOCaml library
Fabrice Le Fessant(ICFP'2013 OCaml Workshop)
2012
OCamlPro: Promoting OCaml Use in Industry
Fabrice Le Fessant(ICFP'2012 OCaml Workshop)
2012
Study of OCaml Programs' memory behavior
Çagdas Bozman, Thomas Gazagnaire, Fabrice Le Fessant, Michel Mauny(ICFP'2012 OCaml Workshop)
2012
Frédéric Tuong, Fabrice Le Fessant, Thomas Gazagnaire(ICFP'2012 OCaml Workshop)
2011
Fabrice Le Fessant(JFLA'2011)