With Gabriel Antoniu and Thierry Priol, I am lauching a new activity dedicated to very large-scale data managment for the grid.  It is based on my previous work about DSM-PM2, a  generic, portable, multithreaded DSM library based on the PM2 environment.

I have been educated in pure mathematics, with a special emphasis on algebra and logics. My PhD thesis (thèse d'état) was supervised by Krzysztof Apt, now in CWI, Amsterdam. It was devoted to the semantic expressivity of certain parallel programming languages, namely dialects of Hoare's CSP. On arriving at LIP, ENS Lyon, I started a project devoted to formal proof systems for data-parallel languages, typically HPF or C*, a data-parallel extension of C. Our contribution is based on a spatially-extended version of the usual Hoare's logic. This project was run in close collaboration with Bernard Virot, LIFO, University of Orléans.

Since 1995, I have been interested in the design of programming environment for high-performance parallel programs. My research group at LIP has been developing a portable and efficient runtime system called PM2 for multithreaded, distributed programming. PM2 is mainly targeted at commodity clusters of PCs interconnected some modern high-performance networks such as BIP/Myrinet,SISCI/SCI, VIA, Giganet, etc. This system has been successfully used as a target for a modified version of the Adaptor HPF compiler of Thomas Brandes. It has alos been used as the target for a Java parallel compiler in the Hyperion projet run in collaboration with Phil Hatcher, UNH. This wrok has been carried out in close collaboration with Raymond Namyst (now in the LaBRI lab, Bordeaux), Jean-François Méhaut (now at the University of Guadalupe) and Loïc Prylli at LIP.

 

Current PhD students

Responsibilities

• I currently serve as the Chairman of the new Department of Computer Science and Telecommunications (DIT) of the Britanny extension of ENS Cachan in Bruz/Rennes. This Department offers a 3-year curriculum called Magistère, starting at Year 3 of the regular French academic curriculum. This curriculum is based on the regular Licence, Maîtrise and DEA academic diploma, to be taken at the IFSIC Computer Science Institute, University of Rennes 1. Teaching at the Magistère focuses on research and high-tech development . It is expected that most of students will go for a PhD after the third year.
• On the national level, I serve as the Chairman of ARP, the French National Co-operative Program run by the CNRS in Architecture, Networks, Systems and Parallelism. About 800 researchers, mostly academic, are currently registered in this program.
• I am a regular member of several Program Committees: PACT, HIPS, Euro-Par, etc. I serve as the Vice-Chairman of the Euro-Par Conference Series.
• Together with Michel Cosnard, I organize the 17th IPDPS Conference in Nice, April 22-26, 2003.

Collaborations

In France

Selected Publications

See the extended PARIS publication repository for details.

Large-scale data management, grid computing

• Gabriel Antoniu, Luc Bougé, and Mathieu Jan. Peer-to-Peer Distributed Shared Memory?. In Proc. IEEE/ACM 12th Intl. Conf. on Parallel Architectures and Compilation Techniques (PACT 2003), Work in Progress Session), New Orleans, Louisiana, September 2003.
• Gabriel Antoniu, Luc Bougé, and Mathieu Jan. JuxMem: An Adpative Supportive Platform for Data Sharing on the Grid. In Workshop on Adaptive Grid Middleware, held in conjunction with the 12th International Conference on Parallel Architectures and Compilation Techniques (PACT2003), New Orleans, Louisiana, September 2003.
• Gabriel Antoniu Luc Bougé, and Sébastien Lacour. Making a DSM Consistency Protocol Hierarchy-Aware: An Efficient Synchronization Scheme. In Proc. 3rd IEEE/ACM Intl. Symp. on Cluster Computing and the Grid (CCGRID 2003), Workshop on Distributed Shared Memory on Clusters (DSM 2003), Tokyo, pages 516-523, May 2003. IEEE TFCC.
• Luc Bougé. Si tous les ordinateurs du monde... Calcul scientifique vraiment très haute performance sur la grille mondiale. Bulletin de l'association des anciens élèves et des élèves de de l'ENS Cachan, (216):2-5, February 2002. Electronic PowerPoint show available.

DSM-PM2, Hyperion and cluster-enabled JVM

• Thilo Kielmann, Philip Hatcher, Luc Bougé, and Henri E. Bal. Enabling Java for high-performance computing: Exploiting Distributed Shared Memory and Remote Method Invocation. Communications of the ACM, 44(10):110-117, October 2001. Special issue on Java for High Performance Computing.
• Gabriel Antoniu and Luc Bougé. DSM-PM2: A portable implementation platform for multithreaded DSM consistency protocols. In Proc. 6th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS '01), volume 2026 of Lect. Notes in Comp. Science, pages 55-70, San Francisco, April 2001. Held in conjunction with IPDPS 2001. IEEE TCPP, Springer-Verlag.
• Gabriel Antoniu, Luc Bougé, Philip Hatcher, Mark MacBeth, Keith McGuigan, and Raymond Namyst. The Hyperion system: Compiling multithreaded Java bytecode for distributed execution. Parallel Computing, 27:1279-1297, October 2001.

PM2, Marcel, Madeleine, data-parallel compilation

• Olivier Aumage, Luc Bougé, Alexandre Denis, Lionel Eyraud, Jean-François Méhaut, Guillaume Mercier, Raymond Namyst, and Loïc Prylli. High performance computing on heterogeneous clusters with the Madeleine II communication library. Cluster Computing, 5:43-54, 2002. Special Issue on the Cluster 2000 Conference.
• Gabriel Antoniu, Luc Bougé, Raymond Namyst, and Christian Pérez. Compiling data-parallel programs to a distributed runtime environment with thread isomigration. Parallel Processing Letters, 10(2-3):201–214, June 2000. Special issue on CPC 2000
• Luc Bougé. La programmation parallèle recherche la transparence. Interview dans Le Monde Informatique, numéro 828 du 5 novembre 1999, par Frédéric Noailles, November 1999.
• Luc Bougé, Jean-François Méhaut, and Raymond Namyst. Madeleine: an efficient and portable communication interface for multithreaded environments. In Proc. 1998 Int. Conf. Parallel Architectures and Compilation Techniques (PACT '98), pages 240-247, ENST, Paris, France, October 1998. IFIP WG 10.3 and IEEE.
• Luc Bougé, Phil Hatcher, Raymond Namyst, and Christian Perez. A multithreaded runtime environment with thread migration for a HPF data-parallel compiler. In The 1998 Intl Conf. on Parallel Architectures and Compilation Techniques (PACT '98), pages 418-425, Paris, France, October 1998. IFIP WG 10.3 and IEEE.