Wadoud Bousdira

ORCID

Publication Activity (10 Years)

Years Active: 1987-2023
Publications (10 Years): 6

Top Venues

HPCS

SAC

ICCS

Int. J. Parallel Program.

National Polytechnic Institute of Lorraine, Nancy, France (PHD)

Education History

National Polytechnic Institute of Lorraine, Nancy, France

PHD

Publications

Darine Rammal, Wadoud Bousdira, Frédéric Dabrowski
Synchronous cooperative threading model in MSSL. SAC (2023)
Wadoud Bousdira
Transforming non textually aligned SPMD programs into textually aligned SPMD programs by using rewriting rules. HPCS (2019)
Arvid Jakobsson, Frédéric Dabrowski, Wadoud Bousdira
Safe usage of registers in BSPlib. SAC (2019)
Jolan Philippe, Wadoud Bousdira, Frédéric Loulergue
Formalization of a Big Graph API in Coq. HPCS (2017)
Frédéric Loulergue, Wadoud Bousdira, Julien Tesson
Calculating Parallel Programs in Coq Using List Homomorphisms. Int. J. Parallel Program. 45 (2) (2017)
Arvid Jakobsson, Frédéric Dabrowski, Wadoud Bousdira, Frédéric Loulergue, Gaétan Hains
Replicated Synchronization for Imperative BSP Programs. ICCS (2017)
Wadoud Bousdira, Frédéric Loulergue, Julien Tesson
A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays. ICA3PP (1) (2012)
Wadoud Bousdira, Frédéric Gava, Louis Gesbert, Frédéric Loulergue, Guillaume Petiot
Functional Parallel Programming with Revised Bulk Synchronous Parallel ML. ICNC (2010)
Zahir Maazouzi, Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin
CDR: A Rewriting Based Tool to Design FPLA Circuits. AISC (2000)
Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin, Zahir Maazouzi
Designing FPLA Combinational Circuits by Conditional Rewriting. ECAI (1998)
Nirina Andrianarivelo, Wadoud Bousdira, Jean-Marc Talbot
On Theorem-Proving in Horn Theories with Built-in Algebras. AISMC (1996)
Wadoud Bousdira, Jean-Luc Rémy
On Sufficient Completeness of Conditional Specifications. CTRS (1990)
Wadoud Bousdira, Jean-Luc Rémy
Hierarchical Contextual Rewriting with Several Levels. STACS (1988)
Wadoud Bousdira
A Completion Procedure for Hierarchical Conditional Rewriting Systems. ALP (1988)
Wadoud Bousdira, Jean-Luc Rémy
REVEUR4: A Laboratory for Conditional Rewriting. STACS (1987)
Wadoud Bousdira, Jean-Luc Rémy
Hierarchical Contextual Rewriting with Several Levels. CTRS (1987)
Wadoud Bousdira, Jean-Luc Rémy
REVEUR4: A Laboratory for Conditional Rewriting. CTRS (1987)

Wadoud Bousdira.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wadoud Bousdira