Wadoud Bousdira

18 papers A 3Misc 5Journal 1Unranked 8

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