| 2022 | ISPDC | A type system to avoid runtime errors for Multi-ML. | Frdric Gava, Victor Allombert, Julien Tesson |
| 2020 | FC | Albert, An Intermediate Smart-Contract Language for the Tezos Blockchain. | Bruno Bernardo, Raphal Cauderlier, Basile Pesin, Julien Tesson |
| 2020 | ISoLA | Making Tezos Smart Contracts More Reliable with Coq. | Bruno Bernardo, Raphal Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson |
| 2019 | FM | Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts. | Bruno Bernardo, Raphal Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson |
| 2018 | ICA3PP | Toward Performance Prediction for Multi-BSP Programs in ML. | Victor Allombert, Frdric Gava, Julien Tesson |
| 2018 | ISPDC | A Formal Semantics of the MULTI-ML Language. | Victor Allombert, Frdric Gava, Julien Tesson |
| 2018 | UIC | Interactive Bulk Synchronous Parallel Functional Programming in a Browser. | Julien Tesson, Frdric Loulergue |
| 2014 | ITP | A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction. | Kento Emoto, Frdric Loulergue, Julien Tesson |
| 2014 | SAC | Formal derivation and extraction of a parallel program for the all nearest smaller values problem. | Frdric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, Zhenjiang Hu |
| 2014 | SYNASC | Implementing Powerlists with Bulk Synchronous Parallel ML. | Frdric Loulergue, Virginia Niculescu, Julien Tesson |
| 2013 | EuroPar | Programming with BSP Homomorphisms. | Joeffrey Legaux, Zhenjiang Hu, Frdric Loulergue, Kiminori Matsuzaki, Julien Tesson |
| 2012 | ICA3PP | A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays. | Wadoud Bousdira, Frdric Loulergue, Julien Tesson |
| 2010 | PDCAT | Systematic Development of Correct Bulk Synchronous Parallel Programs. | Louis Gesbert, Zhenjiang Hu, Frdric Loulergue, Kiminori Matsuzaki, Julien Tesson |
| 2007 | PPAM | Formal Semantics of DRMA-Style Programming in BSPlib. | Julien Tesson, Frdric Loulergue |