Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Frédéric Gava
2010 – today
- 2013
[c23]Frédéric Gava, Jean Fortin, Michaël Guedj: Deductive Verification of State-Space Algorithms. IFM 2013: 124-138- 2012
- [j11]Gaétan Hains, Frédéric Gava, Kevin Hammond: Guest Editors Note: High-Level Programming for Heterogeneous and Hierarchical Parallel Systems. Parallel Processing Letters 22(2) (2012)
- [c22]Frédéric Loulergue, Frédéric Gava, Nikolai Kosmatov, Matthieu Lemerre: Towards verified cloud computing environments. HPCS 2012: 91-97
- [c21]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
- [c20]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
- [c19]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
- [j10]Ilias Garnier, Frédéric Gava: CPS implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons. IJPEDS 26(4): 251-273 (2011)
- 2010
- [j9]Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski: Bulk synchronous parallel ML with exceptions. Future Generation Comp. Syst. 26(3): 486-490 (2010)
- [j8]Jean Fortin, Frédéric Gava: From BSP routines to high-performance ones: Formal verification of a transformation case. Procedia CS 1(1): 155-164 (2010)
- [j7]Anne Benoit, Frédéric Gava: Practical aspects of high-level parallel programming PAPP 2010. Procedia CS 1(1): 2053-2054 (2010)
- [c18]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
- [c17]Sovanna Tan, Frédéric Gava: Modular implementation of dense matrix operations in a high-level BSP language. HPCS 2010: 643-649
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 Processing Letters 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. Technique et Science 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
- [j4]Frédéric Gava, Frédéric Loulergue: A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting. Future Generation Comp. Syst. 21(4): 665-671 (2005)
- [j3]Frédéric Gava, Frédéric Loulergue: A Functional Language for Departmental Metacomputing. Parallel Processing Letters 15(3): 289-304 (2005)
- [j2]Frédéric Gava: External Memory in Bulk-Synchronous Parallel ML. Scalable Computing: Practice and Experience 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 Processing Letters 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-23 22:15 CEST by the dblp team