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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML. - Gava, Frédéric (2007)

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

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

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). - Gava, Frédéric (2005)

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

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

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

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

Design of Departmental Metacomputing ML. - Gava, Frédéric (2004)

Parallel I/O in Bulk-Synchronous Parallel ML. - Gava, Frédéric (2004)

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

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

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

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

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

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

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

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