Modélisation de la notion de test de programmes; application à la production de jeux de tests. (Modeling the notion of program testing; application to test set generation). - Luc Bougé (1982)

Repeated Synchronous Snapshots and Their Implementation in CSP (Extended Abstract). - Luc Bougé (ICALP, 1985)

Application of Prolog to Test Sets Generation from Algebraic Specifications. - Luc Bougé; N. Choquet; Laurent Fribourg; Marie-Claude Gaudel (TAPSOFT, Vol.2, 1985)

A Contribution to the Theory of Program Testing. - Luc Bougé (Theor. Comput. Sci., 1985)

Test sets generation from algebraic specifications using logic programming. - Luc Bougé; N. Choquet; Laurent Fribourg; Marie-Claude Gaudel (J. Syst. Softw., 1986)

On the Existence of Generic Broadcast Algorithms in Networks of Communicating Sequential Processes (Extended Abstract). - Luc Bougé (WDAG, 1987)

Two Normal Form Theorems for CSP Programs. - Krzysztof R. Apt; Luc Bougé; Philippe Clermont (Inf. Process. Lett., 1987)

Repeated Snapshots in Distributed Systems with Synchronous Communications and their Implementation in CSP. - Luc Bougé (Theor. Comput. Sci., 1987)

Modularité et symétrie pour les systèmes répartis; application au langage CSP. (Modularity and Symmetry for Distributed System; Application to the CSP Language). - Luc Bougé (1987)

A Compositional Approach to Superimposition. - Luc Bougé; Nissim Francez (POPL, 1988)

On the Existence of Symmetric Algorithms to Find Leaders in Networks of Communicating Sequential Processes. - Luc Bougé (Acta Informatica, 1988)

Towards a Semantic Approach to SIMD Architectures and their Languages. - Luc Bougé; Patrick Garda (Semantics of Systems of Concurrent Processes, 1990)

On the Semantics of Languages for Massively Parallel SIMD Architectures. - Luc Bougé (PARLE (2), 1991)

Control structures for data-parallel SIMD languages: semantics and implementation. - Luc Bougé; Jean-Luc Levaire (Future Gener. Comput. Syst., 1992)

A Proofe System for a Simple Data-Parallel Programming Language. - Luc Bougé; Yann Le Guyadec; Gil Utard; Bernard Virot (Applications in Parallel and Distributed Computing, 1994)

On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language. - Luc Bougé; Yann Le Guyadec; Gil Utard; Bernard Virot (CONPAR, 1994)

On the Completeness of a Proof System for a Simple Data-Parallel Programming Language. - Luc Bougé; David Cachera (Euro-Par, 1995)

The Data Parallel Programming Model: A Semantic Perspective. - Luc Bougé (The Data Parallel Programming Model, 1996)

Formal Validation of Data Parallel Programs: Introducting the Assertional Approach. - Luc Bougé; David Cachera; Yann Le Guyadec; Gil Utard; Bernard Virot (The Data Parallel Programming Model, 1996)

A logical framework to prove properties of Alpha programs. - Luc Bougé; David Cachera (ASAP, 1997)

Concurrent Rebalancing of ACL Trees: A Fine-Grained Approach (Extended Abstract). - Luc Bougé; Joaquim Gabarró; Xavier Messeguer; Nicolas Schabanel (Euro-Par, 1997)

Formal Validation of Data-Parallel Programs: A Two-Component Assertional Proof System for a Simple Language. - Luc Bougé; David Cachera; Yann Le Guyadec; Gil Utard; Bernard Virot (Theor. Comput. Sci., 1997)

A Multithreaded Runtime Environment with Thread Migration for a HPF Data-Parallel Compiler. - Luc Bougé; Philip J. Hatcher; Raymond Namyst; Christian Pérez (IEEE PACT, 1998)

Madeleine: An Efficient and Portable Communication Interface for RPC-Based Multithreaded Environments. - Luc Bougé; Jean-François Méhaut; Raymond Namyst (IEEE PACT, 1998)

Parallel Programming: Models, Methods, and Languages - Introduction. - Luc Bougé; Bill McColl; Mamoun Filali; Henk J. Sips (Euro-Par, 1999)

An Efficient and Transparent Thread Migration Scheme in the PM2 Runtime System. - Gabriel Antoniu; Luc Bougé; Raymond Namyst (IPPS/SPDP Workshops, 1999)

Efficient Communications in Multithreaded Runtime Systems. - Luc Bougé; Jean-François Méhaut; Raymond Namyst (IPPS/SPDP Workshops, 1999)

Madeleine II: a Portable and Efficient Communication Library for High-Performance Cluster Computing. - Olivier Aumage; Luc Bougé; Alexandre Denis 001; Jean-François Méhaut; Guillaume Mercier; Raymond Namyst; Loïc Prylli (CLUSTER, 2000)

Compiling Multithreaded Java Bytecode for Distributed Execution (Distinguished Paper). - Gabriel Antoniu; Luc Bougé; Philip J. Hatcher; Mark MacBeth; Keith McGuigan; Raymond Namyst (Euro-Par, 2000)

Implementing Java Consistency Using a Generic, Multithreaded DSM Runtime System. - Gabriel Antoniu; Luc Bougé; Philip J. Hatcher; Mark MacBeth; Keith McGuigan; Raymond Namyst (IPDPS Workshops, 2000)

A Portable and Adaptative Multi-protocol Communication Library for Multithreaded Runtime Systems. - Olivier Aumage; Luc Bougé; Raymond Namyst (IPDPS Workshops, 2000)

Using the VI Architecture to Build Distributed, Multithreaded Runtime Systems: A Case Study. - Luc Bougé; Jean-François Méhaut; Raymond Namyst; Loïc Prylli (SAC (2), 2000)

Compiling Data-Parallel Programs to a Distributed Runtime Environment with Thread Isomigration. - Gabriel Antoniu; Luc Bougé; Raymond Namyst; Christian Pérez (Parallel Process. Lett., 2000)

DSM-PM2: A Portable Implementation Platform for Multithreaded DSM Consistency Protocols. - Gabriel Antoniu; Luc Bougé (HIPS, 2001)

Implementing Multithreaded Protocols for Release Consistency on Top of the Generic DSM-PM Platform. - Gabriel Antoniu; Luc Bougé (IWCC, 2001)

Enabling Java for high-performance computing. - Thilo Kielmann; Philip J. Hatcher; Luc Bougé; Henri E. Bal (Commun. ACM, 2001)

The Hyperion system: Compiling multithreaded Java bytecode for distributed execution. - Gabriel Antoniu; Luc Bougé; Philip J. Hatcher; Mark MacBeth; Keith McGuigan; Raymond Namyst (Parallel Comput., 2001)

Improving Reactivity to I/O Events in Multithreaded Environments Using a Uniform, Scheduler-Centric API. - Luc Bougé; Vincent Danjean; Raymond Namyst (Euro-Par, 2002)

High Performance Computing on Heterogeneous Clusters with the Madeleine II Communication Library. - Olivier Aumage; Luc Bougé; Lionel Eyraud; Guillaume Mercier; Raymond Namyst; Loïc Prylli; Alexandre Denis 001; Jean-François Méhaut (Clust. Comput., 2002)

Madeleine II: a portable and efficient communication library for high-performance cluster computing. - Olivier Aumage; Luc Bougé; Jean-François Méhaut; Raymond Namyst (Parallel Comput., 2002)

Making a DSM Consistency Protocol Hierarchy-Aware: an Efficient Synchronization Scheme. - Gabriel Antoniu; Luc Bougé; Sébastien Lacour (CCGRID, 2003)

Topic Introduction. - Luc Bougé; Franck Cappello; Omer F. Rana; Bernard Traversat (Euro-Par, 2003)

GDS: An Architecture Proposal for a Grid Data-Sharing Service. - Gabriel Antoniu; Marin Bertier; Luc Bougé; Eddy Caron; Frédéric Desprez; Mathieu Jan; Sébastien Monnet; Pierre Sens 001 (Future Generation Grids, 2004)

Large-Scale Deployment in P2P Experiments Using the JXTA Distributed Framework. - Gabriel Antoniu; Luc Bougé; Mathieu Jan; Sébastien Monnet (Euro-Par, 2004)

Cluster computing with Java. - Philip J. Hatcher; Mathew Reno; Gabriel Antoniu; Luc Bougé (Comput. Sci. Eng., 2005)

JuxMem: An Adaptive Supportive Platform for Data Sharing on the Grid. - Gabriel Antoniu; Luc Bougé; Mathieu Jan (Scalable Comput. Pract. Exp., 2005)

Enabling lock-free concurrent fine-grain access to massive distributed data: Application to supernovae detection. - Bogdan Nicolae; Gabriel Antoniu; Luc Bougé (CLUSTER, 2008)

Distributed Management of Massive Data: An Efficient Fine-Grain Data Access Scheme. - Bogdan Nicolae; Gabriel Antoniu; Luc Bougé (VECPAR, 2008)

BlobSeer: how to enable efficient versioning for large object storage under heavy access concurrency. - Bogdan Nicolae; Gabriel Antoniu; Luc Bougé (EDBT/ICDT Workshops, 2009)

Enabling High Data Throughput in Desktop Grids through Decentralized Data and Metadata Management: The BlobSeer Approach. - Bogdan Nicolae; Gabriel Antoniu; Luc Bougé (Euro-Par, 2009)

Towards a Grid File System Based on a Large-Scale BLOB Management Service. - Viet-Trung Tran; Gabriel Antoniu; Bogdan Nicolae; Luc Bougé; Osamu Tatebe (CoreGRID@Euro-Par, 2009)

Special Issue: Euro-Par 2007. - Luc Bougé; Christian Lengauer (Concurr. Comput. Pract. Exp., 2009)

Special Issue: Euro-Par 2008. - Luc Bougé; Christian Lengauer (Concurr. Comput. Pract. Exp., 2009)

Bringing Introspection Into the BlobSeer Data-Management System Using the MonALISA Distributed Monitoring Framework. - Alexandra Carpen-Amarie; Jing Cai; Alexandru Costan; Gabriel Antoniu; Luc Bougé (CISIS, 2010)

Improving the Hadoop map/reduce framework to support concurrent appends through the BlobSeer BLOB management system. - Diana Moise; Gabriel Antoniu; Luc Bougé (HPDC, 2010)

Large-scale distributed storage for highly concurrent Mapreduce applications. - Diana Moise; Gabriel Antoniu; Luc Bougé (IPDPS Workshops, 2010)

BlobSeer: Efficient data management for data-intensive applications distributed at large-scale. - Bogdan Nicolae; Gabriel Antoniu; Luc Bougé (IPDPS Workshops, 2010)

BlobSeer: Bringing high throughput under heavy concurrency to Hadoop Map-Reduce applications. - Bogdan Nicolae; Diana Moise; Gabriel Antoniu; Luc Bougé; Matthieu Dorier (IPDPS, 2010)

Message from PhD Forum Organizers. - Manish Parashar; Luc Bougé (IPDPS Workshops, 2010)

Efficient Support for MPI-I/O Atomicity Based on Versioning. - Viet-Trung Tran; Bogdan Nicolae; Gabriel Antoniu; Luc Bougé (CCGRID, 2011)

Optimizing intermediate data management in MapReduce computations. - Diana Moise; Thi-Thu-Lan Trieu; Luc Bougé; Gabriel Antoniu (CloudCP@EuroSys, 2011)

Introduction. - Luc Bougé (IPDPS Workshops, 2011)

Bringing introspection into BlobSeer: Towards a self-adaptive distributed data management system. - Alexandra Carpen-Amarie; Alexandru Costan; Jing Cai; Gabriel Antoniu; Luc Bougé (Int. J. Appl. Math. Comput. Sci., 2011)

Special Issue: Euro-Par 2009. - Luc Bougé; Christian Lengauer (Concurr. Comput. Pract. Exp., 2011)

Special Issue: Euro-Par 2010. - Luc Bougé; Christian Lengauer (Concurr. Comput. Pract. Exp., 2011)

BlobSeer: Next-generation data management for large scale infrastructures. - Bogdan Nicolae; Gabriel Antoniu; Luc Bougé; Diana Moise; Alexandra Carpen-Amarie (J. Parallel Distributed Comput., 2011)

On-the-Fly Task Execution for Speeding Up Pipelined MapReduce. - Diana Moise; Gabriel Antoniu; Luc Bougé (Euro-Par, 2012)

A performance evaluation of Azure and Nimbus clouds for scientific applications. - Radu Tudoran; Alexandru Costan; Gabriel Antoniu; Luc Bougé (CloudCP@EuroSys, 2012)

PhD Forum Introduction. - Luc Bougé; Bo Hong (IPDPS Workshops, 2012)

Message from the PhD Forum Co-chairs. - Luc Bougé; Bo Hong (IPDPS Workshops, 2013)

SAGE: Geo-Distributed Streaming Data Analysis in Clouds. - Radu Tudoran; Gabriel Antoniu; Luc Bougé (IPDPS Workshops, 2013)

Special Issue: Euro-Par 2011. - Luc Bougé; Christian Lengauer (Concurr. Comput. Pract. Exp., 2013)

Special Issue: Euro-Par 2012. - Luc Bougé; Christian Lengauer (Concurr. Comput. Pract. Exp., 2013)

Scalable data management for map-reduce-based data-intensive applications: a view for cloud and hybrid infrastructures. - Gabriel Antoniu; Alexandru Costan; Julien Bigot; Frédéric Desprez; Gilles Fedak; Sylvain Gault; Christian Pérez; Anthony Simonet; Bing Tang; Christophe Blanchet; Raphael Terreux; Luc Bougé; et al. (Int. J. Cloud Comput., 2013)

Bridging Data in the Clouds: An Environment-Aware System for Geographically Distributed Data Transfers. - Radu Tudoran; Alexandru Costan; Rui Wang; Luc Bougé; Gabriel Antoniu (CCGRID, 2014)

JetStream: enabling high performance event streaming across cloud data-centers. - Radu Tudoran; Olivier Nano; Ivo Santos; Alexandru Costan; Hakan Soncu; Luc Bougé; Gabriel Antoniu (DEBS, 2014)

Achieving high throughput for large scale event streaming across geographically distributed data-centers with JetStream. - Radu Tudoran; Olivier Nano; Ivo Santos; Alexandru Costan; Hakan Soncu; Luc Bougé; Gabriel Antoniu (DEBS, 2014)

Towards Efficient Power Management in MapReduce: Investigation of CPU-Frequencies Scaling on Power Efficiency in Hadoop. - Shadi Ibrahim; Diana Moise; Houssem-Eddine Chihoub; Alexandra Carpen-Amarie; Luc Bougé; Gabriel Antoniu (ARMS-CC@PODC, 2014)

Special issue: Euro-Par 2013. - Christian Lengauer; Luc Bougé; Felix Wolf 001 (Concurr. Comput. Pract. Exp., 2014)

On Understanding the Energy Impact of Speculative Execution in Hadoop. - Tien-Dat Phan; Shadi Ibrahim; Gabriel Antoniu; Luc Bougé (DSDIS, 2015)

Exploring Energy-Consistency Trade-Offs in Cassandra Cloud Storage System. - Houssem-Eddine Chihoub; Shadi Ibrahim; Yue Li; Gabriel Antoniu; María S. Pérez 001; Luc Bougé (SBAC-PAD, 2015)

Special Issue: Euro-Par 2014. - Christian Lengauer; Luc Bougé; Fernando M. A. Silva (Concurr. Comput. Pract. Exp., 2015)

Adaptive Performance-Constrained In Situ Visualization of Atmospheric Simulations. - Matthieu Dorier; Robert Sisneros; Leonardo Bautista-Gomez; Tom Peterka; Leigh Orf; Lokman Rahmani; Gabriel Antoniu; Luc Bougé (CLUSTER, 2016)

Special issue: Euro-Par 2015. - Christian Lengauer; Luc Bougé; Jesper Larsson Träff (Concurr. Comput. Pract. Exp., 2016)

A performance evaluation of Apache Kafka in support of big data streaming applications. - Paul Le Noac'h; Alexandru Costan; Luc Bougé (IEEE BigData, 2017)

Special issue: Euro-Par 2016. - Christian Lengauer; Luc Bougé; Denis Trystram (Concurr. Comput. Pract. Exp., 2017)

Keeping up with storage: Decentralized, write-enabled dynamic geo-replication. - Pierre Matri; María S. Pérez 001; Alexandru Costan; Luc Bougé; Gabriel Antoniu (Future Gener. Comput. Syst., 2018)