Accéder directement au contenu

Frédéric Loulergue

112
Documents

Publications

Image document

Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey

Hélène Coullon , Ludovic Henrio , Frédéric Loulergue , Simon Robillard
ACM Computing Surveys, 2024, 56 (1), pp.1-37. ⟨10.1145/3595376⟩
Article dans une revue hal-04067909v1

Sound Runtime Assertion Checking for Memory Properties via Program Transformation

Dara Ly , Nikolai Kosmatov , Frédéric Loulergue , Julien Signoles
Formal Aspects of Computing, inPress, ⟨10.1145/3605951⟩
Article dans une revue hal-04065774v1

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
Image document

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
Image document

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 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

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
Communication dans un congrès hal-04354615v1
Image document

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
Image document

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

Towards Verified Scalable Parallel Computing with Coq and Spark

Frédéric Loulergue , Jolan Philippe
Workshop on Formal Techniques for Java-like Programs (FTfJP), Jul 2023, Seatle, WA, United States. ⟨10.1145/3605156.3606450⟩
Communication dans un congrès hal-04142453v1
Image document

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

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

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
Image document

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
Image document

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
Image document

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

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
Image document

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
Image document

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
Image document

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

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
Image document

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

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
Image document

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

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
Image document

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
Image document

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
Image document

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

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

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

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

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

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
Image document

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

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
Image document

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

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

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

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

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

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

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

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

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

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

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

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

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 hal-00822992v1

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

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

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

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

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

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

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

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

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

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

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

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

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

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 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 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 inria-00452537v1

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

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

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

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

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
Image document

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 inria-00452573v1

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
Image document

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

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 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