Wadoud Bousdira

According to our database, Wadoud Bousdira authored at least 16 papers between 1987 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Synchronous cooperative threading model in MSSL.

Darine Rammal, Wadoud Bousdira, Frédéric Dabrowski

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

2019

Safe usage of registers in BSPlib.

Arvid Jakobsson, Frédéric Dabrowski, Wadoud Bousdira

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Transforming non textually aligned SPMD programs into textually aligned SPMD programs by using rewriting rules.

Wadoud Bousdira

Proceedings of the 17th International Conference on High Performance Computing & Simulation, 2019

2017

Calculating Parallel Programs in Coq Using List Homomorphisms.

Frédéric Loulergue, Wadoud Bousdira, Julien Tesson

Int. J. Parallel Program., 2017

Formalization of a Big Graph API in Coq.

Jolan Philippe, Wadoud Bousdira, Frédéric Loulergue

Proceedings of the 2017 International Conference on High Performance Computing & Simulation, 2017

Replicated Synchronization for Imperative BSP Programs.

Arvid Jakobsson, Frédéric Dabrowski, Wadoud Bousdira, Frédéric Loulergue, Gaétan Hains

Proceedings of the International Conference on Computational Science, 2017

2012

A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays.

Wadoud Bousdira, Frédéric Loulergue, Julien Tesson

Proceedings of the Algorithms and Architectures for Parallel Processing, 2012

2010

Functional Parallel Programming with Revised Bulk Synchronous Parallel ML.

Wadoud Bousdira, Frédéric Gava, Louis Gesbert, Frédéric Loulergue, Guillaume Petiot

Proceedings of the First International Conference on Networking and Computing, 2010

2000

CDR: A Rewriting Based Tool to Design FPLA Circuits.

Zahir Maazouzi, Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin

Proceedings of the Artificial Intelligence and Symbolic Computation, 2000

1998

Designing FPLA Combinational Circuits by Conditional Rewriting.

Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin, Zahir Maazouzi

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1996

On Theorem-Proving in Horn Theories with Built-in Algebras.

Nirina Andrianarivelo, Wadoud Bousdira, Jean-Marc Talbot

Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1996

1990

Etude des propriétés des systèmes de réécriture conditionnelle : mise en oeuvre de deux algorithmes de test de confluence sur les termes clos. (Study of conditional term rewriting system properties. Making use of two algorithms for testing confluence on ground terms).

Wadoud Bousdira

PhD thesis, 1990

On Sufficient Completeness of Conditional Specifications.

Wadoud Bousdira, Jean-Luc Rémy

Proceedings of the Conditional and Typed Rewriting Systems, 1990

1988

A Completion Procedure for Hierarchical Conditional Rewriting Systems.

Wadoud Bousdira

Proceedings of the Algebraic and Logic Programming, 1988

1987

REVEUR4: A Laboratory for Conditional Rewriting.

Wadoud Bousdira, Jean-Luc Rémy

Proceedings of the Conditional Term Rewriting Systems, 1987

Hierarchical Contextual Rewriting with Several Levels.

Wadoud Bousdira, Jean-Luc Rémy

Proceedings of the Conditional Term Rewriting Systems, 1987