Publications
Publications du projet
Revues
-
R. Di Cosmo, S. Pelagatti and Z. Li. A calculus for parallel
computations over multidimensional dense arrays. Computer Languages,
Systems and Structures, special issue on Semantics and Cost Models for
High-Level Parallel Programming. to appear
-
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.
-
F. Gava and F. Loulergue. A Static Analysis for Bulk Synchronous
Parallel ML to Avoid Parallel Nesting. Future Generation Computer
Systems, 2004
-
Mostafa Bamha, Matthieu Exbrayat. Pipelining a Skew-insensitive
Parallel Join Algorithm. Parallel Processing Letters, special issue
on on High Level Parallel Programming and Applications, volume 13,
issue 3, 2003.
- Emmanuel Chailloux. A Portable Implementation for Objective Caml
Flight. Parallel Processing Letters, special issue on on High Level
Parallel Programming and Applications 2003, volume 13, issue 3, 2003.
-
Roberto Di Cosmo, Susanna Pelagatti. A Calculus for Dense Array
Distributions. Parallel Processing Letters, special issue on on High
Level Parallel Programming and Applications 2003, volume 13, issue 3,
2003.
-
Frederic Gava. Formal Proofs of Functional BSP Programs. Parallel
Processing Letters, special issue on on High Level Parallel
Programming and Applications 2003, volume 13, issue 3, 2003.
Conférences et workshops internationaux
-
Basile Starynkevitch. OCamlJIT: a faster just-in-time OCaml
implementation. In First MetaOCaml Workshop. ACM Press, 2004.
[.ps
]
-
A. Merlin and G. Hains. A generic cost model for concurrent and
data-parallel meta-computing. In Forth Workshop on Automated
Verification of Critical Systems (AVOCS'04), London, UK, september
2004.
-
F. Gava and F. Loulergue. A functional language for departmental
metacomputing. In S. Gorlatch, editor, 4th Workshop on Constructive
Methods for Parallel Programming, pages 63-80. Westfälische
Wilheims-Universität Münster, 2004.
-
F. Loulergue. Management of Communication Environments for Minimally
Synchronous Parallel ML. In Z. Juhasz, P. Kacsuk, and D. Kranzimuller,
editors, Distributed and Parallel Systems (DAPSYS 2004), pages
285-292. Springer, 2004.
-
F. Gava. Parallel IO 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, vol. 3038
in LNCS. Springer Verlag, 2004
-
F. Gava. Design of Deparmental Metacomputing ML. In M. Bubak, D. van
Albada, P. Sloot, and J. Dongarra, editors, The International
Conference on Computational Science (ICCS 2004), Part III, vol. 3038
in LNCS. Springer, 2004
-
F. Loulergue. Communication Primitives for Minimally Synchronous
Parallel ML. In M. Bubak, D. van Albada, P. Sloot, and J. Dongarra,
editors, The International Conference on Computational Science (ICCS
2004), Part I, LNCS, pages 411-414. Springer Verlag, 2004
-
Cristiano Calcagno, Walid Taha, Liwen Huang, and Xavier Leroy.
Implementing multi-stage languages using ASTs, gensym, and reflection.
In Generative Programming and Component Engineering (GPCE'03),
2003.
[.pdf
]
-
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.
-
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.
-
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.
-
M. Bamha and M. Exbrayat. Pipelined parallelism for multi-join
queries on shared nothing machines. 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, Dresden, North Holland/Elsevier, 2004
-
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, Dresden, North Holland/Elsevier, 2004
-
F. Loulergue. A Calculus of Functional BSP Programs with Explicit
Substitution. In ParCo 2003, Dresden, Germany, september 2003. 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, Dresden, North
Holland/Elsevier, 2004
-
François Clément, Vincent Martin, Arnaud Vodicka,
Roberto Di Cosmo, and Pierre Weis. Domain decomposition for flow
simulation around a waste disposal site: Direct computation versus
code coupling using OcamlP3l. In Proceedings of the 5th International
Conference on Supercomputing in Nuclear Applications (SNA'2003), Sep
2003.
-
F. Loulergue. Parallel Juxtaposition for Bulk Synchronous Parallel
ML. In H. Kosch, L. Boszorményi, and H. Hellwagner, editors,
Euro-Par 2003, number 2790 in LNCS, pages 781-788. Springer Verlag,
2003.
-
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.
-
F. Loulergue. Parallel Superposition for Bulk Synchronous Parallel
ML. In Peter M. A. Sloot and al., editors, International Conference on
Computational Science (ICCS 2003), Part III, number 2659 in LNCS,
pages 223-232. Springer Verlag, june 2003.
-
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.
- F. Dabrowksi and F. Loulergue, Functional Bulk Synchronous Parallel Programming in C++, 21st IASTED Multi-conference on Applied Informatics (AI 2003), Symposium on Parallel and Distributed Computing and Networks, p. 462-447, ACTA Press, february 2003
- F. Loulergue, Implementation of a Functional Bulk Synchronous Parallel Programming Library, International conference on Parallel and Distributed Systems and Computing, Cambridge, USA, ACTA Press, p. 452-457, november 2002
Conférences nationales
-
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,
Synthèse de types pour Bulk Synchronous Parallel ML,
Journées Francophones des Langages Applicatifs
(JFLA 2003), INRIA, january 2003
-
A. Merlin, G. Hains, La Machine Abstraite Catégorique BSP,
Journées Francophones des Langages Applicatifs
(JFLA 2002), INRIA, january 2002
Rapports
-
François Clément, Roberto Di Cosmo, Zheng Li, Vincent Martin, Arnaud
Vodicka, and Pierre Weis. Parallel programming with the OcamlP3l
system, applications to numerical code coupling. Technical Report
5131, INRIA, 2004
-
F. Loulergue, Z. Hu, and K. Kakehi. An Implementation of the Diffusion
Algorithmic Skeleton with the Library. Technical Report
METR-2004-06, Department of
Mathematical Informatics, University of Tokyo, 2004
-
François Clément, Arnaud Vodicka, Roberto Di Cosmo,
and Pierre Weis. Couplage de codes numériques,
parallélisme et langages de haut niveau. RR 4825, INRIA, 2003
http://www.inria.fr/rrrt/rr-4825.html
-
F. Gava and F. Loulergue. Verifying Functional Bulk Synchronous Parallel Programs Using the Coq System. In 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003), Emerging trends, Research Report, 2003
HDR et Thèses
-
F. Loulergue, Programmation fonctionnelle d'ordinateurs
parallèles et de méta-ordinateurs : sémantiques,
systèmes et preuves, Mémoire d'habilitation à
diriger des recherches, Université Paris 12, LACL, 17
décembre 2004
-
A. Merlin, Modèles opérationnels communicants,
performances et algèbres de chemins, Thèse de Doctorat,
Université d'Orléans, LIFO, 7 décembre 2004
-
Vincent Martin. Simulations Multidomaines des Ecoulements en Milieu
Poreux. Thèse de Doctorat, Université Paris IX Dauphine,
mars 2004
Stages de DEA et maîtrise
-
M. Osman, Mise en place d'une infrastructure de calcul sur grille pour
le traitement de bases de données parallèles, Mémoire de stage
de deuxième année d'ingénieur, Université
d'Orléans, LIFO, 2004
-
D. Billiet, BSML: Implémentation modulaire et prévision
de performances, Master
thesis, LACL, Université Paris XII, 2004
-
Zheng Li. Efficient implementation of map skeleton for the OcamlP3l
system. Mémoire de dea, Université Paris VII, 2003
-
F. Dabrowksi, Sémantiques et implémentation de BSML avec exceptions,
Mémoire de Master,
LACL, Université Paris XII, 2003
-
M. Arapinis, ML Parallèle Minimalement Synchrone,
Stage de maîtrise,
LACL, Université Paris XII, 2003
-
M. Ameur, Parallélisation de l'algorithme Particle Mesh Ewald
pour le calcul des interactions électrostatiques entre les
molécules chimiques, Master
thesis, LIFO, University of Orléans, 2002
-
F. Gava, A Polymorphic type system for BSML, Mémoire de Master,
Research Report TR-2002-12,
LACL, Université Paris XII, 2002
-
F. Dabrowksi, Programmation parallèle fonctionnelle en C++,
Stage de maîtrise,
LACL, Université Paris XII, 2002
Publications antérieures liées au projet
-
O. Ballereau, F. Loulergue et G. Hains, High level BSP programming: BSML
and BSlambda , Chapitre 4 de Trends in Functional Programming, Intellect
books, 2000.
-
M. Bamha, F. Bentayeb et G. Hains, An efficient scalable parallel view
maintenance algorithm, for shared nothing multi-processor machines, DEXA'99,
Springer LNCS no.1677, 1999.
-
M. Bamha et G. Hains, A skew-insensitive algorithm for join and multi-join
operations on Shared Nothing machines, DEXA 2000, Springer LNCS no.1873,
2000.
-
E. Chailloux, Ch. Codognet et Ph. Codognet, Finite Domain Constraints in
the ML Functional Language. In : 6th International Conference on Tools
with Artificial Intelligence '94. ACM. novembre 1994.
-
E. Chailloux, P. Manoury et B. Pagano, Développement d'applications
avec Objective CAML,O'Reilly, 2000.
-
G. Cousineau, L. Paulson, G. Huet, R. Milner, M. Gordon et C. Wadsworth,
The ML Handbook, INRIA, 1985.
-
G. Cousineau, P.-L. Curien et M. Mauny, The Categorical Abstract Machine,
Science of Computer Programming, vol.8, 1987.
-
G. Cousineau et M. Mauny, The Functional Approach to Programming, Cambridge
University Press, 1998, traduction anglaise de Approche Fonctionnelle de
la Programmation, mêmes auteurs, Ediscience International
1995 .
-
M. Danelutto, R. Di Cosmo, X. Leroy et S. Pelagatti, Parallel functional
programming with skeletons: the OcamlP3L experiment, The ML Workshop, 1998.
-
D. Doligez et X. Leroy. A concurrent, generational garbage collector for
a multithreaded implementation of ML. In 20th symposium Principles of Programming
Languages, pages 113-123. ACM Press, 1993.
-
M. Exbrayat et L. Brunie, A PC-NOW based parallel extension for a sequential
DBSM, Proceedings of PC-NOW 2000, Cancun, Mexique, 2000.
-
M. Exbrayat et H. Kosch, A parallel extension for existing relational database
management systems, BITWIT'97, Juillet 1997.
-
M. Exbrayat, L. Brunie et A. Flory, A coupled approach for parallel evaluation
of relational queries on a network of workstations. ISCIS'99, Octobre 1999.
-
C. Foisy et E. Chailloux, Caml Flight: A portable SPMD extension of ML
for distributed memory multiprocessors, in Bohm et Feo éditeurs,
Workshop on High Performance Functional Computing, Lawrence Livermore National
Laboratory, USA, avril 1995
-
C. Fournet et G. Gonthier The reflexive chemical abstract machine and the
join-calculus, Proceedings of POPL'96, 1996.
-
C. Fournet, G. Gonthier, J.-J. Lévy, L. Maranget et D. Rémy,
A calculus of mobile agents, Proceedings of CONCUR'96, 1996.
-
G. Hains, F. Loulergue et J. Mullins, Concrete data structures and parallel
functional parallel programming, Theoretical Computer Science, 2001.
-
P. H. Hartel et al, dont E. Chailloux et X. Leroy. Benchmarking implementations
of functional languages with ``Pseudoknot'', a float-intensive benchmark.
Journal of Functional Programming, 6(4):621-655, Jul 1996.
-
X. Leroy. The zinc experiment: an economical implementation of the ML language.
Technical report 117, INRIA, 1990.
-
X. Leroy et M. Mauny. Dynamics in ML. Journal of Functional Programming,
3(4):431-463, 1993.
-
F. Loulergue, Parallel Composition and Bulk Synchronous Parallel Functional
Programming, dans S. Gilmore : Trends in Functional Programming, Volume
2, Intellect books, 2001.
-
F. Loulergue, Distributed Evaluation of Functional BSP Programs, Parallel
Processing Letters Numéro spécial High-Level Parallel Programming,
à
paraître, 2001.
-
F. Loulergue, Bslambda_p : Functional BSP programs on enumerated vectors,
International Symposium on High Performance Computing, Springer LNCS vol.1940,
2000.
-
F. Loulergue, G. Hains et C. Foisy, A Calculus of Functional BSP programs,
Science of Computer Programming, vol 37, nos 1-3, mai 2000.