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

Semantics of Programming Languages
Program Analysis
Functional Parallel programs

Teaching

Research Projects

PaPDAS (in partnership with JST (Japan Science and Technology Agency)) ANR SIMI 2 2011-2014 Parallel Program Development with Algorithmic Skeletons

Phd. Students

Arvid Jakobsson, (CIFRE Huawei, 2016-), BSP-programs Static Analysis

Recent Publications

Transforming non textually aligned SPMD programs into textually aligned SPMD programs by using rewriting rules
IEEE/ACM International Conference on High Performance Computing & Simulation, Jul 2019, Dublin, Ireland. pp.982-989
Wadoud Bousdira,

Safe Usage of Registers in BSPlib
SAC 2019, Apr 2019, Limassol, Cyprus. ⟨10.1145/3297280.3297421⟩
Wadoud Bousdira, Arvid Jakobsson, Frederic Dabrowski,

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

Formalization of a Big Graph API in Coq
2017 International Conference on High Performance Computing & Simulation (HPCS), Jul 2017, Genoa, France. IEEE, 108, pp.893-894, 2017, ⟨10.1109/HPCS.2017.140⟩
Jolan Philippe, Wadoud Bousdira, Frédéric Loulergue,

Replicated Synchronization for Imperative BSP Programs
International Conference on Computational Science (ICCS), 2017, Zürich, Switzerland. ⟨10.1016/j.procs.2017.05.123⟩
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, 2017, 45 (2), pp.300-319. ⟨10.1007/s10766-016-0415-8⟩
Frédéric Loulergue, Wadoud Bousdira, Julien Tesson,