Publications

Publications du projet

Revues

  1. 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
  2. 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.
  3. F. Gava and F. Loulergue. A Static Analysis for Bulk Synchronous Parallel ML to Avoid Parallel Nesting. Future Generation Computer Systems, 2004
  4. 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.
  5. 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.
  6. 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.
  7. 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

  1. Basile Starynkevitch. OCamlJIT: a faster just-in-time OCaml implementation. In First MetaOCaml Workshop. ACM Press, 2004. [.ps ]
  2. 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.
  3. 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.
  4. 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.
  5. 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
  6. 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
  7. 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
  8. 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 ]
  9. 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.
  10. 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.
  11. 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.
  12. 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
  13. 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
  14. 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
  15. 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.
  16. 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.
  17. 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.
  18. 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.
  19. 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.
  20. 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
  21. 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

  1. 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.
  2. F. Gava, F. Loulergue, Synthèse de types pour Bulk Synchronous Parallel ML, Journées Francophones des Langages Applicatifs (JFLA 2003), INRIA, january 2003
  3. A. Merlin, G. Hains, La Machine Abstraite Catégorique BSP, Journées Francophones des Langages Applicatifs (JFLA 2002), INRIA, january 2002

Rapports

  1. 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
  2. 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
  3. 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
  4. 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

  1. 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
  2. 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
  3. 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

  1. 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
  2. D. Billiet, BSML: Implémentation modulaire et prévision de performances, Master thesis, LACL, Université Paris XII, 2004
  3. Zheng Li. Efficient implementation of map skeleton for the OcamlP3l system. Mémoire de dea, Université Paris VII, 2003
  4. F. Dabrowksi, Sémantiques et implémentation de BSML avec exceptions, Mémoire de Master, LACL, Université Paris XII, 2003
  5. M. Arapinis, ML Parallèle Minimalement Synchrone, Stage de maîtrise, LACL, Université Paris XII, 2003
  6. 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
  7. F. Gava, A Polymorphic type system for BSML, Mémoire de Master, Research Report TR-2002-12, LACL, Université Paris XII, 2002
  8. F. Dabrowksi, Programmation parallèle fonctionnelle en C++, Stage de maîtrise, LACL, Université Paris XII, 2002

Publications antérieures liées au projet

  1. O. Ballereau, F. Loulergue et G. Hains, High level BSP programming: BSML and BSlambda , Chapitre 4 de Trends in Functional Programming, Intellect books, 2000.
  2. 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.
  3. 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.
  4. 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.
  5. E. Chailloux, P. Manoury et B. Pagano, Développement d'applications avec Objective CAML,O'Reilly, 2000.
  6. G. Cousineau, L. Paulson, G. Huet, R. Milner, M. Gordon et C. Wadsworth, The ML Handbook, INRIA, 1985.
  7. G. Cousineau, P.-L. Curien et M. Mauny, The Categorical Abstract Machine, Science of Computer Programming, vol.8, 1987.
  8. 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 .
  9. M. Danelutto, R. Di Cosmo, X. Leroy et S. Pelagatti, Parallel functional programming with skeletons: the OcamlP3L experiment, The ML Workshop, 1998.
  10. 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.
  11. M. Exbrayat et L. Brunie, A PC-NOW based parallel extension for a sequential DBSM, Proceedings of PC-NOW 2000, Cancun, Mexique, 2000.
  12. M. Exbrayat et H. Kosch, A parallel extension for existing relational database management systems, BITWIT'97, Juillet 1997.
  13. 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.
  14. 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
  15. C. Fournet et G. Gonthier The reflexive chemical abstract machine and the join-calculus, Proceedings of POPL'96, 1996.
  16. C. Fournet, G. Gonthier, J.-J. Lévy, L. Maranget et D. Rémy, A calculus of mobile agents, Proceedings of CONCUR'96, 1996.
  17. G. Hains, F. Loulergue et J. Mullins, Concrete data structures and parallel functional parallel programming, Theoretical Computer Science, 2001.
  18. 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.
  19. X. Leroy. The zinc experiment: an economical implementation of the ML language. Technical report 117, INRIA, 1990.
  20. X. Leroy et M. Mauny. Dynamics in ML. Journal of Functional Programming, 3(4):431-463, 1993.
  21. F. Loulergue, Parallel Composition and Bulk Synchronous Parallel Functional Programming, dans S. Gilmore : Trends in Functional Programming, Volume 2, Intellect books, 2001.
  22. F. Loulergue, Distributed Evaluation of Functional BSP Programs, Parallel Processing Letters Numéro spécial High-Level Parallel Programming, à paraître, 2001.
  23. F. Loulergue, Bslambda_p : Functional BSP programs on enumerated vectors, International Symposium on High Performance Computing, Springer LNCS vol.1940, 2000.
  24. F. Loulergue, G. Hains et C. Foisy, A Calculus of Functional BSP programs, Science of Computer Programming, vol 37, nos 1-3, mai 2000.