Frédéric Gava

According to our database, Frédéric Gava authored at least 50 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A scalable algorithm for homomorphic computing on multi-core clusters.

Frédéric Gava, Léa Marziyeh Bayati

Proceedings of the 21st International Symposium on Parallel and Distributed Computing, 2022

A type system to avoid runtime errors for Multi-ML.

Frédéric Gava, Victor Allombert, Julien Tesson

Proceedings of the 21st International Symposium on Parallel and Distributed Computing, 2022

2020

Programming bsp and multi-bsp algorithms in ml.

Victor Allombert, Frédéric Gava

J. Supercomput., 2020

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

2019

Axiomatization and characterization of BSP algorithms.

Yoann Marquer, Frédéric Gava

J. Log. Algebraic Methods Program., 2019

2018

A Formal Semantics of the MULTI-ML Language.

Victor Allombert, Frédéric Gava, Julien Tesson

Proceedings of the 17th International Symposium on Parallel and Distributed Computing, 2018

Algorithmic Completeness for BSP Languages.

Yoann Marquer, Frédéric Gava

Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

An ML Implementation of the MULTI-BSP Model.

Victor Allombert, Frédéric Gava

Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

An Axiomatization for BSP Algorithms.

Yoann Marquer, Frédéric Gava

Proceedings of the Algorithms and Architectures for Parallel Processing, 2018

Toward Performance Prediction for Multi-BSP Programs in ML.

Victor Allombert, Frédéric Gava, Julien Tesson

Proceedings of the Algorithms and Architectures for Parallel Processing, 2018

2017

Multi-ML: Programming Multi-BSP Algorithms in ML.

Victor Allombert, Frédéric Gava, Julien Tesson

Int. J. Parallel Program., 2017

2016

BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation.

Jean Fortin, Frédéric Gava

Int. J. Parallel Program., 2016

2015

Towards Mechanised Semantics of HPC: The BSP with Subgroup Synchronisation Case.

Jean Fortin, Frédéric Gava

Proceedings of the Algorithms and Architectures for Parallel Processing, 2015

2014

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

2013

Deductive Verification of State-Space Algorithms.

Frédéric Gava, Jean Fortin, Michaël Guedj

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

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

Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols.

Frédéric Gava, Michaël Guedj, Franck Pommereau

Proceedings of the 20th Euromicro International Conference on Parallel, 2012

Mechanised Verification of Distributed State-Space Algorithms for Security Protocols.

Frédéric Gava, Arthur Hidalgo, Jean Fortin

Proceedings of the 13th International Conference on Parallel and Distributed Computing, 2012

Implementation of Data-Parallel Skeletons: A Case Study Using a Coarse-Grained Hierarchical Model.

Chong Li, Frédéric Gava, Gaétan Hains

Proceedings of the 11th International Symposium on Parallel and Distributed Computing, 2012

A BSP Algorithm for On-the-fly Checking LTL Formulas on Security Protocols.

Frédéric Gava, Michaël Guedj, Franck Pommereau

Proceedings of the 11th International Symposium on Parallel and Distributed Computing, 2012

Towards verified cloud computing environments.

Frédéric Loulergue, Frédéric Gava, Nikolai Kosmatov, Matthieu Lemerre

Proceedings of the 2012 International Conference on High Performance Computing & Simulation, 2012

2011

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

2010

From BSP routines to high-performance ones: Formal verification of a transformation case.

Jean Fortin, Frédéric Gava

Proceedings of the International Conference on Computational Science, 2010

Practical aspects of high-level parallel programming PAPP 2010.

Anne Benoit, Frédéric Gava

Proceedings of the International Conference on Computational Science, 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

Modular implementation of dense matrix operations in a high-level BSP language.

Sovanna Tan, Frédéric Gava

Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010

Functional Parallel Programming with Revised Bulk Synchronous Parallel ML.

Wadoud Bousdira, Frédéric Gava, Louis Gesbert, Frédéric Loulergue, Guillaume Petiot

Proceedings of the First International Conference on Networking and Computing, 2010

2009

Two Formal Semantics of a Subset of the Paderborn University BSPlib.

Frédéric Gava, Jean Fortin

Proceedings of the 17th Euromicro International Conference on Parallel, 2009

New implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons.

Frédéric Gava, Ilias Garnier

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

2008

A Modular Implementation of Data Structures in Bulk-Synchronous Parallel ML.

Frédéric Gava

Parallel Process. Lett., 2008

Formal Semantics of a Subset of the Paderborn's BSPlib.

Frédéric Gava, Jean Fortin

Proceedings of the Ninth International Conference on Parallel and Distributed Computing, 2008

BSP Functional Programming: Examples of a Cost Based Methodology.

Frédéric Gava

Proceedings of the Computational Science, 2008

2007

Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML.

Frédéric Gava

Proceedings of the Computational Science, 2007

2006

Une bibliothèque certifiée de programmes fonctionnels BSP.

Frédéric Gava

Tech. Sci. Informatiques, 2006

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

Proceedings of the Computer Science, 2006

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

PhD thesis, 2005

External Memory in Bulk-Synchronous Parallel ML.

Frédéric Gava

Scalable Comput. Pract. Exp., 2005

A Functional Language for Departmental Metacomputing.

Frédéric Gava, Frédéric Loulergue

Parallel Process. Lett., 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

Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction.

Frédéric Loulergue, Frédéric Gava, David Billiet

Proceedings of the Computational Science, 2005

2004

Parallel I/O in Bulk-Synchronous Parallel ML.

Frédéric Gava

Proceedings of the Computational Science, 2004

Design of Departmental Metacomputing ML.

Frédéric Gava

Proceedings of the Computational Science, 2004

2003

Formal Proofs of Functional BSP Programs.

Frédéric Gava

Parallel Process. Lett., 2003

Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML.

Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski

Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML.

Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski

Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

Semantics of Minimally Synchronous Parallel ML.

Myrto Arapinis, Frédéric Loulergue, Frédéric Gava, Frédéric Dabrowski

Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

Semantics of a Functional BSP Language with Imperative Features.

Frédéric Gava, Frédéric Loulergue

Proceedings of the Parallel Computing: Software Technology, 2003

A Polymorphic Type System for Bulk Synchronous Parallel ML.

Frédéric Gava, Frédéric Loulergue

Proceedings of the Parallel Computing Technologies, 2003

Synthèse de types pour Bulk Synchronous Parallel ML.

Frédéric Gava, Frédéric Loulergue

Proceedings of the Journées francophones des langages applicatifs (JFLA'03), 2003

A Parallel Virtual Machine for Bulk Synchronous Parallel ML.

Frédéric Gava, Frédéric Loulergue

Proceedings of the Computational Science - ICCS 2003, 2003