Dr. Wadoud Bousdira
Associate Professor
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 rulesIEEE/ACM International Conference on High Performance Computing & Simulation, Jul 2019, Dublin, Ireland. pp.982-989Wadoud Bousdira, Safe Usage of Registers in BSPlibSAC 2019, Apr 2019, Limassol, Cyprus. ⟨10.1145/3297280.3297421⟩Wadoud Bousdira, Arvid Jakobsson, Frederic Dabrowski, Safe Usage of Registers in BSPlib (Preprint)2019Arvid Jakobsson, Frederic Dabrowski, Wadoud Bousdira, Formalization of a Big Graph API in Coq2017 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 ProgramsInternational 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 HomomorphismsInternational Journal of Parallel Programming, 2017, 45 (2), pp.300-319. ⟨10.1007/s10766-016-0415-8⟩Frédéric Loulergue, Wadoud Bousdira, Julien Tesson,