Access content directly

Frédéric Loulergue

114
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⟩
Journal articles hal-04067909v1
Image document

Sound runtime assertion checking for memory properties via program transformation

Dara Ly , Nikolai Kosmatov , Frédéric Loulergue , Julien Signoles
Formal Aspects of Computing, 2023, 36 (1), pp.4. ⟨10.1145/3605951⟩
Journal articles 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⟩
Journal articles 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⟩
Journal articles 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⟩
Journal articles 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⟩
Journal articles hal-02317103v1

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⟩
Journal articles hal-01495453v1
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⟩
Journal articles hal-01159182v1

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⟩
Journal articles 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⟩
Journal articles 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
Journal articles 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
Journal articles 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
Journal articles hal-00005603v1

A Maude Formalization of the Distributed Reconfiguration Language Concerto-D

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
Conference papers hal-04572043v1

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⟩
Conference papers hal-04354615v1

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⟩
Conference papers hal-04142453v1
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⟩
Conference papers 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⟩
Conference papers hal-04171949v1
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⟩
Conference papers 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
Conference papers 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⟩
Conference papers 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⟩
Conference papers 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⟩
Conference papers 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⟩
Conference papers hal-02317118v1
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⟩
Conference papers hal-02100515v1
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⟩
Conference papers hal-02317123v1
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⟩
Conference papers hal-02317124v1
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⟩
Conference papers 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⟩
Conference papers 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⟩
Conference papers hal-02317055v1

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⟩
Conference papers hal-02317083v1
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⟩
Conference papers cea-02283406v1

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⟩
Conference papers hal-02317078v1
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
Conference papers 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⟩
Conference papers hal-02317089v1
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⟩
Conference papers hal-01720401v1
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⟩
Conference papers 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⟩
Conference papers 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
Conference papers hal-01811932v1

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⟩
Conference papers hal-01494832v1

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⟩
Conference papers 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⟩
Conference papers hal-02317096v1

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⟩
Conference papers 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⟩
Conference papers 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⟩
Conference papers hal-01495454v1
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
Conference papers 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⟩
Conference papers 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
Conference papers 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⟩
Conference papers cea-01834977v1

Modèles fonctionnels de MapReduce en Coq

Frédéric Loulergue
Journées Nationales du GdR GPL, 2015, Bordeaux, France
Conference papers 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
Conference papers hal-01105093v1

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
Conference papers 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
Conference papers hal-01158134v1

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
Conference papers 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
Conference papers 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⟩
Conference papers hal-01105115v1

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
Conference papers hal-00964061v1

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
Conference papers hal-00905949v1

PaPDAS - Parallel Program Development with Algorithmic Skeletons

Frédéric Loulergue
Journées MFDL/MTV2, Jan 2014, Grenoble, France
Conference papers 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
Conference papers 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
Conference papers 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
Conference papers 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
Conference papers hal-01016180v1

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
Conference papers 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⟩
Conference papers 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⟩
Conference papers 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
Conference papers 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
Conference papers 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
Conference papers 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
Conference papers hal-00708822v1

On the Formal Verification of Computer Simulations

Frédéric Loulergue
Models and Simulations 5, Jun 2012, Helsinki, Finland
Conference papers hal-00708817v1

Experiments in Parallel Matrix Multiplication on Multi-Core Systems

Joeffrey Legaux , Sylvain Jubertie , Frédéric Loulergue
ICA3PP, Sep 2012, Fukuoka, Japan
Conference papers hal-00708824v1

Parallel Programming and Performance Predictability with Orléans Skeleton Library

Noman Javed , Frédéric Loulergue
HPCS, 2011, Istanbul, Turkey. pp.257-263
Conference papers hal-00592541v1

Verification of a Heat Diffusion Simulation written with Orléans Skeleton Library

Noman Javed , Frédéric Loulergue
PPAM, 2011, Varsaw, Poland
Conference papers 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⟩
Conference papers hal-00605566v1

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⟩
Conference papers 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
Conference papers 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
Conference papers 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⟩
Conference papers hal-00605567v1

A Formal Programming Model of Orléans Skeleton Library

Noman Javed , Frédéric Loulergue
(PaCT), 2011, Kazan, Russia
Conference papers hal-00592540v1

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⟩
Conference papers 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._
Conference papers hal-00512867v1

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
Conference papers inria-00484308v1

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
Conference papers 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⟩
Conference papers 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⟩
Conference papers 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⟩
Conference papers 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⟩
Conference papers 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⟩
Conference papers 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
Conference papers 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⟩
Conference papers inria-00452579v1
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
Conference papers hal-00022267v1

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
Conference papers inria-00452566v1

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⟩
Conference papers 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⟩
Conference poster 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⟩
Conference poster 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⟩
Conference poster 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⟩
Conference poster 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⟩
Conference poster 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.
Documents associated with scientific events 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⟩
Books 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
Books 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
Books 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⟩
Books 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
Books inria-00466169v1