default search action
Frédéric Gava
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c35]Frédéric Gava, Victor Allombert, Julien Tesson:
A type system to avoid runtime errors for Multi-ML. ISPDC 2022: 41-48 - [c34]Frédéric Gava, Léa Marziyeh Bayati:
A scalable algorithm for homomorphic computing on multi-core clusters. ISPDC 2022: 57-64 - 2020
- [j15]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): 626-651 (2020) - [j14]Victor Allombert, Frédéric Gava:
Programming bsp and multi-bsp algorithms in ml. J. Supercomput. 76(7): 5079-5097 (2020)
2010 – 2019
- 2019
- [j13]Yoann Marquer, Frédéric Gava:
Axiomatization and characterization of BSP algorithms. J. Log. Algebraic Methods Program. 109 (2019) - 2018
- [c33]Yoann Marquer, Frédéric Gava:
An Axiomatization for BSP Algorithms. ICA3PP (3) 2018: 72-88 - [c32]Victor Allombert, Frédéric Gava, Julien Tesson:
Toward Performance Prediction for Multi-BSP Programs in ML. ICA3PP (3) 2018: 159-174 - [c31]Victor Allombert, Frédéric Gava:
An ML Implementation of the MULTI-BSP Model. HPCS 2018: 500-507 - [c30]Yoann Marquer, Frédéric Gava:
Algorithmic Completeness for BSP Languages. HPCS 2018: 740-747 - [c29]Victor Allombert, Frédéric Gava, Julien Tesson:
A Formal Semantics of the MULTI-ML Language. ISPDC 2018: 180-187 - 2017
- [j12]Victor Allombert, Frédéric Gava, Julien Tesson:
Multi-ML: Programming Multi-BSP Algorithms in ML. Int. J. Parallel Program. 45(2): 340-361 (2017) - 2016
- [j11]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): 574-597 (2016) - 2015
- [c28]Jean Fortin, Frédéric Gava:
Towards Mechanised Semantics of HPC: The BSP with Subgroup Synchronisation Case. ICA3PP (Workshops and Symposiums) 2015: 222-237 - 2014
- [j10]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): 629-672 (2014) - 2013
- [c27]Frédéric Gava, Jean Fortin, Michaël Guedj:
Deductive Verification of State-Space Algorithms. IFM 2013: 124-138 - 2012
- [j9]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) - [c26]Frédéric Loulergue, Frédéric Gava, Nikolai Kosmatov, Matthieu Lemerre:
Towards verified cloud computing environments. HPCS 2012: 91-97 - [c25]Frédéric Gava, Michaël Guedj, Franck Pommereau:
A BSP Algorithm for On-the-fly Checking LTL Formulas on Security Protocols. ISPDC 2012: 11-18 - [c24]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: 26-33 - [c23]Frédéric Gava, Michaël Guedj, Franck Pommereau:
A BSP Algorithm for On-the-Fly Checking CTL* Formulas on Security Protocols. PDCAT 2012: 79-84 - [c22]Frédéric Gava, Arthur Hidalgo, Jean Fortin:
Mechanised Verification of Distributed State-Space Algorithms for Security Protocols. PDCAT 2012: 311-316 - [c21]Frédéric Gava, Michaël Guedj, Franck Pommereau:
Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols. PDP 2012: 170-174 - 2011
- [j8]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): 251-273 (2011) - 2010
- [j7]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): 486-490 (2010) - [c20]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: 191-196 - [c19]Sovanna Tan, Frédéric Gava:
Modular implementation of dense matrix operations in a high-level BSP language. HPCS 2010: 643-649 - [c18]Jean Fortin, Frédéric Gava:
From BSP routines to high-performance ones: Formal verification of a transformation case. ICCS 2010: 155-164 - [c17]Anne Benoit, Frédéric Gava:
Practical aspects of high-level parallel programming PAPP 2010. ICCS 2010: 2053-2054
2000 – 2009
- 2009
- [c16]Frédéric Gava, Ilias Garnier:
New implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons. IPDPS 2009: 1-8 - [c15]Frédéric Gava, Jean Fortin:
Two Formal Semantics of a Subset of the Paderborn University BSPlib. PDP 2009: 44-51 - 2008
- [j6]Frédéric Gava:
A Modular Implementation of Data Structures in Bulk-Synchronous Parallel ML. Parallel Process. Lett. 18(1): 39-53 (2008) - [c14]Frédéric Gava:
BSP Functional Programming: Examples of a Cost Based Methodology. ICCS (1) 2008: 375-385 - [c13]Frédéric Gava, Jean Fortin:
Formal Semantics of a Subset of the Paderborn's BSPlib. PDCAT 2008: 269-276 - 2007
- [c12]Frédéric Gava:
Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML. International Conference on Computational Science (1) 2007: 611-619 - 2006
- [j5]Frédéric Gava:
Une bibliothèque certifiée de programmes fonctionnels BSP. Tech. Sci. Informatiques 25(10): 1261-1280 (2006) - [c11]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: 475-486 - 2005
- [b1]Frédéric Gava:
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). Paris 12 Val de Marne University, Créteil, France, 2005 - [j4]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): 665-671 (2005) - [j3]Frédéric Gava, Frédéric Loulergue:
A Functional Language for Departmental Metacomputing. Parallel Process. Lett. 15(3): 289-304 (2005) - [j2]Frédéric Gava:
External Memory in Bulk-Synchronous Parallel ML. Scalable Comput. Pract. Exp. 6(4) (2005) - [c10]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: 1046-1054 - 2004
- [c9]Frédéric Gava:
Design of Departmental Metacomputing ML. International Conference on Computational Science 2004: 50-53 - [c8]Frédéric Gava:
Parallel I/O in Bulk-Synchronous Parallel ML. International Conference on Computational Science 2004: 331-338 - 2003
- [j1]Frédéric Gava:
Formal Proofs of Functional BSP Programs. Parallel Process. Lett. 13(3): 365-376 (2003) - [c7]Frédéric Gava, Frédéric Loulergue:
A Parallel Virtual Machine for Bulk Synchronous Parallel ML. International Conference on Computational Science 2003: 155-164 - [c6]Frédéric Gava, Frédéric Loulergue:
Synthèse de types pour Bulk Synchronous Parallel ML. JFLA 2003: 153-168 - [c5]Frédéric Gava, Frédéric Loulergue:
A Polymorphic Type System for Bulk Synchronous Parallel ML. PaCT 2003: 215-229 - [c4]Frédéric Gava, Frédéric Loulergue:
Semantics of a Functional BSP Language with Imperative Features. PARCO 2003: 95-102 - [c3]Myrto Arapinis, Frédéric Loulergue, Frédéric Gava, Frédéric Dabrowski:
Semantics of Minimally Synchronous Parallel ML. SNPD 2003: 260-267 - [c2]Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski:
A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML. SNPD 2003: 293-300 - [c1]Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski:
Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML. SNPD 2003: 301-308
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint