Luc Bougé

发表

Implementing Multithreaded Protocols for Release Consistency on Top of the Generic DSM-PM Platform

Gabriel Antoniu, Luc Bougé, 2001, IWCC.

Improving Reactivity to I/O Events in Multithreaded Environments Using a Uniform, Scheduler-Centric API

Luc Bougé, Raymond Namyst, Vincent Danjean, 2002, Euro-Par.

Proceedings of the Second International Euro-Par Conference on Parallel Processing-Volume II

Yves Robert, Pierre Fraigniaud, Luc Bougé, 1996 .

BlobSeer: Efficient data management for data-intensive applications distributed at large-scale

Gabriel Antoniu, Luc Bougé, Bogdan Nicolae, 2010, 2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW).

Towards Smart Visualization Framework for Climate Simulations

Robert Sisneros, Gabriel Antoniu, Luc Bougé, 2016 .

Towards a Semantic Approach to SIMD Architectures and their Languages

Patrick Garda, Luc Bougé, 1990, Semantics of Systems of Concurrent Processes.

Cluster computing with Java

Philip J. Hatcher, Gabriel Antoniu, Luc Bougé, 2005, Computing in Science & Engineering.

On the semantics of languages for massively parallel SIMD architectures: (Extended Abstract)

Luc Bougé, 1991 .

Using the VI architecture to build distributed, multithreaded runtime systems: a case study

Jean-François Méhaut, Luc Bougé, Raymond Namyst, 2000, SAC '00.

Efficient Support for MPI-I/O Atomicity Based on Versioning

Gabriel Antoniu, Luc Bougé, Bogdan Nicolae, 2010, 2011 11th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing.

A Portable and Adaptative Multi-protocol Communication Library for Multithreaded Runtime Systems

Luc Bougé, Raymond Namyst, Olivier Aumage, 2000, IPDPS Workshops.

Programming Parallel and Distributed Systems for Large Scale Numerical Simulation Applications

Thomas Ropars, Christine Morin, Adrien Lebre, 2005 .

Special Issue: Euro‐Par 2010

Luc Bougé, Christian Lengauer, 2011, Concurr. Comput. Pract. Exp..

Improving the Hadoop map/reduce framework to support concurrent appends through the BlobSeer BLOB management system

Gabriel Antoniu, Luc Bougé, Diana Moise, 2010, HPDC '10.

New Software and Platforms - Major Software

Gabriel Antoniu, Luc Bougé, Alexandru Costan, 2015 .

Special Issue: Euro‐Par 2008

Luc Bougé, Christian Lengauer, 2009, Concurr. Comput. Pract. Exp..

Implementing Java Consistency Using a Generic, Multithreaded DSM Runtime System

Philip J. Hatcher, Gabriel Antoniu, Luc Bougé, 2000, IPDPS Workshops.

Euro-Par 2007, Parallel Processing, 13th International Euro-Par Conference, Rennes, France, August 28-31, 2007, Proceedings

Anne-Marie Kermarrec, Luc Bougé, Thierry Priol, 2007, Euro-Par.

Proceedings of the 13th international Euro-Par conference on Parallel Processing

Anne-Marie Kermarrec, Luc Bougé, Thierry Priol, 2007 .

GDS: An Architecture Proposal for a Grid Data-Sharing Service

Pierre Sens, Sébastien Monnet, Mathieu Jan, 2004, Future Generation Grids.

Towards Efficient Power Management in MapReduce: Investigation of CPU-Frequencies Scaling on Power Efficiency in Hadoop

Gabriel Antoniu, Luc Bougé, Shadi Ibrahim, 2014, ARMS-CC@PODC.

New Results - Energy-aware data management in clouds and HPC

Gabriel Antoniu, Luc Bougé, Shadi Ibrahim, 2015 .

Test sets generation from algebraic specifications using logic programming

Laurent Fribourg, Luc Bougé, Marie-Claude Gaudel, 1986, J. Syst. Softw..

DSM-PM2: a multi-protocol DSM layer for the PM2 multithreaded runtime system

Gabriel Antoniu, Luc Bougé, Raymond Namyst, 2000 .

Making a DSM consistency protocol hierarchy-aware: an efficient synchronization scheme

Gabriel Antoniu, Luc Bougé, Sébastien Lacour, 2003, CCGrid 2003. 3rd IEEE/ACM International Symposium on Cluster Computing and the Grid, 2003. Proceedings..

Keeping up with storage: Decentralized, write-enabled dynamic geo-replication

María S. Pérez-Hernández, Gabriel Antoniu, Luc Bougé, 2017, Future Gener. Comput. Syst..

Large-scale distributed storage for highly concurrent Mapreduce applications

Gabriel Antoniu, Luc Bougé, Diana Moise, 2010, 2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW).

Monitoring the BlobSeer distributed data-management platform using the MonALISA framework

Gabriel Antoniu, Luc Bougé, Alexandru Costan, 2009 .

Where should concurrent rotations take place to rebalance a distributed arbitrary search tree

Xavier Messeguer Peypoch, Luc Bougé, Joaquim Gabarró Vallès, 1996 .

Erratum to: Euro-Par 2017: Parallel Processing Workshops

Laura Ricci, Emmanuel Jeannot, Rizos Sakellariou, 2017, Euro-Par 2017.

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 .

Special issue: Euro‐Par 2015

Jesper Larsson Träff, Luc Bougé, Christian Lengauer, 2016, Concurr. Comput. Pract. Exp..

BlobSeer: Bringing high throughput under heavy concurrency to Hadoop Map-Reduce applications

Gabriel Antoniu, Luc Bougé, Bogdan Nicolae, 2010, 2010 IEEE International Symposium on Parallel & Distributed Processing (IPDPS).

Compiling Data-Parallel Programs to a Distributed Runtime Environment with Thread Isomigration

Gabriel Antoniu, Luc Bougé, Raymond Namyst, 1999, Parallel Process. Lett..

BlobSeer: how to enable efficient versioning for large object storage under heavy access concurrency pdf

Gabriel Antoniu, Luc Bougé, Bogdan Nicolae, 2009, EDBT/ICDT '09.

Experimentations With CoRDAGe, A Generic Service For Co-Deploying and Re-Deploying Applications On Grids

Gabriel Antoniu, Loïc Cudennec, Luc Bougé, 2009 .

Special issue on Parallel Computing

Yves Robert, Pierre Fraigniaud, Luc Bougé, 1998 .

On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language

Luc Bougé, Gil Utard, Yann Le Guyadec, 1994, CONPAR.

On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes

Luc Bougé, L. Bougé, 1988, Acta Informatica.

Proofs by annotations for a simple data-parallel language

Luc Bougé, David Cachera, 1995 .

Exploring Energy-Consistency Trade-Offs in Cassandra Cloud Storage System

María S. Pérez-Hernández, Gabriel Antoniu, Luc Bougé, 2015, 2015 27th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD).

MADELEINE: an efficient and portable communication interface for RPC-based multithreaded environments

Jean-François Méhaut, Luc Bougé, Raymond Namyst, 1998, Proceedings. 1998 International Conference on Parallel Architectures and Compilation Techniques (Cat. No.98EX192).

Towards a Grid File System Based on a Large-Scale BLOB Management Service

Osamu Tatebe, Gabriel Antoniu, Luc Bougé, 2009, CoreGRID@Euro-Par.

On the Completeness of a Proof System for a Simple Data-Parallel Programming Language

Luc Bougé, David Cachera, 1995, Euro-Par.

Bridging Data in the Clouds: An Environment-Aware System for Geographically Distributed Data Transfers

Rui Wang, Gabriel Antoniu, Luc Bougé, 2014, 2014 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing.

Application of Prolog to Test Sets Generation from Algebraic Specifications

Laurent Fribourg, Luc Bougé, Marie-Claude Gaudel, 1985, TAPSOFT, Vol.2.

Large-Scale Deployment in P2P Experiments Using the JXTA Distributed Framework

Sébastien Monnet, Mathieu Jan, Gabriel Antoniu, 2004, Euro-Par.

Madeleine II: a portable and efficient communication library for high-performance cluster computing

Guillaume Mercier, Jean-François Méhaut, Luc Bougé, 2000, Proceedings IEEE International Conference on Cluster Computing. CLUSTER 2000.

Control structures for data-parallel SIMD languages: semantics and implementation

Luc Bougé, Jean-Luc Levaire, 1992, Future Gener. Comput. Syst..

Peer-to-Peer Distributed Shared Memory?

Mathieu Jan, Gabriel Antoniu, Luc Bougé, 2003 .

An Efficient and Transparent Thread Migration Scheme in the PM2 Runtime System

Gabriel Antoniu, Luc Bougé, Raymond Namyst, 1999, IPPS/SPDP Workshops.

Special Issue: Euro‐Par 2012

Luc Bougé, Christian Lengauer, 2013, Concurr. Comput. Pract. Exp..

Two Normal Form Theorems for CSP Programs

Luc Bougé, Krzysztof R. Apt, Ph. Clermont, 1987, Inf. Process. Lett..

Special Issue: Euro‐Par 2011

Luc Bougé, Christian Lengauer, 2013, Concurr. Comput. Pract. Exp..

Height-relaxed AVL rebalancing: a unified, fine-grained approach to concurrent dictionaries

Xavier Messeguer Peypoch, Luc Bougé, Joaquim Gabarró Vallès, 1998 .

Concurrent Rebalancing of ACL Trees: A Fine-Grained Approach (Extended Abstract)

Joaquim Gabarró, Luc Bougé, Nicolas Schabanel, 1997, Euro-Par.

A performance evaluation of Apache Kafka in support of big data streaming applications

Luc Bougé, Alexandru Costan, Paul Le Noac'h, 2017, 2017 IEEE International Conference on Big Data (Big Data).

Proceedings of the 13th European international conference on Parallel Processing

Anne-Marie Kermarrec, Luc Bougé, Thierry Priol, 2007 .

Special Issue: Euro-Par 2008

Luc Bougé, Christian Lengauer, 2009 .

Special Issue: Euro‐Par 2007

Luc Bougé, Christian Lengauer, 2009, Concurr. Comput. Pract. Exp..

PhD Forum Introduction

Bo Hong, Luc Bougé, 2012, IPDPS Workshops.

Special Issue: Euro-Par 2007

Luc Bougé, Christian Lengauer, 2009 .

SAGE: Geo-Distributed Streaming Data Analysis in Clouds

Gabriel Antoniu, Luc Bougé, Radu Tudoran, 2013, 2013 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum.

Escape constructs in data-parallel languages: semantics and proof system

Luc Bougé, Gil Utard, 1994 .

Bringing Introspection Into the BlobSeer Data-Management System Using the MonALISA Distributed Monitoring Framework

Gabriel Antoniu, Luc Bougé, Alexandru Costan, 2010, 2010 International Conference on Complex, Intelligent and Software Intensive Systems.

DSM-PM2: A Portable Implementation Platform for Multithreaded DSM Consistency Protocols

Gabriel Antoniu, Luc Bougé, 2001, HIPS.

Repeated Synchronous Snapshots and Their Implementation in CSP (Extended Abstract)

Luc Bougé, L. Bougé, 1985, ICALP.

A multithreaded runtime environment with thread migration for a HPF data-parallel compiler

Philip J. Hatcher, Luc Bougé, Raymond Namyst, 1998, Proceedings. 1998 International Conference on Parallel Architectures and Compilation Techniques (Cat. No.98EX192).

Repeated Snapshots in Distributed Systems with Synchronous Communications and their Implementation in CSP

Luc Bougé, L. Bougé, 1987, Theor. Comput. Sci..

On Understanding the Energy Impact of Speculative Execution in Hadoop

Gabriel Antoniu, Luc Bougé, Shadi Ibrahim, 2015, 2015 IEEE International Conference on Data Science and Data Intensive Systems.

A compositional approach to superimposition

Nissim Francez, Luc Bougé, N. Francez, 1988, POPL '88.

High Performance Computing on Heterogeneous Clusters with the Madeleine II Communication Library

Jean-François Méhaut, Luc Bougé, Lionel Eyraud-Dubois, 2004, Cluster Computing.

JUXMEM: Weaving together the P2P and DSM paradigms to enable a Grid Data-sharing Service

Mathieu Jan, Gabriel Antoniu, Luc Bougé, 2004 .

DSM-PM2: a portable implementation platform for multithreaded DSM consistency protocols

Gabriel Antoniu, Luc Bougé, L. Bougé, 2001, Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001.

Going Large-scale in P2P Experiments Using the JXTA Distributed Framework

Sébastien Monnet, Mathieu Jan, Gabriel Antoniu, 2004 .

Euro-Par 2017: Parallel Processing Workshops

Laura Ricci, Emmanuel Jeannot, Rizos Sakellariou, 2017, Lecture Notes in Computer Science.

Advanced Parallel Processing Technologies

Guangyu Sun, Luc Bougé, Junjie Wu, 2017, Lecture Notes in Computer Science.

Parallel Processing: CONPAR 92—VAPP V

Yves Robert, Denis Trystram, Luc Bougé, 1992, Lecture Notes in Computer Science.

DStore: An in-memory document-oriented store

Gabriel Antoniu, Luc Bougé, Viet-Trung Tran, 2012 .

Proceedings of the 11th international conference on High Performance Computing

Viktor K. Prasanna, Luc Bougé, 2004 .

On the Semantics of Languages for Massively Parallel SIMD Architectures

Luc Bougé, 1991, PARLE.

Madeleine II: a portable and efficient communication library for high-performance cluster computing

Jean-François Méhaut, Luc Bougé, Raymond Namyst, 2002, Parallel Comput..

Towards Smart Visualization for HPC Simulations

Gabriel Antoniu, Luc Bougé, Lokman Rahmani, 2014 .

Generic Distributed Shared Memory: the DSM-PM2 Approach

Gabriel Antoniu, Luc Bougé, Raymond Namyst, 2000 .

Generic load balancing for HPF programs: Application to the Flame Simulation kernel

Gabriel Antoniu, Luc Bougé, Christian Pérez, 1999 .

High Performance Computing - HiPC 2004

Viktor K. Prasanna, Luc Bougé, V. Prasanna, 2004, Lecture Notes in Computer Science.

Parallel Programming: Models, Methods, and Languages - Introduction

Mamoun Filali, Luc Bougé, Henk J. Sips, 1999, Euro-Par.

Efficient Communications in Multithreaded Runtime Systems

Jean-François Méhaut, Luc Bougé, Raymond Namyst, 1999, IPPS/SPDP Workshops.

On-the-Fly Task Execution for Speeding Up Pipelined MapReduce

Gabriel Antoniu, Luc Bougé, Diana Moise, 2012, Euro-Par.

Formal Validation of Data Parallel Programs: Introducting the Assertional Approach

Luc Bougé, Gil Utard, David Cachera, 1996, The Data Parallel Programming Model.

The Hyperion system: Compiling multithreaded Java bytecode for distributed execution

Philip J. Hatcher, Gabriel Antoniu, Luc Bougé, 2001, Parallel Comput..

A Contribution to the Theory of Program Testing

Luc Bougé, L. Bougé, 1985, Theor. Comput. Sci..

Enabling High Data Throughput in Desktop Grids through Decentralized Data and Metadata Management: The BlobSeer Approach

Gabriel Antoniu, Luc Bougé, Bogdan Nicolae, 2009, Euro-Par.

Pyramid: A large-scale array-oriented active storage system

Gabriel Antoniu, Luc Bougé, Bogdan Nicolae, 2011 .

On the Existence of Generic Broadcast Algorithms in Networks of Communicating Sequential Processes (Extended Abstract)

Luc Bougé, L. Bougé, 1987, WDAG.

Enabling Java for high-performance computing

Philip J. Hatcher, Henri E. Bal, Luc Bougé, 2001, CACM.

Enabling lock-free concurrent fine-grain access to massive distributed data: Application to supernovae detection

Gabriel Antoniu, Luc Bougé, Bogdan Nicolae, 2008, 2008 IEEE International Conference on Cluster Computing.

Scalable data management for map-reduce-based data-intensive applications: a view for cloud and hybrid infrastructures

Gilles Fedak, Franck Cappello, Gabriel Antoniu, 2013, Int. J. Cloud Comput..

BlobSeer: Next-generation data management for large scale infrastructures

Gabriel Antoniu, Luc Bougé, Bogdan Nicolae, 2011, J. Parallel Distributed Comput..

JuxMem: An Adaptive Supportive Platform for Data Sharing on the Grid

Mathieu Jan, Gabriel Antoniu, Luc Bougé, 2001, Scalable Comput. Pract. Exp..

Message from PhD Forum Organizers

Luc Bougé, Manish Parashar, 2010, IPDPS Workshops.

The Data Parallel Programming Model: A Semantic Perspective

Luc Bougé, 1996, The Data Parallel Programming Model.

Compiling Multithreaded Java Bytecode for Distributed Execution (Distinguished Paper)

Philip J. Hatcher, Gabriel Antoniu, Luc Bougé, 2000, Euro-Par.

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 .

Special Issue: Euro‐Par 2014

Luc Bougé, Fernando M. A. Silva, Christian Lengauer, 2015, Concurr. Comput. Pract. Exp..

Proceedings of the Second Joint International Conference on Vector and Parallel Processing: Parallel Processing

Yves Robert, Denis Trystram, Luc Bougé, 1992 .

Formal Validation of Data-Parallel Programs: A Two-Component Assertional Proof System for a Simple Language

Luc Bougé, Gil Utard, David Cachera, 1997, Theor. Comput. Sci..

Achieving high throughput for large scale event streaming across geographically distributed data-centers with JetStream

Gabriel Antoniu, Luc Bougé, Alexandru Costan, 2014, DEBS '14.

JetStream: enabling high performance event streaming across cloud data-centers

Gabriel Antoniu, Luc Bougé, Alexandru Costan, 2014, DEBS '14.

Adaptive Performance-Constrained In Situ Visualization of Atmospheric Simulations

Robert Sisneros, Gabriel Antoniu, Luc Bougé, 2016, 2016 IEEE International Conference on Cluster Computing (CLUSTER).

Distributed Management of Massive Data: An Efficient Fine-Grain Data Access Scheme

Gabriel Antoniu, Luc Bougé, Bogdan Nicolae, 2008, VECPAR.

Message from the PhD Forum Co-chairs

Bo Hong, Luc Bougé, 2013, 2013 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum.

Chameleon: Customized Application-Specific Consistency by means of Behavior Modeling

Gabriel Antoniu, Luc Bougé, Houssem-Eddine Chihoub, 2013 .

A logical framework to prove properties of ALPHA programs

Luc Bougé, David Cachera, 1997, Proceedings IEEE International Conference on Application-Specific Systems, Architectures and Processors.

Euro-Par'96 Parallel Processing

Yves Robert, Pierre Fraigniaud, Luc Bougé, 1996, Lecture Notes in Computer Science.

Topic 17 Peer-to-Peer Computing

Franck Cappello, Luc Bougé, Omer F. Rana, 2003 .

Bringing introspection into BlobSeer: Towards a self-adaptive distributed data management system

Gabriel Antoniu, Luc Bougé, Alexandru Costan, 2011, Int. J. Appl. Math. Comput. Sci..

Towards Scalable Data Management for MapReduce-based Data-Intensive Applications on Cloud and Hybrid Infrastructures

Gilles Fedak, Franck Cappello, Gabriel Antoniu, 2012 .

A Proofe System for a Simple Data-Parallel Programming Language

Luc Bougé, Gil Utard, Yann Le Guyadec, 1994, Applications in Parallel and Distributed Computing.

A Proposition for a Theory of Testing: An Abstract Approach to the Testing Process

Luc Bougé, 1983 .