Publications

Publications du projet / Project's publications

Revues / Journals

  1. L. Gesbert, F. Gava, F. Loulergue, and F. Dabrowski. Bulk Synchronous Parallel ML with Exceptions. Future Generation Computer Systems, 2008, to appear
  2. F. Gava. A Modular Implementation of Parallel Data Structures in BSML. Parallel Processing Letters, 2008, to appear
  3. F. Gava. Une bibliothèque certifiée de programmes fonctionnels BSP. Technique et Science Informatiques, 25(10):1261-1280, 2006
  4. F. Gava and F. Loulergue. A Functional Language for Departmental Metacomputing. Parallel Processing Letters, 15(3):289-304, 2005.
  5. F. Gava. External Memory in Bulk Synchronous Parallel ML. Scalable Computing: Practice and Experience, 6(4):43-70, December 2005

Conferences and Workshops

  1. 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
  2. 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
  3. 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
  4. 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
  5. 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.
  6. 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.
  7. 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.
  8. L. Gesbert, L. Gava, F. Loulergue, and F. Dabrowski. Bulk Synchronous Parallel ML avec exceptions. In Rencontres Francophones du Parallélisme (Renpar'17), 2006.
  9. 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.
  10. 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

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

  1. 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
  2. Radia Benheddi, Composition parallèle pour MSPML: sémantique et implantation, Master Thesis, Université d'Orléans, 2005
  3. 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

  1. 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.
  2. F. Gava. Formal Proofs of Functional BSP Programs. Parallel Processing Letters, 13(3):365-376, 2003.

Conferences

  1. ps 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, 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.
  3. 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.
  4. pdf 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
  5. pdf 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
  6. ps 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.