Dr. Wadoud Bousdira
Associate Professor
Member of the LMV Team
Laboratoire d'Informatique Fondamentale d'Orléans
Université d'Orléans - Computer Sciences Department

Université d'Orléans - Faculté des sciences
Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2, France

☎ +33 (0)2 38 41 72 69
@ firstname.lastname@univ-orleans.fr


Research Interests
Teaching
Research Projects
Phd. Students
Recent Publications

Transforming non textually aligned SPMD programs into textually aligned SPMD programs by using rewriting rules
International Conference on High Performance Computing & Simulation, Jul 2019, Dublin, Ireland
Wadoud Bousdira,

Safe Usage of Registers in BSPlib
SAC 2019, Apr 2019, Limassol, Cyprus
Wadoud Bousdira, Arvid Jakobsson, Frederic Dabrowski,

Safe Usage of Registers in BSPlib (Preprint)
2019
Arvid Jakobsson, Frederic Dabrowski, Wadoud Bousdira,

Replicated Synchronization for Imperative BSP Programs
International Conference on Computational Science (ICCS), 2017, Zürich, Switzerland
Arvid Jakobsson, Frederic Dabrowski, Wadoud Bousdira, Frédéric Loulergue, Gaetan Hains,

Calculating Parallel Programs in Coq using List Homomorphisms
International Journal of Parallel Programming, Springer Verlag, 2017, 45 (2), pp.300-319. ⟨10.1007/s10766-016-0415-8⟩
Frédéric Loulergue, Wadoud Bousdira, Julien Tesson,