Frédéric Gava

	2012
29		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
28		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
27		Sovanna Tan, Frédéric Gava: Modular implementation of dense matrix operations in a high-level BSP language. HPCS 2010: 643-649
26		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
25		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)
24		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)
23		Anne Benoit, Frédéric Gava: Practical aspects of high-level parallel programming PAPP 2010. Procedia CS 1(1): 2053-2054 (2010)
	2009
22		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
21		Frédéric Gava, Jean Fortin: Two Formal Semantics of a Subset of the Paderborn University BSPlib. PDP 2009: 44-51
	2008
20		Frédéric Gava: BSP Functional Programming: Examples of a Cost Based Methodology. ICCS (1) 2008: 375-385
19		Frédéric Gava, Jean Fortin: Formal Semantics of a Subset of the Paderborn's BSPlib. PDCAT 2008: 269-276
18		Frédéric Gava: A Modular Implementation of Data Structures in Bulk-Synchronous Parallel ML. Parallel Processing Letters 18(1): 39-53 (2008)
	2007
17		Frédéric Gava: Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML. International Conference on Computational Science (1) 2007: 611-619
	2006
16		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
15		Frédéric Gava: Une bibliothèque certifiée de programmes fonctionnels BSP. Technique et Science Informatiques 25(10): 1261-1280 (2006)
	2005
14		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
13		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)
12		Frédéric Gava, Frédéric Loulergue: A Functional Language for Departmental Metacomputing. Parallel Processing Letters 15(3): 289-304 (2005)
11		Frédéric Gava: External Memory in Bulk-Synchronous Parallel ML. Scalable Computing: Practice and Experience 6(4): (2005)
	2004
10		Frédéric Gava: Parallel I/O in Bulk-Synchronous Parallel ML. International Conference on Computational Science 2004: 331-338
9		Frédéric Gava: Design of Departmental Metacomputing ML. International Conference on Computational Science 2004: 50-53
	2003
8		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		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		Frédéric Gava: Formal Proofs of Functional BSP Programs. Parallel Processing Letters 13(3): 365-376 (2003)

Coauthor Index

1	Myrto Arapinis	[4]
2	Radia Benheddi	[16]
3	Anne Benoit	[23]
4	David Billiet	[14]
5	Wadoud Bousdira	[26]
6	Frédéric Dabrowski	[2] [3] [4] [25]
7	Jean Fortin	[19] [21] [24]
8	Ilias Garnier	[22] [28]
9	Louis Gesbert	[25] [26]
10	Michaël Guedj	[29]
11	D. Louis-Régis	[16]
12	Frédéric Loulergue	[2] [3] [4] [5] [6] [7] [8] [12] [13] [14] [16] [25] [26]
13	Guillaume Petiot	[26]
14	Franck Pommereau	[29]
15	Sovanna Tan	[27]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page