Frédéric Gava

ORCID

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 12

Top Venues

Int. J. Parallel Program.

ISPDC

HPCS

ICA3PP (3)

Paris 12 Val de Marne University, Créteil, France (PHD)

Education History

Paris 12 Val de Marne University, Créteil, France

PHD

Publications

Frédéric Gava, Léa Marziyeh Bayati
A scalable algorithm for homomorphic computing on multi-core clusters. ISPDC (2022)
Frédéric Gava, Victor Allombert, Julien Tesson
A type system to avoid runtime errors for Multi-ML. ISPDC (2022)
Victor Allombert, Frédéric Gava
Programming bsp and multi-bsp algorithms in ml. J. Supercomput. 76 (7) (2020)
Frédéric Gava, Yoann Marquer
Axiomatization and Imperative Characterization of Multi-BSP Algorithms: A Q&A on a Partial Solution. Int. J. Parallel Program. 48 (4) (2020)
Yoann Marquer, Frédéric Gava
Axiomatization and characterization of BSP algorithms. J. Log. Algebraic Methods Program. 109 (2019)
Yoann Marquer, Frédéric Gava
An Axiomatization for BSP Algorithms. ICA3PP (3) (2018)
Victor Allombert, Frédéric Gava, Julien Tesson
Toward Performance Prediction for Multi-BSP Programs in ML. ICA3PP (3) (2018)
Victor Allombert, Frédéric Gava
An ML Implementation of the MULTI-BSP Model. HPCS (2018)
Victor Allombert, Frédéric Gava, Julien Tesson
A Formal Semantics of the MULTI-ML Language. ISPDC (2018)
Yoann Marquer, Frédéric Gava
Algorithmic Completeness for BSP Languages. HPCS (2018)
Victor Allombert, Frédéric Gava, Julien Tesson
Multi-ML: Programming Multi-BSP Algorithms in ML. Int. J. Parallel Program. 45 (2) (2017)
Jean Fortin, Frédéric Gava
BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation. Int. J. Parallel Program. 44 (3) (2016)
Jean Fortin, Frédéric Gava
Towards Mechanised Semantics of HPC: The BSP with Subgroup Synchronisation Case. ICA3PP (Workshops and Symposiums) (2015)
Frédéric Gava, Franck Pommereau, Michaël Guedj
A BSP algorithm for on-the-fly checking CTL* formulas on security protocols. J. Supercomput. 69 (2) (2014)
Frédéric Gava, Jean Fortin, Michaël Guedj
Deductive Verification of State-Space Algorithms. IFM (2013)
Gaétan Hains, Frédéric Gava, Kevin Hammond
Guest Editors Note: High-Level Programming for Heterogeneous and Hierarchical Parallel Systems. Parallel Process. Lett. 22 (2) (2012)
Frédéric Gava, Michaël Guedj, Franck Pommereau
Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols. PDP (2012)
Frédéric Loulergue, Frédéric Gava, Nikolai Kosmatov, Matthieu Lemerre
Towards verified cloud computing environments. HPCS (2012)
Frédéric Gava, Arthur Hidalgo, Jean Fortin
Mechanised Verification of Distributed State-Space Algorithms for Security Protocols. PDCAT (2012)
Chong Li, Frédéric Gava, Gaétan Hains
Implementation of Data-Parallel Skeletons: A Case Study Using a Coarse-Grained Hierarchical Model. ISPDC (2012)
Frédéric Gava, Michaël Guedj, Franck Pommereau
A BSP Algorithm for On-the-Fly Checking CTL* Formulas on Security Protocols. PDCAT (2012)
Frédéric Gava, Michaël Guedj, Franck Pommereau
A BSP Algorithm for On-the-fly Checking LTL Formulas on Security Protocols. ISPDC (2012)
Ilias Garnier, Frédéric Gava
CPS implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons. Int. J. Parallel Emergent Distributed Syst. 26 (4) (2011)
Anne Benoit, Frédéric Gava
Practical aspects of high-level parallel programming PAPP 2010. ICCS (1) (2010)
Sovanna Tan, Frédéric Gava
Modular implementation of dense matrix operations in a high-level BSP language. HPCS (2010)
Jean Fortin, Frédéric Gava
From BSP routines to high-performance ones: Formal verification of a transformation case. ICCS (1) (2010)
Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
Bulk synchronous parallel ML with exceptions. Future Gener. Comput. Syst. 26 (3) (2010)
Wadoud Bousdira, Frédéric Gava, Louis Gesbert, Frédéric Loulergue, Guillaume Petiot
Functional Parallel Programming with Revised Bulk Synchronous Parallel ML. ICNC (2010)
Frédéric Gava, Ilias Garnier
New implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons. IPDPS (2009)
Frédéric Gava, Jean Fortin
Two Formal Semantics of a Subset of the Paderborn University BSPlib. PDP (2009)
Frédéric Gava, Jean Fortin
Formal Semantics of a Subset of the Paderborn's BSPlib. PDCAT (2008)
Frédéric Gava
A Modular Implementation of Data Structures in Bulk-Synchronous Parallel ML. Parallel Process. Lett. 18 (1) (2008)
Frédéric Gava
BSP Functional Programming: Examples of a Cost Based Methodology. ICCS (1) (2008)
Frédéric Gava
Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML. International Conference on Computational Science (1) (2007)
Frédéric Loulergue, Radia Benheddi, Frédéric Gava, D. Louis-Régis
Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition. CSR (2006)
Frédéric Gava
Une bibliothèque certifiée de programmes fonctionnels BSP. Tech. Sci. Informatiques 25 (10) (2006)
Frédéric Gava
External Memory in Bulk-Synchronous Parallel ML. Scalable Comput. Pract. Exp. 6 (4) (2005)
Frédéric Gava, Frédéric Loulergue
A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting. Future Gener. Comput. Syst. 21 (4) (2005)
Frédéric Gava, Frédéric Loulergue
A Functional Language for Departmental Metacomputing. Parallel Process. Lett. 15 (3) (2005)
Frédéric Loulergue, Frédéric Gava, David Billiet
Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction. International Conference on Computational Science (2) (2005)
Frédéric Gava
Parallel I/O in Bulk-Synchronous Parallel ML. International Conference on Computational Science (2004)
Frédéric Gava
Design of Departmental Metacomputing ML. International Conference on Computational Science (2004)
Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML. SNPD (2003)
Frédéric Gava, Frédéric Loulergue
Semantics of a Functional BSP Language with Imperative Features. PARCO (2003)
Frédéric Gava
Formal Proofs of Functional BSP Programs. Parallel Process. Lett. 13 (3) (2003)
Frédéric Gava, Frédéric Loulergue
A Parallel Virtual Machine for Bulk Synchronous Parallel ML. International Conference on Computational Science (2003)
Myrto Arapinis, Frédéric Loulergue, Frédéric Gava, Frédéric Dabrowski
Semantics of Minimally Synchronous Parallel ML. SNPD (2003)
Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML. SNPD (2003)
Frédéric Gava, Frédéric Loulergue
Synthèse de types pour Bulk Synchronous Parallel ML. JFLA (2003)
Frédéric Gava, Frédéric Loulergue
A Polymorphic Type System for Bulk Synchronous Parallel ML. PaCT (2003)

Frédéric Gava.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Frédéric Gava