Frédéric LOULERGUE

Professeur des universités
Université d'Orléans
LMV
Membre du conseil, Responsable d'équipe
frederic.loulergue[at]univ-orleans.fr
Page web

Publications HAL de Frédéric LOULERGUE sous affiliation au LIFO - 118 publications

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

  • 2025 - (3)

  • 2024 - (11)

    • Logiciel - (2)

    • Communications sans actes - (2)

    • Direction d'ouvrages scientifiques - (1)

      • Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021
        Auteur(s) : Frédéric LOULERGUE, Wolfgang AHRENDT, Heike WEHRHEIM

        HAL : 4528312

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

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

      • Sound runtime assertion checking for memory properties via program transformation
        Auteur(s) : Frédéric LOULERGUE, Dara LY, Nikolai KOSMATOV, Julien SIGNOLES

        HAL : 4501547

      • Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey
        Auteur(s) : Frédéric LOULERGUE, Hélène COULLON, Ludovic HENRIO, Simon ROBILLARD

        HAL : 4271495

  • 2023 - (6)

  • 2021 - (3)

    • Chapitre d'ouvrages scientifiques - (2)

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

  • 2020 - (4)

    • Direction d'ouvrages scientifiques - (1)

      • Special Issue of the Journal of Logical and Algebraic Methods in Programming on Formal Approaches to Parallel and Distributed Systems 2018
        Auteur(s) : Frédéric LOULERGUE

        HAL : 3102811

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

      • Verified Runtime Assertion Checking for Memory Properties
        Auteur(s) : Frédéric LOULERGUE, Dara LY, Nikolai KOSMATOV, Julien SIGNOLES

        HAL : 2879211

      • Pattern-driven Design of a Multiparadigm Parallel Programming Framework
        Auteur(s) : Frédéric LOULERGUE, Virginia NICULESCU, Darius BUFNEA, Adrian STERCA

        HAL : 2494416

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

      • Transforming powerlist-based divide-and-conquer programs for an improved execution model
        Auteur(s) : Frédéric LOULERGUE, Virginia NICULESCU

        HAL : 2317068

  • 2019 - (10)

    • Conférence donnée sur invitation - (1)

      • La logique contre les fantômes: comparaison de deux approches pour la preuve d'un module de listes chaînées *
        Auteur(s) : Frédéric LOULERGUE, Allan BLANCHARD, Nikolai KOSMATOV

        HAL : 2317143

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

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

      • Soundness of a Dataflow Analysis for Memory Monitoring
        Auteur(s) : Frédéric LOULERGUE, Dara LY, Nikolai KOSMATOV, Julien SIGNOLES

        HAL : 3622785

  • 2018 - (11)

    • Communications sans actes - (1)

      • Des listes et leurs fantômes : vérification d'un module critique de Contiki avec FRAMA-C
        Auteur(s) : Frédéric LOULERGUE, Allan BLANCHARD, Nikolai KOSMATOV

        HAL : 1811932

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

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

      • MMFilter: A CHR-Based Solver for Generation of Executions under Weak Memory Models
        Auteur(s) : Frédéric LOULERGUE, Allan BLANCHARD, Nikolai KOSMATOV

        HAL : 1777123

  • 2017 - (12)

  • 2016 - (2)

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

      • A CHR-Based Solver for Weak Memory Behaviors
        Auteur(s) : Frédéric LOULERGUE, Allan BLANCHARD, Nikolai KOSMATOV

        HAL : 4004403

      • Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs
        Auteur(s) : Frédéric LOULERGUE, Allan BLANCHARD, Nikolai KOSMATOV, Matthieu LEMERRE

        HAL : 1423641

  • 2015 - (6)

  • 2014 - (11)

    • Autres Publications - (2)

    • Communications sans actes - (4)

      • PaPDAS - Parallel Program Development with Algorithmic Skeletons
        Auteur(s) : Frédéric LOULERGUE

        HAL : 979100

      • Dérivation formelle et extraction d'un programme data-parallèle pour le problème des valeurs inférieures les plus proches
        Auteur(s) : Frédéric LOULERGUE, Simon ROBILLARD, Julien TESSON, Joeffrey LEGAUX, Zhenjiang HU

        HAL : 979092

      • Handling Data-skew Effects in Join Operations using MapReduce
        Auteur(s) : Frédéric LOULERGUE, Mostafa BAMHA, Mohamad AL HAJJ HASSAN

        HAL : 979104

      • Certified Parallel Program Calculation in Coq: A Tutorial
        Auteur(s) : Frédéric LOULERGUE, Julien TESSON

        HAL : 966632

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

  • 2013 - (5)

  • 2012 - (4)

  • 2011 - (9)

    • Direction d'ouvrages scientifiques - (1)

      • PREFACE: Special Issue on High-Level Parallel Programming and Applications
        Auteur(s) : Frédéric LOULERGUE, Gaétan HAINS

        HAL : 4047938

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

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

  • 2010 - (5)

    • Autres Publications - (1)

      • Systematic Development of Functional Bulk Synchronous Parallel Programs
        Auteur(s) : Frédéric LOULERGUE, Julien TESSON, Zhenjiang HU, Kiminori MATSUZAKI, Louis GESBERT

        HAL : 466183

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

      • Systematic Development of Correct Bulk Synchronous Parallel Programs
        Auteur(s) : Frédéric LOULERGUE, Louis GESBERT, Zhenjiang HU, Kiminori MATSUZAKI, Julien TESSON

        HAL : 512867

      • 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

      • Program Calculation in Coq
        Auteur(s) : Frédéric LOULERGUE, Julien TESSON, Hideki HASHIMOTO, Zhenjiang HU, Masato TAKEICHI

        HAL : 484308

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

  • 2009 - (2)

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

      • OSL: Optimized Bulk Synchronous Parallel Skeletons on Distributed Arrays
        Auteur(s) : Frédéric LOULERGUE, Noman JAVED

        HAL : 452523

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

      • A Coq Library for Program Calculation
        Auteur(s) : Frédéric LOULERGUE, Hideki HASHIMOTO, Zhenjiang HU, Julien TESSON, Masato TAKEICHI

        HAL : 452515

  • 2008 - (2)

    • Autres Publications - (1)

      • A Metaprogrammed Bulk Synchronous Parallel Algorithmic Skeleton Library
        Auteur(s) : Frédéric LOULERGUE, Noman JAVED

        HAL : 469435

    • Chapitre d'ouvrages scientifiques - (1)

      • Special issue on High-Level Parallel Programming and Applications
        Auteur(s) : Frédéric LOULERGUE, Alexander TISKIN

        HAL : 466166

  • 2007 - (5)

    • Chapitre d'ouvrages scientifiques - (2)

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

      • Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML
        Auteur(s) : Frédéric LOULERGUE, Louis GESBERT

        HAL : 452532

      • Formal Semantics for the DRMA Programming Style Subset of the BSPlib Library
        Auteur(s) : Frédéric LOULERGUE, Julien TESSON

        HAL : 452540

      • Divide-and-Conquer Programming with Minimally Synchronous Parallel ML
        Auteur(s) : Frédéric LOULERGUE, Radia BENHEDDI

        HAL : 452537

  • 2006 - (5)

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

      • A Calculus of Functional BSP Programs with Projection
        Auteur(s) : Frédéric LOULERGUE

        HAL : 452579

      • Minimally Synchronous Parallel ML with Parallel Composition
        Auteur(s) : Frédéric LOULERGUE, Radia BENHEDDI

        HAL : 64804

      • Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition
        Auteur(s) : Frédéric LOULERGUE, Radia BENHEDDI, Frédéric GAVA, Dimitri LOUIS-REGIS

        HAL : 452573

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

  • 2005 - (2)

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