|
OUT OF DATE, please see my DBLP list
|
Revues (Journals)
|
|
|
[1]
|
V. Allombert, F. Gava and J. Tesson. Multi-ML: Programming Multi-BSP Algorithms in ML.
International Journal of Parallel Programming, 45(2): 340-361, 2017.
[ bib ]
.pdf ]
|
|
[2]
|
J. Fortin and F. Gava. BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation. International Journal of Parallel Programming, 44(3): 574-597, 2016.
[ bib ]
.pdf ]
|
|
[3]
|
F. Gava, M. Guedj and F. Pommereau. A BSP algorithm for on-the-fly checking CTL* formulas on security protocols
Journal of SuperComputing, 2014.
to appear.
[ bib ]
.pdf ]
|
|
[4]
|
I. Garnier and F. Gava. CPS Implementation of a BSP Composition Primitive with Application to the Implementation of Algorithmic Skeletons
Parallel, Emergent and Distributed Systems, 2011.
[ bib |
.pdf ]
|
|
[5]
|
L. Gesbert, F. Gava, F. Loulergue, and F. Dabrowski.
Bulk Synchronous Parallel ML with Exceptions.
Future Generation Computer Systems, 2009.
to appear.
[ bib |
.pdf ]
|
|
[6]
|
F. Gava.
A Modular Implementation of Parallel Data Structures in BSML.
Parallel Processing Letters, 18(1):39-53, 2008.
[ bib |
.pdf |
.ppt ]
|
|
[7]
|
F. Gava.
Une bibliothèque certifiée de programmes fonctionnels BSP.
Technique et Science Informatiques, 25(10):1261-1280, 2006.
[ bib |
.pdf ]
|
|
[8]
|
F. Gava.
External Memory in Bulk Synchronous Parallel ML.
Scalable Computing: Practice and Experience, 6(4):43-70, 2005.
[ bib |
.pdf ]
|
|
[9]
|
F. Gava and F. Loulergue.
A Functional Language for Departmental Metacomputing.
Parallel Processing Letters, 15(3):289-304, 2005.
[ bib |
.pdf |
.ppt ]
|
|
[10]
|
F. Gava and F. Loulergue.
A Static Analysis for Bulk Synchronous Parallel ML to Avoid Parallel
Nesting.
Future Generation Computer Systems, 21(5):665-671, 2005.
[ bib |
.pdf ]
|
|
[11]
|
F. Loulergue, F. Gava, M. Arapinis, and F. Dabrowski.
Semantics and Implementation of Minimally Synchronous Parallel ML.
International Journal of Computer and Information Science,
5(3):182-199, 2004.
[ bib |
.pdf ]
|
|
[12]
|
F. Gava.
Formal Proofs of Functional BSP Programs.
Parallel Processing Letters, 13(3):365-376, 2003.
[ bib |
.pdf ]
|
|
|
|
Conférences internationales (International conferences)
|
|
|
[1]
|
Y. Marquer and F. Gava. An Axiomatization for BSP Algorithms. In International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP). LNCS. Springer. to appear. 2018.
[ bib |
.pdf ]
|
|
[2]
|
V. Allombert and F. Gava. Toward performance prediction for (Multi)-BSP programs in ML. In International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP). LNCS. Springer. to appear. 2018.
[ bib |
.pdf ]
|
|
[3]
|
Y. Marquer and F. Gava. Algorithmic Completeness for BSP Languages.
In International Conference on High Performance Computing & Simulation (HPCS). IEEE. pages 740-747. 2018.
[ bib |
.pdf ]
|
|
[4]
|
V. Allombert and F. Gava. An ML Implementation of the MULTI-BSP Model.
In International Conference on High Performance Computing & Simulation (HPCS). IEEE. pages 500-507. 2018.
[ bib |
.pdf ]
|
|
[5]
|
V. Allombert, F. Gava and J. Tesson. A Formal Semantics of the MULTI-ML Language. In International Symposium on Parallel and Distributed Computing (ISPDC). IEEE. pages 180-187. 2018.
[ bib |
.pdf ]
|
|
[6]
|
J. Fortin and F. Gava. Towards Mechanised Semantics of HPC: The BSP with Subgroup Synchronisation Case. G. Wang, A. Y. Zomaya, G. Martínez Pérez and K. Li editor. In Algorithms and Architectures for Parallel Processing (ICA3PP) . LNCS vol 9532, Springer, pages 222:237. 2015.
[ bib |
.pdf ]
|
|
[7]
|
F. Gava, J. Fortin and M. Guedj. Deductive verification of state-space algorithms. In Einar Broch Johnsen and Luigia Petre editor. In integrated Formal Methods (iFM). volume 7940 of LNCS, Springer. pages 124-138. 2013.
[ bib |
.pdf ]
|
|
[8]
|
F. Gava, M. Guedj and F. Pommereau. A BSP algorithm for on-the-fly checking CTL* formulas on security protocols. In Parallel and Distributed Computing (PDCAT). IEEE. 2012. to appear.
[ bib |
.pdf ]
|
|
[9]
|
F. Gava, A. Hidalgo and J. Fortin. Mechanised verification of distributed state-space algorithms for security protocols. In Parallel and Distributed Computing (PDCAT). IEEE. 2012. to appear.
[ bib |
.pdf ]
|
|
[10]
|
F. Gava, M. Guedj and F. Pommereau. A BSP algorithm for on-the-fly checking LTL formulas on security protocols. In Parallel and Distributed Computing (ISPDC). IEEE. 2012. to appear.
[ bib |
.pdf ]
|
|
[11]
|
F. Gava, C. Li and G. Hains: Implementation of data-parallel skeletons: a case study using a coarsed-grained hierarchical model. In Parallel and Distributed Computing (ISPDC). IEEE. 2012. to appear.
[ bib |
.pdf ]
|
|
[12]
|
F. Loulergue, F. Gava, N. Kosmatov and M. Lemerre. Towards Verified Cloud Computing Environments. In High Performance Computing and Simulation (HPCS). IEEE, 2012. to appear.
[ bib |
.pdf ]
|
|
[13]
|
F. Gava, M. Guedj and F. Pommereau. Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols. In Parallel, Distributed, and Network-Based Processing (PDP). pages 170-174. 2012.
[ bib |
.pdf ]
|
|
[14]
|
F. Gava, L. Gesbert and F. Loulergue. Type System for a Safe Execution of Parallel Programs
in BSML. In Workshop on High-Level Parallel Programming and Applications (HLPP,
affiliated to conference ICFP), ACM. 2011.
[ bib |
.pdf ]
|
|
[15]
|
S. Tan et F. Gava. Modular Implementation of Dense Matrix Operations in a High-level BSP
Language. In High Performance Computing and Simulation (HPCS), pages 643--649. IEEE. 2010.
[ bib |
.pdf ]
|
|
[16]
|
J. Fortin et F. Gava. From BSP Routines to High-performance ones: Formal Verification of a
Transformation Case. In International Conference on Computational Science (ICCS). Procedia CS 1(1). pages 155--164, 2010.
[ bib |
.pdf ]
|
|
[17]
|
F. Gava, M. Guedj and F. Pommereau. A BSP algorithm for the state space construction of
security protocols. In Workshop on Parallel and Distributed Methods in verifiCation (PDMC,
affiliated to conference SPIN), IEEE Computer Society. 2010.
[ bib |
.pdf ]
|
|
[18]
|
W. Bousdira, F. Gava, L. Gesbert, F. Loulergue and G. Petiot. Functional Parallel
Programming with Revised Bulk Synchronous Parallel ML. In Koji Nakano, editeur, Workshop on Parallel and Distributed Algorithms and Applications (PDAA), IEEE Computer Society. 2010.
[ bib |
.pdf ]
|
|
[19]
|
J. Fortin and F. Gava. BSP-Why: an intermediate language for deductive verification of BSP
programs. In Workshop on High-level Parallel Programming and Applications (HLPP,
affiliated to conference ICFP), ACM Press. 2010.
[ bib |
.pdf ]
|
|
[20]
|
F. Gava and I. Garnier.
New Implementation of a BSP Composition Primitive with Application to the Implementation of Algorithmic Skeletons.
In Workshop APDCM part of IPDPS 2009. IEEE Press, 2009.
[ bib |
.pdf ]
|
|
[21]
|
F. Gava and J.Fortin.
Two Formal Semantics of a Subset of the Paderborn University
BSPlib.
In PDP 2009. IEEE Press, 2009.
to appear.
[ bib |
.pdf ]
|
|
[22]
|
F. Gava and J. Fortin.
Formal Semantics of a Subset of the Paderborn's BSPlib.
In PDCAT 2008, IEEE Press, 2008.
to appear.
[ bib |
.pdf ]
|
|
[23]
|
F. Gava.
BSP Functional Programming; Examples of a cost based methodology.
In M. Bubak, G. D. van Albada, J. Dongarra, and P. M. A. Sloot,
editors, The International Conference on Computational Science (ICCS),
Part I, volume 5101 of LNCS, pages 375-385. Springer-Verlag, 2008.
[ bib |
.pdf |
.ppt ]
|
|
[24]
|
F. Gava.
Implementation of the Parallel Superposition in Bulk-Synchronous
Parallel ML.
In Y. Shi, G.D.v. Albada, J. Dongarra, and P.M.A. Sloot, editors,
The International Conference on Computational Science (ICCS), Part I,
volume 4487 of LNCS, pages 611-619. Springer-Verlag, 2007.
[ bib |
.pdf |
.ppt ]
|
|
[25]
|
L. Gesbert, F. Gava, F. Loulergue, and F. Dabrowski.
Bulk Synchronous Parallel ML with Exceptions.
In P. Kacsuk, T. Fahringer, and Z. Nemeth, editors, Distributed
and Parallel Systems (DAPSYS 2006), pages 33-42. Springer-Verlag, 2006.
[ bib |
.pdf ]
|
|
[26]
|
F. Loulergue, R. Benheddi, F. Gava, and D. Louis-Regis.
Bulk Synchronous Parallel ML: Semantics and Implementation of the
Parallel Juxtaposition.
In D. Grigoriev, J. Harrison, and E.A. Hirsch, editors,
International Computer Science Symposium in Russia (CSR 2006), volume 3967
of LNCS, pages 475-486. Springer-Verlag, 2006.
[ bib |
.pdf |
.ppt ]
|
|
[27]
|
F. Loulergue, F. Gava, and D. Billiet.
Bulk Synchronous Parallel ML: Modular Implementation and Performance
Prediction.
In V. S. Sunderam, G. Dick van Albada, P. M. A. Sloot, and
J. Dongarra, editors, International Conference on Computational Science
(ICCS 2005), Part II, volume 3515 of LNCS, pages 1046-1054.
Springer-Verlag, 2005.
[ bib |
.pdf |
.ppt ]
|
|
[28]
|
F. Gava.
Parallel I/O in Bulk Synchronous Parallel ML.
In M. Bubak, D. van Albada, P. Sloot, and J. Dongarra, editors,
The International Conference on Computational Science (ICCS 2004), Part III,
volume 3038 of LNCS, pages 339-346. Springer-Verlag, 2004.
[ bib |
.pdf |
.ppt ]
|
|
[29]
|
F. Gava.
Design of Deparmental Metacomputing ML.
In M. Bubak, D. van Albada, P. M. A. Sloot, and J. Dongarra, editors,
The International Conference on Computational Science (ICCS 2004), Part
III, volume 3038 of LNCS, pages 50-53. Springer-Verlag, 2004.
[ bib |
.pdf |
.ppt ]
|
|
[30]
|
F. Gava and F. Loulergue.
Semantics of a Functional Bulk Synchronous Parallel Language with
Imperative Features.
In G. Joubert, W. Nagel, F. Peters, and W. Walter, editors,
Parallel Computing: Software Technology, Algorithms, Architectures and
Applications, Proceeding of the 10th ParCo Conference, volume 13 of
Advances in Parallel Computing, pages 95-102. Elsevier, 2004.
[ bib |
.pdf ]
|
|
[31]
|
F. Gava, F. Loulergue, and F. Dabrowski.
A Parallel Categorical Abstract Machine for Bulk Synchronous
Parallel ML.
In W. Dosch and R. Y. Lee, editors, 4th International
Conference on Software Engineering, Artificial Intelligence, Networking, and
Parallel/Distributed Computing (SNPD'03), pages 293-300. ACIS, 2003.
[ bib |
.pdf ]
|
|
[32]
|
F. Dabrowski, F. Loulergue, and F. Gava.
Pattern Matching of Parallel Values in Bulk Synchronous Parallel
ML.
In W. Dosch and R. Y. Lee, editors, 4th International
Conference on Software Engineering, Artificial Intelligence, Networking, and
Parallel/Distributed Computing (SNPD'03), pages 301-308. ACIS, 2003.
[ bib |
.pdf ]
|
|
[33]
|
M. Arapinis, F. Loulergue, F. Gava, and F. Dabrowski.
Semantics of Minimally Synchronous Parallel ML.
In W. Dosch and R. Y. Lee, editors, 4th International
Conference on Software Engineering, Artificial Intelligence, Networking, and
Parallel/Distributed Computing (SNPD'03), pages 260-267. ACIS, 2003.
[ bib |
.pdf |
.ppt ]
|
|
[34]
|
F. Gava and F. Loulergue.
A Polymorphic Type System for Bulk Synchronous Parallel ML.
In V. Malyshkin, editor, Seventh International Conference on
Parallel Computing Technologies (PaCT 2003), volume 2763 of LNCS,
pages 215-229. Springer-Verlag, 2003.
[ bib |
.pdf |
.ppt ]
|
|
[35]
|
F. Gava and F. Loulergue.
A Parallel Virtual Machine for Bulk Synchronous Parallel ML.
In P. M. A. Sloot and al., editors, International Conference on
Computational Science (ICCS 2003), Part I, volume 2657 of LNCS, pages
155-164. Springer-Verlag, 2003.
[ bib |
.pdf ]
|
|
|
|
Conférences nationales (National conferences)
|
|
|
[1]
|
F. Gava and S. Tan. Implementation et prediction des performances de squelettes data-paralleles
en utilisant un langage BSP de haut-niveau. In S. Conchon et A. Mahboudi, éditeurs, Journees
Francophones des Langages Applicatifs (JFLA), Studia Informatica Universalis, pages 39--65, 2011. Hermann.
[ bib |
.pdf ]
|
|
[2]
|
L. Gesbert, F. Gava, F. Loulergue, and F. Dabrowski.
Bulk Synchronous Parallel ML avec exceptions.
In Rencontres Francophones du Parallélisme (Renpar'17), 2006.
[ bib |
.pdf ]
|
|
[3]
|
F. Gava.
Une implantation de la juxtaposition parallèle.
In P.-E. Moreau and T. Hardin, editors, Journées Francophones
des Langages Applicatifs (JFLA), Collection Didactique, pages 87-100.
INRIA, 2006.
[ bib |
.pdf |
.ppt ]
|
|
[4]
|
F. Gava.
Une bibliothèque certifiée de programmes fonctionnels BSP.
In V. Ménissier-Morain, editor, Journées Francophones des
Langages Applicatif (JFLA), Collection Didactique, pages 55-68. INRIA,
2004.
[ bib |
.pdf ]
|
|
[5]
|
F. Gava and F. Loulergue.
Synthèse de types pour Bulk Synchronous Parallel ML.
In J.C. Filliatre, editor, Journées Francophones des Langages
Applicatifs (JFLA), Collection Didactique, pages 153-168. INRIA, 2003.
[ bib |
.pdf ]
|
|
|
|
Thèses (Thesis)
|
|
|
[1]
|
F. Gava.
BSP, bon à toutes les sauces~; Application to Functional Programming, Mechanised Verification and Security Protocols.
Habilitation Thesis, University of Paris-East, LACL, 2012.
[ bib |
.pdf |
.pdf ]
|
|
[2]
|
F. Gava.
Approches fonctionnelles de la programmation parallèle et des
méta-ordinateurs. Sémantiques, implantations et certification.
PhD thesis, University Paris XII-Val de Marne, LACL, 2005.
[ bib |
.pdf |
.ppt ]
|
|
[3]
|
F. Gava.
A Polymorphic Type System for BSML.
Master's thesis, University Paris XII-Val de Marne, 2002.
[ bib |
.ps |
.pdf ]
|
|
|
|
Recherche (Research)
Enseignement (Teaching)