| 2022 | ISPDC | A type system to avoid runtime errors for Multi-ML. | Frdric Gava, Victor Allombert, Julien Tesson |
| 2022 | ISPDC | A scalable algorithm for homomorphic computing on multi-core clusters. | Frdric Gava, La Marziyeh Bayati |
| 2018 | ICA3PP | Toward Performance Prediction for Multi-BSP Programs in ML. | Victor Allombert, Frdric Gava, Julien Tesson |
| 2018 | ICA3PP | An Axiomatization for BSP Algorithms. | Yoann Marquer, Frdric Gava |
| 2018 | ISPDC | A Formal Semantics of the MULTI-ML Language. | Victor Allombert, Frdric Gava, Julien Tesson |
| 2015 | ICA3PP | Towards Mechanised Semantics of HPC: The BSP with Subgroup Synchronisation Case. | Jean Fortin, Frdric Gava |
| 2013 | IFM | Deductive Verification of State-Space Algorithms. | Frdric Gava, Jean Fortin, Michal Guedj |
| 2012 | ISPDC | A BSP Algorithm for On-the-fly Checking LTL Formulas on Security Protocols. | Frdric Gava, Michal Guedj, Franck Pommereau |
| 2012 | ISPDC | Implementation of Data-Parallel Skeletons: A Case Study Using a Coarse-Grained Hierarchical Model. | Chong Li, Frdric Gava, Gatan Hains |
| 2012 | PDCAT | A BSP Algorithm for On-the-Fly Checking CTL* Formulas on Security Protocols. | Frdric Gava, Michal Guedj, Franck Pommereau |
| 2012 | PDCAT | Mechanised Verification of Distributed State-Space Algorithms for Security Protocols. | Frdric Gava, Arthur Hidalgo, Jean Fortin |
| 2012 | PDP | Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols. | Frdric Gava, Michal Guedj, Franck Pommereau |
| 2009 | PDP | Two Formal Semantics of a Subset of the Paderborn University BSPlib. | Frdric Gava, Jean Fortin |
| 2008 | ICCS | BSP Functional Programming: Examples of a Cost Based Methodology. | Frdric Gava |
| 2008 | PDCAT | Formal Semantics of a Subset of the Paderborn's BSPlib. | Frdric Gava, Jean Fortin |
| 2007 | ICCS | Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML. | Frdric Gava |
| 2006 | CSR | Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition. | Frdric Loulergue, Radia Benheddi, Frdric Gava, D. Louis-Rgis |
| 2005 | ICCS | Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction. | Frdric Loulergue, Frdric Gava, David Billiet |
| 2004 | ICCS | Design of Departmental Metacomputing ML. | Frdric Gava |
| 2004 | ICCS | Parallel I/O in Bulk-Synchronous Parallel ML. | Frdric Gava |
| 2003 | ICCS | A Parallel Virtual Machine for Bulk Synchronous Parallel ML. | Frdric Gava, Frdric Loulergue |
| 2003 | PACT | A Polymorphic Type System for Bulk Synchronous Parallel ML. | Frdric Gava, Frdric Loulergue |
| 2003 | SNPD | Semantics of Minimally Synchronous Parallel ML. | Myrto Arapinis, Frdric Loulergue, Frdric Gava, Frdric Dabrowski |
| 2003 | SNPD | A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML. | Frdric Gava, Frdric Loulergue, Frdric Dabrowski |
| 2003 | SNPD | Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML. | Frdric Gava, Frdric Loulergue, Frdric Dabrowski |