Frédéric Loulergue Professeur, Université d'Orléans

Identifiants chercheurs

IdHAL :

frederic-loulergue

ORCID :

0000-0001-9301-7829

IdRef :

096178558

Publications

Article dans une revue (15)

Deductively Verifying Functional Scalable Parallel Programs with Why3 Frédéric Loulergue,Olivia Proust Software and Systems Modeling, 2026, ⟨10.1007/s10270-025-01340-y⟩ Article dans une revue hal-05342070v1
Towards Formal Verification of a TPM Software Stack: Achievements and Opportunities Yani Ziani,Téo Bernier,Nikolai Kosmatov,Frédéric Loulergue,Daniel Gracia Perez Formal Aspects of Computing, 2025, 37 (4), ⟨10.1145/3743153⟩ Article dans une revue hal-05095685v1
Sound runtime assertion checking for memory properties via program transformation Dara Ly,Nikolai Kosmatov,Frédéric Loulergue,Julien Signoles Formal Aspects of Computing, 2024, 36 (1), pp.4:1-46. ⟨10.1145/3605951⟩ Article dans une revue hal-04065774v1
Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey Hélène Coullon,Ludovic Henrio,Frédéric Loulergue,Simon Robillard ACM Computing Surveys, 2023, 56 (1), pp.1-37. ⟨10.1145/3595376⟩ Article dans une revue hal-04067909v1
Transforming powerlist-based divide-and-conquer programs for an improved execution model Virginia Niculescu,Frédéric Loulergue Journal of Supercomputing, 2020, 76 (7), pp.22. ⟨10.1007/s11227-019-02820-x⟩ Article dans une revue hal-02317068v1
Soundness of a Dataflow Analysis for Memory Monitoring Dara Ly,Nikolai Kosmatov,Julien Signoles,Frédéric Loulergue Ada Letters, 2019, 38 (2), pp.97-108. ⟨10.1145/3375408.3375416⟩ Article dans une revue hal-03622785v1
MMFilter: A CHR-Based Solver for Generation of Executions under Weak Memory Models Allan Blanchard,Nikolai Kosmatov,Frédéric Loulergue Computer Languages, Systems and Structures, 2018, 53, pp.121-142. ⟨10.1016/j.cl.2018.03.002⟩ Article dans une revue hal-01777123v1
A BSPlib-style API for Bulk Synchronous Parallel ML Frédéric Loulergue Scalable Computing : Practice and Experience, 2017, 18 (3), ⟨10.12694/scpe.v18i3.1306⟩ Article dans une revue hal-02317103v1
Calculating Parallel Programs in Coq using List Homomorphisms Frédéric Loulergue,Wadoud Bousdira,Julien Tesson International Journal of Parallel Programming, 2017, 45 (2), pp.300-319. ⟨10.1007/s10766-016-0415-8⟩ Article dans une revue hal-01159182v1
Automated generation of BSP automata Thibaut Tachon,Chong Li,Gaétan Hains,Frédéric Loulergue Parallel Processing Letters, 2017, 17 (1), ⟨10.1142/S0129626417400023⟩ Article dans une revue hal-01495453v1
A formal semantics of nested atomic sections with thread escape Frédéric Dabrowski,Frédéric Loulergue,Thomas Pinsard Computer Languages, Systems and Structures, 2015, 42 (supl), pp.2-21. ⟨10.1016/j.cl.2015.04.001⟩ Article dans une revue hal-01143199v1
Bulk Synchronous Parallel ML with Exceptions Louis Gesbert,Frédéric Gava,Frédéric Loulergue,Frédéric Dabrowski Future Generation Computer Systems, 2010, 26, pp.486-490. ⟨10.1016/j.future.2009.05.021⟩ Article dans une revue istex inria-00452527v1
A Functional Language for Departmental Metacomputing Frédéric Gava,Frédéric Loulergue Parallel Processing Letters, 2005, 15(3), pp.289-304 Article dans une revue hal-00110829v1
A Static Analysis for Bulk Synchronous Parallel ML to Avoid Parallel Nesting Frédéric Gava,Frédéric Loulergue Future Generation Computer Systems, 2005, 21(5), pp.665-671 Article dans une revue hal-00110830v1
Preface: Special Issue on High-Level Parallel Programming and Applications Gaétan Hains,Frédéric Loulergue Parallel Processing Letters, 2003, 13, pp.313-316 Article dans une revue hal-00005603v1

Communication dans un congrès (89)

Approches formelles pour les composants et outils système Frédéric Loulergue Journées Approches Formelles pour l'Assistance au Développement de Logiciels (AFADL), Jun 2025, Pau, France Communication dans un congrès hal-05148512v1
Projet VÉDYSEC : Vérification Dynamique de Propriétés de Sécurité Nikolai Kosmatov,Frédéric Loulergue,Julien Signoles Journées Approches Formelles dans l’Assistance au Développement du Logiciel (AFADL), Jun 2025, Pau, France Communication dans un congrès hal-05125414v1
Une sémantique mécanisée d'un langage FRP avec effets Jordan Ischard,Frédéric Dabrowski,Jules Chouquet,Frédéric Loulergue Journées Approches Formelles pour l'Assistance au Développement de Logiciels (AFADL), Jun 2025, Pau (France), France Communication dans un congrès hal-05135592v1
Combining Deductive Verification with Shape Analysis Téo Bernier,Yani Ziani,Nikolai Kosmatov,Frédéric Loulergue 27th International Conference on Fundamental Approaches to Software Engineering (FASE), 2024, Luxembourg, Luxembourg. pp.280-289, ⟨10.1007/978-3-031-57259-3_14⟩ Communication dans un congrès hal-04354615v1
Verified Parallel Programming in Coq with Bulk Synchronous Parallel Homomorphisms Frédéric Loulergue,Julien Tesson 17th International Symposium on High-Level Parallel Programming and Applications (HLPP), Jul 2024, Pisa, Italy Communication dans un congrès hal-04597523v1
Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack Yani Ziani,Nikolai Kosmatov,Frédéric Loulergue,Daniel Gracia Pérez 18th International Conference on Tests and Proofs (TAP), Sep 2024, Milan (Italie), Italy. ⟨10.1007/978-3-031-72044-4_5⟩ Communication dans un congrès hal-04637532v1
An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization Farid Arfi,Hélène Coullon,Frédéric Loulergue,Jolan Philippe,Simon Robillard ICE 2024: 17th Interaction and Concurrency Experience, Jun 2024, Groningen, Netherlands. pp.1-18, ⟨10.4204/EPTCS.414.2⟩ Communication dans un congrès hal-04572043v1
SyDPaCC: A Framework for the Development of Verified Scalable Parallel Functional Programs Frédéric Loulergue,Jordan Ischard Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Oct 2024, Crete Island, Greece. ⟨10.1007/978-3-031-75380-0_16⟩ Communication dans un congrès hal-04644465v1
A Mechanized Formalization of an FRP Language with Effects Jordan Ischard,Frederic Dabrowski,Jules Chouquet,Frédéric Loulergue ACM Symposium on Applied Computing (SAC), Mar 2025, Sicily, Italy. ⟨10.1145/3672608.3707907⟩ Communication dans un congrès hal-04795983v1
Combiner la vérification déductive avec l'analyse de forme Téo Bernier,Yani Ziani,Nikolai Kosmatov,Frédéric Loulergue Journées Approches Formelles pour l'Assistance au Développement de Logiciels (AFADL), Jun 2024, Strasbourg, France Communication dans un congrès hal-04622131v1
Verified High Performance Computing: the SyDPaCC Approach Frédéric Loulergue,Abdelali Ed-Dbali 16th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS), Oct 2023, Marrakech, Morocco. ⟨10.1007/978-3-031-49737-7_2⟩ Communication dans un congrès hal-04171949v1
Verified Scalable Parallel Computing with Why3 Olivia Proust,Frédéric Loulergue 21st International Conference on Software Engineering and Formal Methods (SEFM), Nov 2023, Eindhoven, Netherlands. ⟨10.1007/978-3-031-47115-5_14⟩ Communication dans un congrès hal-04173428v2
Towards Formal Verification of a TPM Software Stack Yani Ziani,Nikolai Kosmatov,Frédéric Loulergue,Daniel Gracia Pérez,Téo Bernier 18th International Conference on integrated Formal Methods (iFM), Nov 2023, Leiden, Netherlands. ⟨10.1007/978-3-031-47705-8_6⟩ Communication dans un congrès hal-04176159v1
Towards Verified Scalable Parallel Computing with Coq and Spark Frédéric Loulergue,Jolan Philippe FTfJP 2023 - 25th ACM International Workshop on Formal Techniques for Java-like Programs, Jul 2023, Seatle, WA, United States. ⟨10.1145/3605156.3606450⟩ Communication dans un congrès hal-04142453v1
Tutorial: Collaborative Analysis and Verification of C Programs with Frama-C Frédéric Loulergue 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Sep 2023, Kirchberg, Luxembourg Communication dans un congrès hal-04142454v1
Experience report: Teaching code analysis and verification using Frama-C Salwa Souaf,Frédéric Loulergue 1st International Workshop on Applicable Formal Methods (appFM), Nov 2021, Beijing, China. ⟨10.4204/EPTCS.349.5⟩ Communication dans un congrès hal-03338928v1
Verified Runtime Assertion Checking for Memory Properties Dara Ly,Nikolai Kosmatov,Frédéric Loulergue,Julien Signoles TAP 2020 - 14th International Conference on Tests and Proofs, Jun 2020, Bergen, Norway. ⟨10.1007/978-3-030-50995-8_6⟩ Communication dans un congrès cea-02879211v1
Pattern-driven Design of a Multiparadigm Parallel Programming Framework Virginia Niculescu,Frédéric Loulergue,Darius Bufnea,Adrian Sterca 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), 2020, Prague, Czech Republic. ⟨10.5220/0009344100500061⟩ Communication dans un congrès hal-02494416v1
PySke: Algorithmic Skeletons for Python Jolan Philippe,Frédéric Loulergue The 2019 International Conference on High Performance Computing & Simulation (HPCS), Jul 2019, Dublin, Ireland. ⟨10.1109/HPCS48598.2019.9188151⟩ Communication dans un congrès hal-02317127v1
A First Step in the Translation of Alloy to Coq Salwa Souaf,Frédéric Loulergue 21st International Conference on Formal Engineering Methods (ICFEM), 2019, Shenzen, China. ⟨10.1007/978-3-030-32409-4_28⟩ Communication dans un congrès hal-02317118v1
Parallel programming with Coq: Map and reduce skeletons on trees Jolan Philippe,Frédéric Loulergue 34th ACM/SIGAPP Symposium on Applied Computing (SAC), Apr 2019, Limassol, Cyprus. pp.1578-1581, ⟨10.1145/3297280.3299742⟩ Communication dans un congrès hal-02317074v1
Towards Full Proof Automation in Frama-C Using Auto-active Verification Allan Blanchard,Frédéric Loulergue,Nikolai Kosmatov NFM 2019 - 11th Annual NASA Formal Methods Symposium, May 2019, Houston, TX, United States. pp.88-105, ⟨10.1007/978-3-030-20652-9_6⟩ Communication dans un congrès hal-02317055v1
Automatic Optimization of Python Skeletal Parallel Programs Frédéric Loulergue,Jolan Philippe 19th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP), Dec 2019, Melbourne, Australia. ⟨10.1007/978-3-030-38991-8_13⟩ Communication dans un congrès hal-02317123v1
New List Skeletons for the Python Skeleton Library Frédéric Loulergue,Jolan Philippe PDCAT 2019: 20th International Conference on Parallel and Distributed Computing, Applications and Technologies, Dec 2019, Gold Coast, Australia. ⟨10.1109/PDCAT46702.2019.00077⟩ Communication dans un congrès hal-02317124v1
Logic against Ghosts: Comparison of Two Proof Approaches for a List Module Allan Blanchard,Nikolai Kosmatov,Frédéric Loulergue SAC 2019 - The 34th ACM/SIGAPP Symposium On Applied Computing, Apr 2019, Limassol, Cyprus. ⟨10.1145/3297280.3297495⟩ Communication dans un congrès hal-02100515v1
Ghosts for Lists: from Axiomatic to Executable Specifications Frédéric Loulergue,Allan Blanchard,Nikolai Kosmatov TAP 2018 - 12th International Conference on Tests and Proofs, Jun 2018, Toulouse, France. ⟨10.1007/978-3-319-92994-1_11⟩ Communication dans un congrès hal-01811922v1
Verified Programs for Frequent Itemset Mining Frédéric Loulergue,Christopher Whitney 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI), Oct 2018, Guangzhou, China. pp.1516-1523, ⟨10.1109/SmartWorld.2018.00262⟩ Communication dans un congrès hal-02317083v1
A Lesson on Verification of IoT Software with Frama-C Allan Blanchard,Nikolai Kosmatov,Frédéric Loulergue 2018 International Conference on High Performance Computing & Simulation (HPCS), Jul 2018, Orleans, France. pp.21-30, ⟨10.1109/HPCS.2018.00018⟩ Communication dans un congrès hal-02317078v1
Soundness of a Dataflow Analysis for Memory Monitoring Dara Ly,Nikolai Kosmatov,Julien Signoles,Frédéric Loulergue HILT 2018 Workshop on Languages and Tools for Ensuring Cyber-Resilience in Critical Software-Intensive Systems, Nov 2018, Boston, United States. ⟨10.1145/3375408.3375416⟩ Communication dans un congrès cea-02283406v1
Interactive Bulk Synchronous Parallel Functional Programming in a Browser Julien Tesson,Frédéric Loulergue 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI), Oct 2018, Guangzhou, China. pp.1593-1598, ⟨10.1109/SmartWorld.2018.00273⟩ Communication dans un congrès hal-02317093v1
Des listes et leurs fantômes : vérification d'un module critique de Contiki avec FRAMA-C Allan Blanchard,Nikolai Kosmatov,Frédéric Loulergue 17èmes Journées AFADL : Approches Formelles Dans L'assistance Au Développement De Logiciels, Jun 2018, Toulouse, France Communication dans un congrès hal-01811932v1
Parallel Programming with OCaml: A Tutorial Victor Allombert,Mathias Bourgoin,Frédéric Loulergue International Conference on High Performance Computing and Simulation (HPCS 2018), Jul 2018, Orléans, France Communication dans un congrès hal-01941231v1
A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations Salwa Souaf,Pascal Berthomé,Frédéric Loulergue 2018 International Conference on High Performance Computing & Simulation (HPCS), Jul 2018, Orleans, France. pp.691-699, ⟨10.1109/HPCS.2018.00113⟩ Communication dans un congrès hal-02317089v1
Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C Allan Blanchard,Nikolai Kosmatov,Frédéric Loulergue Tenth NASA Formal Methods Symposium - NFM 2018, Apr 2018, Newport News, United States. ⟨10.1007/978-3-319-77935-5_3⟩ Communication dans un congrès hal-01720401v1
Implementing Algorithmic Skeletons with Bulk Synchronous Parallel ML Frédéric Loulergue 2017 18th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), Dec 2017, Taipei, Taiwan. pp.461-468, ⟨10.1109/PDCAT.2017.00079⟩ Communication dans un congrès hal-02317099v1
Replicated Synchronization for Imperative BSP Programs Arvid Jakobsson,Frederic Dabrowski,Wadoud Bousdira,Frédéric Loulergue,Gaetan Hains International Conference on Computational Science (ICCS), 2017, Zürich, Switzerland. ⟨10.1016/j.procs.2017.05.123⟩ Communication dans un congrès hal-01494832v1
A Java Framework for High Level Parallel Programming Using Powerlists Virginia Niculescu,Frédéric Loulergue,Darius Bufnea,Adrian Sterca 2017 18th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), Dec 2017, Taipei, France. pp.255-262, ⟨10.1109/PDCAT.2017.00049⟩ Communication dans un congrès hal-02317101v1
From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation Allan Blanchard,Frédéric Loulergue,Nikolai Kosmatov Fifth International Workshop on Verification and Program Transformation (VPT 2017), Apr 2017, Uppsala, Sweden. ⟨10.4204/EPTCS.253.9⟩ Communication dans un congrès hal-01495454v1
Imperative BSPlib-style Communications in Bulk Synchronous Parallel ML Frédéric Loulergue International Conference on Computational Science, Jun 2017, Zurich, Switzerland. ⟨10.1016/j.procs.2017.05.267⟩ Communication dans un congrès hal-01495456v1
A Verified Accumulate Algorithmic Skeleton Frédéric Loulergue 2017 Fifth International Symposium on Computing and Networking (CANDAR), Nov 2017, Aomori, France. pp.420-426, ⟨10.1109/CANDAR.2017.108⟩ Communication dans un congrès hal-02317096v1
A CHR-Based Solver for Weak Memory Behaviors Allan Blanchard,Nikolai Kosmatov,Frédéric Loulergue 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis (CSTVA), Jul 2016, Saarbrücken, Germany Communication dans un congrès hal-01318432v1
Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs Allan Blanchard,Nikolai Kosmatov,Matthieu Lemerre,Frédéric Loulergue 2016 IEEE 16th International Working Conference on Source Code Analysis and Manipulation (SCAM), 2016, Raleigh, NC, United States. pp.6, ⟨10.1109/SCAM.2016.18⟩ Communication dans un congrès hal-01423641v1
Automated generation of BSP automata Thibaut Tachon,Gaétan Hains,Frédéric Loulergue,Chong Li High Level Parallel Programming and Applications (HLPP), Jul 2016, Münster, Germany Communication dans un congrès hal-01319565v1
Construction de programmes parallèles en Coq avec des homomorphismes de listes Frédéric Loulergue 14èmes journées Approches Formelles dans l'Assistance au Développement Logiciel (AFADL), 2015, Bordeaux, France Communication dans un congrès hal-01158137v1
Cloud Resources Placement Based on Functional and Non-Functional Requirements Asma Guesmi,Patrice Clemente,Frédéric Loulergue,Pascal Berthomé SECRYPT, Jul 2015, Colmar, France Communication dans un congrès hal-01158134v1
A case study on formal verification of the anaxagoros hypervisor paging system with frama-C Allan Blanchard,N. Kosmatov,M. Lemerre,Frédéric Loulergue FMICS 2015 - Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.15-30, ⟨10.1007/978-3-319-19458-5_2⟩ Communication dans un congrès cea-01834977v1
Nested atomic sections with thread escape: Compilation to threads and locks Frédéric Dabrowski,Frédéric Loulergue,Thomas Pinsard ACM Symposium on Applied Computing (SAC), Apr 2015, Salamanca, Spain Communication dans un congrès hal-01105093v1
Modèles fonctionnels de MapReduce en Coq Frédéric Loulergue Journées Nationales du GdR GPL, 2015, Bordeaux, France Communication dans un congrès hal-01158138v1
PaPDAS - Parallel Program Development with Algorithmic Skeletons Frédéric Loulergue Journées MFDL/MTV2, Jan 2014, Grenoble, France Communication dans un congrès hal-00979100v1
Dérivation formelle et extraction d'un programme data-parallèle pour le problème des valeurs inférieures les plus proches Frédéric Loulergue,Simon Robillard,Julien Tesson,Joeffrey Legaux,Zhenjiang Hu Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2014, Paris, France Communication dans un congrès hal-00979092v1
Handling Data-skew Effects in Join Operations using MapReduce Frédéric Loulergue,Mohamad Al Hajj Hassan,Mostafa Bamha Journées nationales du GdR GPL, Jun 2014, Paris, France Communication dans un congrès hal-00979104v1
Implementing powerlists with Bulk Synchronous Parallel ML Frédéric Loulergue,Julien Tesson,Virginia Niculescu 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2014, Timisoara, Romania. ⟨10.1109/SYNASC.2014.51⟩ Communication dans un congrès hal-01105115v1
Handling Data-skew Effects in Join Operations using MapReduce Mohamad Al Hajj Hassan,Mostafa Bamha,Frédéric Loulergue ICCS, 2014, Cairns, Australia Communication dans un congrès hal-00958116v1
Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values Problem Frédéric Loulergue,Simon Robillard,Julien Tesson,Joeffrey Legaux,Zhenjiang Hu ACM Symposium on Applied Computing (SAC), 2014, Gyeongju, South Korea Communication dans un congrès hal-00905950v1
A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction Kento Emoto,Frédéric Loulergue,Julien Tesson Interactive Theorem Proving, 2014, Vienna, Austria Communication dans un congrès hal-00964061v1
Certified Parallel Program Calculation in Coq: A Tutorial Frédéric Loulergue,Julien Tesson International Conference on High Performance Computing and Simulation (HPCS), 2014, Bologna, Italy Communication dans un congrès hal-00966632v1
Development Effort and Performance Trade-off in High-Level Parallel Programming Joeffrey Legaux,Sylvain Jubertie,Frédéric Loulergue International Conference on High Performance Computing and Simulation (HPCS), 2014, Bologna, Italy Communication dans un congrès hal-01016180v1
Nested Atomic Sections with Thread Escape: A Formal Definition Frederic Dabrowski,Frédéric Loulergue,Thomas Pinsard ACM Symposium on Applied Computing (SAC), 2014, Gyeongju, South Korea Communication dans un congrès hal-00905949v1
Powerlists in Coq: Programming and Reasoning Frédéric Loulergue,Virginia Niculescu,Simon Robillard First International Symposium on Computing and Networking (CANDAR), 2013, Fukuoka, Japan Communication dans un congrès hal-00864818v1
OSL: an algorithmic skeleton library with exceptions Joeffrey Legaux,Frédéric Loulergue,Sylvain Jubertie International Conference on Computational Science, 2013, Helsinki, Finland. pp.269-269, ⟨10.1016/j.procs.2013.05.189⟩ Communication dans un congrès hal-00822990v1
Nested Atomic Sections with Thread Escape: An Operational Semantics Frederic Dabrowski,Frédéric Loulergue,Thomas Pinsard International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), 2013, Taipei, Taiwan Communication dans un congrès hal-00864820v1
Managing Arbitrary Distributions of Arrays in Orléans Skeleton Library Joeffrey Legaux,Frédéric Loulergue,Sylvain Jubertie International Conference on High Performance Computing and Simulation (HPCS), 2013, Barcelona, Spain Communication dans un congrès hal-00822991v1
Programming with BSP Homomorphisms Joeffrey Legaux,Zhenjiang Hu,Frédéric Loulergue,Kiminori Matsuzaki,Julien Tesson Euro-Par, 2013, Aachen, Germany. pp.446-457, ⟨10.1007/978-3-642-40047-6_46⟩ Communication dans un congrès istex hal-00822992v1
Experiments in Parallel Matrix Multiplication on Multi-Core Systems Joeffrey Legaux,Sylvain Jubertie,Frédéric Loulergue ICA3PP, Sep 2012, Fukuoka, Japan Communication dans un congrès hal-00708824v1
On the Formal Verification of Computer Simulations Frédéric Loulergue Models and Simulations 5, Jun 2012, Helsinki, Finland Communication dans un congrès hal-00708817v1
Towards Verified Cloud Computing Environments Frédéric Loulergue,Frédéric Gava,Nikolai Kosmatov,Matthieu Lemerre International Conference on High Performance Computing and Simulation (HPCS), Jul 2012, Madrid, Spain Communication dans un congrès hal-00708821v1
A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays Wadoud Bousdira,Frédéric Loulergue,Julien Tesson ICA3PP, Sep 2012, Fukuoka, Japan Communication dans un congrès hal-00708822v1
A Verified Bulk Synchronous Parallel ML Heat Diffusion Simulation Julien Tesson,Frédéric Loulergue The 11th International Conference on Computational Science (ICCS 2011), Jun 2011, Singapour, Singapore. pp.36 - 45, ⟨10.1016/j.procs.2011.04.005⟩ Communication dans un congrès hal-00588894v1
Prototyping a Library of Algorithmic Skeletons with Bulk Synchronous Parallel ML Noman Javed,Frédéric Loulergue,Julien Tesson,Wadoud Bousdira (PDPTA'11), 2011, United States Communication dans un congrès hal-00592539v1
Parallel Programming and Performance Predictability with Orléans Skeleton Library Noman Javed,Frédéric Loulergue HPCS, 2011, Istanbul, Turkey. pp.257-263 Communication dans un congrès hal-00592541v1
Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML Wadoud Bousdira,Louis Gesbert,Frédéric Loulergue (JFLA), 2011, France. pp.117-146 Communication dans un congrès hal-00592542v1
A Formal Programming Model of Orléans Skeleton Library Noman Javed,Frédéric Loulergue (PaCT), 2011, Kazan, Russia Communication dans un congrès hal-00592540v1
An Efficient Skew-insensitive Algorithm for Join Processing on Grid Architectures Mohamad Al Hajj Hassan,Mostafa Bamha,Frédéric Loulergue HLPP, Sep 2011, Japan. pp.11-18, ⟨10.1145/2034751.2034756⟩ Communication dans un congrès hal-00605567v1
Verification of a Heat Diffusion Simulation written with Orléans Skeleton Library Noman Javed,Frédéric Loulergue PPAM, 2011, Varsaw, Poland Communication dans un congrès hal-00603344v1
Type System for a Safe Execution of Parallel Programs in BSML Frédéric Gava,Louis Gesbert,Frédéric Loulergue HLPP, Sep 2011, Japan. pp.17-34, ⟨10.1145/2034751.2034759⟩ Communication dans un congrès hal-00605566v1
Program Calculation in Coq Julien Tesson,Hideki Hashimoto,Zhenjiang Hu,Frédéric Loulergue,Masato Takeichi Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST2010), 2010, Québec, Canada Communication dans un congrès inria-00484308v1
Systematic Development of Correct Bulk Synchronous Parallel Programs Louis Gesbert,Zhenjiang Hu,Frédéric Loulergue,Kiminori Matsuzaki,Julien Tesson The 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT2010), The 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT2010) proceedings, Dec 2010, Wuhan, Chine, Singapore. pp._ Communication dans un congrès hal-00512867v1
Functional Parallel Programming with Revised Bulk Synchronous Parallel ML Wadoud Bousdira,Frédéric Gava,Louis Gesbert,Frédéric Loulergue,Guillaume Petiot 2nd International Workshop on Parallel and Distributed Algorithms and Applications (PDAA), 2010, Hiroshima, Japan. pp.191-196, ⟨10.1109/IC-NC.2010.57⟩ Communication dans un congrès inria-00515223v1
A Coq Library for Program Calculation Hideki Hashimoto,Zhenjiang Hu,Julien Tesson,Frédéric Loulergue,Masato Takeichi JSSST Conference on Software Science and Technology, 2009, Shimane University, Shimane, Japan Communication dans un congrès inria-00452515v1
OSL: Optimized Bulk Synchronous Parallel Skeletons on Distributed Arrays Noman Javed,Frédéric Loulergue 8th international Conference on Advanced Parallel Processing Technologies (APPT'09), Aug 2009, Rapperswil, Switzerland. pp.436-451, ⟨10.1007/978-3-642-03644-6_34⟩ Communication dans un congrès istex inria-00452523v1
Formal Semantics for the DRMA Programming Style Subset of the BSPlib Library Julien Tesson,Frédéric Loulergue Seventh International Conference on Parallel Processing and Applied Mathematics (PPAM 2007), Workshop on Language-Based Parallel Programming Models, Sep 2007, Gdansk, Poland. pp.1122-1129, ⟨10.1007/978-3-540-68111-3_119⟩ Communication dans un congrès istex inria-00452540v1
Divide-and-Conquer Programming with Minimally Synchronous Parallel ML Radia Benheddi,Frédéric Loulergue Seventh International Conference on Parallel Processing and Applied Mathematics (PPAM 2007), Workshop on Language-Based Parallel Programming Models, Sep 2007, Gdansk, Poland. pp.1078-1085, ⟨10.1007/978-3-540-68111-3_114⟩ Communication dans un congrès istex inria-00452537v1
Bulk Synchronous Parallel ML with Exceptions Louis Gesbert,Frédéric Gava,Frédéric Loulergue,Frédéric Dabrowski Distributed and Parallel Systems (DAPSYS 2006), Sep 2006, Innsbruck, Austria. pp.33-42, ⟨10.1007/978-0-387-69858-8_4⟩ Communication dans un congrès inria-00452559v1
Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML Louis Gesbert,Frédéric Loulergue International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), Dec 2007, Adelaide, Australia. pp.201-208, ⟨10.1109/PDCAT.2007.77⟩ Communication dans un congrès inria-00452532v1
A Calculus of Functional BSP Programs with Projection Frédéric Loulergue International Parallel & Distributed Processing Symposium, 8th Workshop on Advances in Parallel and Distributed Computational Models, Apr 2006, Rhodes, Greece. ⟨10.1109/IPDPS.2006.1639552⟩ Communication dans un congrès inria-00452579v1
Minimally Synchronous Parallel ML with Parallel Composition Radia Benheddi,Frédéric Loulergue Seventh Symposium on Trends in Functional Programming (TFP 2006), 2006, United Kingdom Communication dans un congrès hal-00022260v1
Bulk Synchronous Parallel ML avec exceptions Louis Gesbert,Frédéric Gava,Frédéric Loulergue,Frédéric Dabrowski Rencontres Francophones du Parallélisme (Renpar'17), Oct 2006, Canet en Roussillon, France Communication dans un congrès inria-00452566v1
Composition parallèle pour MSPML Radia Benheddi,Frédéric Loulergue Journées Francophones des Langages Applicatifs (JFLA 2006), 2006, France. pp.16 Communication dans un congrès hal-00022267v1
Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition Frédéric Loulergue,Radia Benheddi,Frédéric Gava,Dimitri Louis-Regis International Computer Science Symposium in Russia (CSR 2006), Jun 2006, Saint Peterbourg, Russia. pp.475-486, ⟨10.1007/11753728_48⟩ Communication dans un congrès istex inria-00452573v1

Poster de conférence (5)

Towards automatically optimizing PySke programs (poster) Jolan Philippe,Frédéric Loulergue International Conference on High Performance Computing and Simulation (HPCS), Jul 2019, Dublin, Ireland. ⟨10.1109/HPCS48598.2019.9188160⟩ Poster de conférence hal-02318361v1
Towards the Generation of Correct Java Programs (Research Poster) Jolan Philippe,Frédéric Loulergue 2018 International Conference on High Performance Computing & Simulation (HPCS), Jul 2018, Orleans, France. IEEE, pp.1055-1056, ⟨10.1109/HPCS.2018.00166⟩ Poster de conférence hal-02317085v1
Strong Security Guarantees: From Alloy to Coq (Research Poster) Salwa Souaf,Frédéric Loulergue 2018 International Conference on High Performance Computing & Simulation (HPCS), Jul 2018, Orleans, France. IEEE, pp.1057-1058, ⟨10.1109/HPCS.2018.00167⟩ Poster de conférence hal-02317091v1
Towards a Verified Parallel Implementation of Frequent Itemset Mining Christopher Whitney,Frédéric Loulergue 2017 International Conference on High Performance Computing & Simulation (HPCS), Jul 2017, Genoa, Italy. IEEE, pp.889-890, ⟨10.1109/HPCS.2017.138⟩ Poster de conférence hal-02317112v1
Formalization of a Big Graph API in Coq Jolan Philippe,Wadoud Bousdira,Frédéric Loulergue 2017 International Conference on High Performance Computing & Simulation (HPCS), Jul 2017, Genoa, France. IEEE, 108, pp.893-894, 2017, ⟨10.1109/HPCS.2017.140⟩ Poster de conférence hal-02317110v1

Document associé à des manifestations scientifiques (1)

La logique contre les fantômes: comparaison de deux approches pour la preuve d'un module de listes chaînées * Allan Blanchard,Nikolai Kosmatov,Frédéric Loulergue 18e journées Approches Formelles dans l'Assistance au Développement de Logic (AFADL), Jun 2019, Toulouse, France. Document associé à des manifestations scientifiques hal-02317143v1

Ouvrages (5)

Tests and Proofs Frédéric Loulergue,Franz Wotawa Springer, 12740, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79379-1⟩ Ouvrages hal-03261865v1
Special issue on High-Level Parallel Programming and Applications Frédéric Loulergue,Alexander Tiskin Loulergue, F. and Tiskin, A. World Scientific Publishing, Parallel Processing Letters, 18(1), pp.188, 2008 Ouvrages inria-00466166v1
Special issue: Practical Aspects of High-Level Parallel Programming Anne Benoit,Frédéric Loulergue Benoit, Anne and Loulergue, Frédéric. Warsaw School of Social Psychology, Scalable Computing: Practice and Experience, 8(1), pp.35, 2007 Ouvrages inria-00466168v1
Special issue on Semantics and Cost Models for High-Level Parallel Programming Frédéric Loulergue Loulergue, Frédéric. Elsevier, Computer Languages Structures and Systems, 33(3-4), pp.114, 2007, ⟨10.1016/j.cl.2006.12.001⟩ Ouvrages istex inria-00466164v1
Special Issue: Practical Aspects of High-Level Parallel Programming Frédéric Loulergue Loulergue, Frédéric. Warsaw School of Social Psychology, pp.38, 2006 Ouvrages inria-00466169v1

Chapitre d'ouvrage (2)

Reflection on the Design of Parallel Programming Frameworks Virginia Niculescu,Frédéric Loulergue,Adrian Sterca Evaluation of Novel Approaches to Software Engineering, pp.154-181, 2021, ⟨10.1007/978-3-030-70006-5_7⟩ Chapitre d'ouvrage hal-03160688v1
Calcul de programmes parallèles avec Coq Frédéric Loulergue,Wadoud Bousdira,Julien Tesson Informatique Mathématique, CNRS Éditions, 2015, collection Alpha Chapitre d'ouvrage hal-01107296v1

Autre publication scientifique (2)

Calcul de programmes parallèles avec Coq Frédéric Loulergue 2014 Autre publication scientifique hal-00966633v1
A Metaprogrammed Bulk Synchronous Parallel Algorithmic Skeleton Library Noman Javed,Frédéric Loulergue 2008 Autre publication scientifique hal-00469435v1

Rapport (4)

A Scalable and Skew-insensitive Algorithm for Join Operations using Map/Reduce Model Mostafa Bamha,Frédéric Loulergue 2014 Rapport hal-00947730v2
Systematic Development of Functional Bulk Synchronous Parallel Programs Julien Tesson,Zhenjiang Hu,Kiminori Matsuzaki,Frédéric Loulergue,Louis Gesbert [Research Report] RR-2010-01, 2010, pp.21 Rapport (rapport de recherche) inria-00465838v2
Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML Wadoud Bousdira,Frédéric Loulergue,L. Gesbert [Rapport de recherche] 2010 Rapport (rapport de recherche) inria-00465842v1
Program Calculation in Coq Julien Tesson,Hideki Hashimoto,Zhenjiang Hu,Frédéric Loulergue,Masato Takeichi [Research Report] RR-2009-07, 2009, pp.18 Rapport (rapport de recherche) inria-00448751v1

Logiciel (2)

WhyBSML 0.2 Frédéric Loulergue,Olivia Proust 2024, ⟨swh:1:dir:f3889ab751233d7ccb812d6e31cc074452b5e139;origin=https://hal.archives-ouvertes.fr/hal-04556201;visit=swh:1:snp:eb9686bbb19def3cd7e40be139923aa5270faed8;anchor=swh:1:rel:0040e1fae30354391bea7e4b4fc245556353fd87;path=/⟩ Logiciel hal-04556201v2
Concerto-D in Maude Farid Arfi,Hélène Coullon,Frédéric Loulergue,Jolan Philippe,Simon Robillard 2024, ⟨swh:1:dir:32a2fe14ad750c01d73d2bd101ef0c2f2e440f62;origin=https://hal.archives-ouvertes.fr/hal-04654817;visit=swh:1:snp:ad21f1e90f6cf2549821eb2142ab6657817241f1;anchor=swh:1:rel:9689c8ed0577d56bfb7885c6ed94e9ce0020eca3;path=/⟩ Logiciel hal-04654817v1