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

• 2025 - (4)

  • Autres Publications - (1)

    • Functional Reactive Programming with Effects, a more permissive approach
      Auteur(s) : Frédéric DABROWSKI, Jordan ISCHARD
      

      HAL : 5098403

  • Communications sans actes - (1)

    • Une sémantique mécanisée d'un langage FRP avec effets
      Auteur(s) : Jordan ISCHARD, Frédéric DABROWSKI, Jules CHOUQUET, Frédéric LOULERGUE
      

      HAL : 5135592

  • Poster - (1)

    • Deductive Verification of Synchronous Reactive Programs
      Auteur(s) : Térence CLASTRES, Frédéric DABROWSKI
      

      HAL : 5126380

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

    • A Mechanized Formalization of an FRP Language with Effects
      Auteur(s) : Jordan ISCHARD, Frédéric DABROWSKI, Jules CHOUQUET, Frédéric LOULERGUE
      

      HAL : 5048931

• 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

• 2021 - (1)

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

    • On Single-Valuedness in Textually Aligned SPMD Programs
      Auteur(s) : Frédéric DABROWSKI
      

      HAL : 3178944

• 2020 - (2)

  • Communications sans actes - (1)

    • Verification of DRMA communications
      Auteur(s) : Frédéric DABROWSKI
      

      Draft Proceedings of HLPP 2020 - HAL : 2870592

  • Ouvrage ou Chapitre d'ouvrages scientifiques - (1)

    • The Journal of Supercomputing volume 76, page 4976 (2020)
      Auteur(s) : Frédéric DABROWSKI
      

      HAL : 3628124

• 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 - (1)

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

      to appear - HAL : 2018651

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

    • A denotational semantics of textually aligned SPMD Program
      Auteur(s) : Frédéric DABROWSKI
      

      HAL : 2018652

• 2018 - (2)

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

    • A Denotational Semantics of Textually Aligned SPMD Programs
      Auteur(s) : Frédéric DABROWSKI
      

      International Conference on High Performance Computing & Simulation - HAL : 1785110

    • Textual Alignment in SPMD Programs
      Auteur(s) : Frédéric DABROWSKI
      

      HAL : 1643971

• 2017 - (1)

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

    • 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

• 2015 - (2)

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

    • Nested atomic sections with thread escape: Compilation to threads and locks
      Auteur(s) : Frédéric DABROWSKI, Frédéric LOULERGUE, Thomas PINSARD
      

      HAL : 1105093

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

    • A formal semantics of nested atomic sections with thread escape
      Auteur(s) : Frédéric DABROWSKI, Frédéric LOULERGUE, Thomas PINSARD
      

      HAL : 1143199

• 2014 - (1)

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

    • Nested Atomic Sections with Thread Escape: A Formal Definition
      Auteur(s) : Frédéric DABROWSKI, Frédéric LOULERGUE, Thomas PINSARD
      

      HAL : 905949

• 2013 - (1)

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

    • Nested Atomic Sections with Thread Escape: An Operational Semantics
      Auteur(s) : Frédéric DABROWSKI, Frédéric LOULERGUE, Thomas PINSARD
      

      HAL : 864820

• 2010 - (1)

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

    • Bulk Synchronous Parallel ML with Exceptions
      Auteur(s) : Frédéric LOULERGUE, Frédéric DABROWSKI, Louis GESBERT, Frédéric GAVA
      

      HAL : 452527

• 2006 - (1)

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

    • Bulk Synchronous Parallel ML avec exceptions
      Auteur(s) : Frédéric LOULERGUE, Frédéric DABROWSKI, Louis GESBERT, Frédéric GAVA
      

      HAL : 452566