Publications
Publications du projet / Project's publications
Revues / Journals
-
L. Gesbert, F. Gava, F. Loulergue, and F. Dabrowski. Bulk
Synchronous Parallel ML with Exceptions. Future Generation Computer
Systems, 2008, to appear
-
F. Gava. A Modular Implementation of Parallel Data Structures in
BSML. Parallel Processing Letters, 2008, to appear
-
F. Gava. Une bibliothèque certifiée de programmes fonctionnels
BSP. Technique et Science Informatiques, 25(10):1261-1280,
2006
-
F. Gava and F. Loulergue. A Functional Language for Departmental
Metacomputing. Parallel Processing Letters, 15(3):289-304,
2005.
-
F. Gava. External Memory in Bulk Synchronous Parallel ML. Scalable
Computing: Practice and Experience, 6(4):43-70, December 2005
Conferences and Workshops
-
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), Springer, 2008, to appear
-
R. Benheddi and F. Loulergue. Divide-and-Conquer Programming with
Minimally Synchronous Parallel ML. In J. Weglarz, R. Wyrzykowski,
and B. Szymanski, editors, Seventh International Conference on
Parallel Processing and Applied Mathematics (PPAM 2007), Workshop on
Language-Based Parallel Programming Models, number 4967 in LNCS,
pages 1078-1085. Springer, 2007
-
Tesson and F. Loulergue. Formal Semantics for the DRMA Programming
Style Subset of the BSPlib Library. In J. Weglarz, R. Wyrzykowski,
and B. Szymanski, editors, Seventh International Conference on
Parallel Processing and Applied Mathematics (PPAM 2007), Workshop on
Language-Based Parallel Programming Models, number 4967 in LNCS,
pages 1122-1129. Springer, 2007
-
L. Gesbert and F. Loulergue. Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML. In International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), pages 201-208. IEEE Computer Society, 2007
- F. Gava. Implementation of the Parallel Superposition in Bulk-Synchronous Parallel ML. In Y. Shi et al., editor, International Conference on Computational Science (ICCS 2007), volume 4487 of LNCS, pages 611-619. Springer, 2007.
-
L. Gesbert, F. Gava, F. Loulergue, and F. Dabrowski. Bulk Synchronous Parallel ML with Exceptions. In Peter Kacsuk, Thomas Fahringer, and Zsolt Nemeth, editors, Distributed and Parallel Systems (DAPSYS 2006), pages 33-42. Springer, 2006.
-
F. Loulergue, R. Benheddi, F. Gava, and D. Louis-Regis. Bulk
Synchronous Parallel ML: Semantics and Implementation of the
Parallel Juxtaposition. In International Computer Science
Symposium in Russia (CSR 2006), volume 3967 of LNCS, pages
475-486. Springer, 2006.
- L. Gesbert, L. Gava, F. Loulergue, and F. Dabrowski. Bulk Synchronous Parallel ML avec exceptions. In Rencontres Francophones du Parallélisme (Renpar'17), 2006.
-
R. Benheddi and F. Loulergue. Composition parallèle pour MSPML. In P.-E. Moreau and T. Hardin, editors, Journées Francophones des Langages Applicatifs (JFLA), INRIA, 2006.
-
F. Loulergue. A Calculus of Functional BSP Programs with Projection. In International Parallel & Distributed Processing Symposium, 8th Workshop on Advances in Parallel and Distributed Computational Models, IEEE Computer Society Press, 2006.
Talks
-
R. Benheddi and F. Loulergue. Minimally Synchronous Parallel ML with
Parallel Composition. In Draft Proceedings of the Seventh
Symposium on Trends in Functional Programming (TFP 2006),
pages 387-402. Nottingham, UK, 2006
-
L. Gesbert and F. Loulergue. Semantics of bulk synchronous parallel ml
with exceptions. In Zoltán Horváth, editor, Draft proceedings of the
18th International Symposium on Implementation and Application of
Functional Languages (IFL'06), 2006
Thesis
-
Frédéric Gava, Approches fonctionnelles de la
programmation parallèle et de
méta-ordinateurs. Sémantique, implantations,
certification, PhD Thesis, Université Paris XII Val de Marne,
Laboratoire d'Algorithmique Complexité et Logique,
décembre 2005
-
Radia Benheddi, Composition parallèle pour MSPML:
sémantique et implantation, Master Thesis,
Université d'Orléans, 2005
-
Dimitri Louis-Régis, Certification de programmes BSML avec
juxtaposition parallèle, Master Thesis, Université
d'Orléans, 2005
Publications antérieures liées /
Related publications prior to the project
Revues / Journals
-
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.
-
F. Gava.
Formal Proofs of Functional BSP Programs.
Parallel Processing Letters, 13(3):365-376, 2003.
Conferences
-
F. Gava. Une
bibliothèque certifiée de programmes fonctionnels
BSP. In Ménissier-Morain, V., editor, Journées
Francophones des Langages Applicatif, JFLA, pages 55-68. INRIA,
january 2004.
-
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.
-
F. Loulergue. A Calculus of Functional BSP Programs with
Explicit Substitution. 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, North
Holland/Elsevier, 2004.
-
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), number 2763 in LNCS, pages
215-229. Springer Verlag, 2003.
copyright Springer Verlag,
LNCS vol. 2763
-
F. Gava and F. Loulergue.
A Parallel Virtual Machine for Bulk Synchronous Parallel ML.
In Peter M. A. Sloot and al., editors, International
Conference on Computational Science (ICCS 2003), Part I, number
2657 in LNCS, pages 155-164. Springer Verlag, june 2003.
copyright Springer Verlag, LNCS vol. 2657
-
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 2003), pages 153-168, january 2003.