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)

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 Loosely Synchronized Execution Model for a Simple Data-Parallel Language (Extended Abstract). - Yann Le Guyadec; Emmanuel Melin; Bruno Raffin; Xavier Rebeuf; Bernard Virot (Euro-Par, Vol. I, 1996)

Sequential-like Proofs of Data-Parallel Programs. - Yann Le Guyadec; Bernard Virot (Parallel Process. Lett., 1996)

SCL-chan: An Asynchronous Data-Parallel Language for Irregular Algorithms. - Emmanuel Melin; Bruno Raffin; Xavier Rebeuf; Bernard Virot (HIPS, 1997)

A general but simple technique to handle asynchronous data-parallel control structures. - Emmanuel Melin; Bruno Raffin; Xavier Rebeuf; Bernard Virot (PDP, 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 Structured Synchronization and Communication Model Fitting Irregular Data Accesses. - Emmanuel Melin; Bruno Raffin; Xavier Rebeuf; Bernard Virot (J. Parallel Distributed Comput., 1998)

A Cost Model for Asynchronous and Structured Message Passing. - Emmanuel Melin; Bruno Raffin; Xavier Rebeuf; Bernard Virot (Euro-Par, 1999)