Pour une liste indépendante de l'affiliation, consulter DBLP.

• 2023 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Synchronous cooperative threading model in MSSL
      Auteur(s) : Darine RAMMAL, Wadoud BOUSDIRA, Frédéric DABROWSKI
      

      HAL : 4142455

• 2019 - (3)

  • Autres Publications - (1)

    • Safe Usage of Registers in BSPlib (Preprint)
      Auteur(s) : Frédéric DABROWSKI, Wadoud BOUSDIRA, Arvid JAKOBSSON
      

      HAL : 1955283

  • Publications dans les actes d'un congrès international avec comité de lecture - (2)

    • Transforming non textually aligned SPMD programs into textually aligned SPMD programs by using rewriting rules
      Auteur(s) : Wadoud BOUSDIRA
      

      HAL : 2162234

    • Safe Usage of Registers in BSPlib
      Auteur(s) : Wadoud BOUSDIRA, Frédéric DABROWSKI, Arvid JAKOBSSON
      

      to appear - HAL : 2018651

• 2017 - (3)

  • Publications dans les actes d'un congrès international avec comité de lecture - (2)

    • Replicated Synchronization for Imperative BSP Programs
      Auteur(s) : Frédéric DABROWSKI, Wadoud BOUSDIRA, Frédéric LOULERGUE, Arvid JAKOBSSON, Gaetan HAINS
      

      Procedia Computer Sciences - HAL : 1494832

    • Formalization of a Big Graph API in Coq
      Auteur(s) : Jolan PHILIPPE, Wadoud BOUSDIRA, Frédéric LOULERGUE
      

      HAL : 2317110

  • Revue internationale à comité de lecture - (1)

    • Calculating Parallel Programs in Coq using List Homomorphisms
      Auteur(s) : Frédéric LOULERGUE, Wadoud BOUSDIRA, Julien TESSON
      

      HAL : 1284953

• 2015 - (1)

  • Chapitre d'ouvrages scientifiques - (1)

    • Calcul de programmes parallèles avec Coq
      Auteur(s) : Frédéric LOULERGUE, Wadoud BOUSDIRA, Julien TESSON
      

      HAL : 1107296

• 2012 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays
      Auteur(s) : Wadoud BOUSDIRA, Frédéric LOULERGUE, Julien TESSON
      

      HAL : 708822

• 2011 - (2)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Prototyping a Library of Algorithmic Skeletons with Bulk Synchronous Parallel ML
      Auteur(s) : Frédéric LOULERGUE, Wadoud BOUSDIRA, Noman JAVED, Julien TESSON
      

      HAL : 592539

  • Publications dans les actes d'un congrès national avec comité de lecture - (1)

    • Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML
      Auteur(s) : Wadoud BOUSDIRA, Frédéric LOULERGUE, Louis GESBERT
      

      HAL : 592542

• 2010 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Functional Parallel Programming with Revised Bulk Synchronous Parallel ML
      Auteur(s) : Wadoud BOUSDIRA, Frédéric LOULERGUE, Frédéric GAVA, Louis GESBERT, Guillaume PETIOT
      

      HAL : 515223