A Parallel Virtual Machine for Bulk Synchronous Parallel ML. - Frédéric Gava; Frédéric Loulergue (International Conference on Computational Science, 2003)

Synthèse de types pour Bulk Synchronous Parallel ML. - Frédéric Gava; Frédéric Loulergue (JFLA, 2003)

A Polymorphic Type System for Bulk Synchronous Parallel ML. - Frédéric Gava; Frédéric Loulergue (PaCT, 2003)

Semantics of a Functional BSP Language with Imperative Features. - Frédéric Gava; Frédéric Loulergue (PARCO, 2003)

Semantics of Minimally Synchronous Parallel ML. - Myrto Arapinis; Frédéric Loulergue; Frédéric Gava; Frédéric Dabrowski (SNPD, 2003)

A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML. - Frédéric Gava; Frédéric Loulergue; Frédéric Dabrowski (SNPD, 2003)

Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML. - Frédéric Gava; Frédéric Loulergue; Frédéric Dabrowski (SNPD, 2003)

Formal Proofs of Functional BSP Programs. - Frédéric Gava (Parallel Process. Lett., 2003)

Design of Departmental Metacomputing ML. - Frédéric Gava (International Conference on Computational Science, 2004)

Parallel I/O in Bulk-Synchronous Parallel ML. - Frédéric Gava (International Conference on Computational Science, 2004)

Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction. - Frédéric Loulergue; Frédéric Gava; David Billiet (International Conference on Computational Science (2), 2005)

A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting. - Frédéric Gava; Frédéric Loulergue (Future Gener. Comput. Syst., 2005)

A Functional Language for Departmental Metacomputing. - Frédéric Gava; Frédéric Loulergue (Parallel Process. Lett., 2005)

External Memory in Bulk-Synchronous Parallel ML. - Frédéric Gava (Scalable Comput. Pract. Exp., 2005)

Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs. Sémantiques, implantations et certification. (Functional approaches of parallel programming and méta-computers. Semantics, implementations and certification). - Frédéric Gava (2005)

Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition. - Frédéric Loulergue; Radia Benheddi; Frédéric Gava; D. Louis-Régis (CSR, 2006)

Une bibliothèque certifiée de programmes fonctionnels BSP. - Frédéric Gava (Tech. Sci. Informatiques, 2006)

Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML. - Frédéric Gava (International Conference on Computational Science (1), 2007)

BSP Functional Programming: Examples of a Cost Based Methodology. - Frédéric Gava (ICCS (1), 2008)

Formal Semantics of a Subset of the Paderborn's BSPlib. - Frédéric Gava; Jean Fortin (PDCAT, 2008)

A Modular Implementation of Data Structures in Bulk-Synchronous Parallel ML. - Frédéric Gava (Parallel Process. Lett., 2008)

New implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons. - Frédéric Gava; Ilias Garnier (IPDPS, 2009)

Two Formal Semantics of a Subset of the Paderborn University BSPlib. - Frédéric Gava; Jean Fortin (PDP, 2009)

Functional Parallel Programming with Revised Bulk Synchronous Parallel ML. - Wadoud Bousdira; Frédéric Gava; Louis Gesbert; Frédéric Loulergue; Guillaume Petiot (ICNC, 2010)

Modular implementation of dense matrix operations in a high-level BSP language. - Sovanna Tan; Frédéric Gava (HPCS, 2010)

Bulk synchronous parallel ML with exceptions. - Louis Gesbert; Frédéric Gava; Frédéric Loulergue; Frédéric Dabrowski (Future Gener. Comput. Syst., 2010)

Practical aspects of high-level parallel programming PAPP 2010. - Anne Benoit; Frédéric Gava (ICCS, 2010)

From BSP routines to high-performance ones: Formal verification of a transformation case. - Jean Fortin; Frédéric Gava (ICCS, 2010)

CPS implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons. - Ilias Garnier; Frédéric Gava (Int. J. Parallel Emergent Distributed Syst., 2011)

Towards verified cloud computing environments. - Frédéric Loulergue; Frédéric Gava; Nikolai Kosmatov; Matthieu Lemerre (HPCS, 2012)

A BSP Algorithm for On-the-fly Checking LTL Formulas on Security Protocols. - Frédéric Gava; Michaël Guedj; Franck Pommereau (ISPDC, 2012)

Implementation of Data-Parallel Skeletons: A Case Study Using a Coarse-Grained Hierarchical Model. - Chong Li 003; Frédéric Gava; Gaétan Hains (ISPDC, 2012)

Mechanised Verification of Distributed State-Space Algorithms for Security Protocols. - Frédéric Gava; Arthur Hidalgo; Jean Fortin (PDCAT, 2012)

Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols. - Frédéric Gava; Michaël Guedj; Franck Pommereau (PDP, 2012)

Guest Editors Note: High-Level Programming for Heterogeneous and Hierarchical Parallel Systems. - Gaétan Hains; Frédéric Gava; Kevin Hammond (Parallel Process. Lett., 2012)

Deductive Verification of State-Space Algorithms. - Frédéric Gava; Jean Fortin; Michaël Guedj (IFM, 2013)

A BSP algorithm for on-the-fly checking CTL* formulas on security protocols. - Frédéric Gava; Franck Pommereau; Michaël Guedj (J. Supercomput., 2014)

Towards Mechanised Semantics of HPC: The BSP with Subgroup Synchronisation Case. - Jean Fortin; Frédéric Gava (ICA3PP (Workshops and Symposiums), 2015)

BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation. - Jean Fortin; Frédéric Gava (Int. J. Parallel Program., 2016)

Multi-ML: Programming Multi-BSP Algorithms in ML. - Victor Allombert; Frédéric Gava; Julien Tesson (Int. J. Parallel Program., 2017)

Toward Performance Prediction for Multi-BSP Programs in ML. - Victor Allombert; Frédéric Gava; Julien Tesson (ICA3PP (3), 2018)

An Axiomatization for BSP Algorithms. - Yoann Marquer; Frédéric Gava (ICA3PP (3), 2018)

An ML Implementation of the MULTI-BSP Model. - Victor Allombert; Frédéric Gava (HPCS, 2018)

Algorithmic Completeness for BSP Languages. - Yoann Marquer; Frédéric Gava (HPCS, 2018)

A Formal Semantics of the MULTI-ML Language. - Victor Allombert; Frédéric Gava; Julien Tesson (ISPDC, 2018)

Axiomatization and characterization of BSP algorithms. - Yoann Marquer; Frédéric Gava (J. Log. Algebraic Methods Program., 2019)

Axiomatization and Imperative Characterization of Multi-BSP Algorithms: A Q&A on a Partial Solution. - Frédéric Gava; Yoann Marquer (Int. J. Parallel Program., 2020)

Programming bsp and multi-bsp algorithms in ml. - Victor Allombert; Frédéric Gava (J. Supercomput., 2020)

A type system to avoid runtime errors for Multi-ML. - Frédéric Gava; Victor Allombert; Julien Tesson (ISPDC, 2022)

A scalable algorithm for homomorphic computing on multi-core clusters. - Frédéric Gava; Léa Marziyeh Bayati (ISPDC, 2022)