| 2008 |
|---|
| 19 | EE | Frédéric Gava:
BSP Functional Programming: Examples of a Cost Based Methodology.
ICCS (1) 2008: 375-385 |
| 18 | EE | Frédéric Gava,
Jean Fortin:
Formal Semantics of a Subset of the Paderborn's BSPlib.
PDCAT 2008: 269-276 |
| 17 | EE | Frédéric Gava:
A Modular Implementation of Data Structures in Bulk-Synchronous Parallel ML.
Parallel Processing Letters 18(1): 39-53 (2008) |
| 2007 |
|---|
| 16 | EE | Frédéric Gava:
Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML.
International Conference on Computational Science (1) 2007: 611-619 |
| 2006 |
|---|
| 15 | EE | 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 |
| 14 | EE | Frédéric Gava:
Une bibliothèque certifiée de programmes fonctionnels BSP.
Technique et Science Informatiques 25(10): 1261-1280 (2006) |
| 2005 |
|---|
| 13 | EE | 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 |
| 12 | EE | 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) |
| 11 | EE | Frédéric Gava,
Frédéric Loulergue:
A Functional Language for Departmental Metacomputing.
Parallel Processing Letters 15(3): 289-304 (2005) |
| 2004 |
|---|
| 10 | EE | Frédéric Gava:
Parallel I/O in Bulk-Synchronous Parallel ML.
International Conference on Computational Science 2004: 331-338 |
| 9 | EE | Frédéric Gava:
Design of Departmental Metacomputing ML.
International Conference on Computational Science 2004: 50-53 |
| 2003 |
|---|
| 8 | EE | 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 |
| 7 | | Frédéric Gava,
Frédéric Loulergue:
Synthèse de types pour Bulk Synchronous Parallel ML.
JFLA 2003: 153-168 |
| 6 | | Frédéric Gava,
Frédéric Loulergue:
Semantics of a Functional BSP Language with Imperative Features.
PARCO 2003: 95-102 |
| 5 | EE | Frédéric Gava,
Frédéric Loulergue:
A Polymorphic Type System for Bulk Synchronous Parallel ML.
PaCT 2003: 215-229 |
| 4 | | Myrto Arapinis,
Frédéric Loulergue,
Frédéric Gava,
Frédéric Dabrowski:
Semantics of Minimally Synchronous Parallel ML.
SNPD 2003: 260-267 |
| 3 | | 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 |
| 2 | | 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 |
| 1 | EE | Frédéric Gava:
Formal Proofs of Functional BSP Programs.
Parallel Processing Letters 13(3): 365-376 (2003) |
