Frédéric Loulergue

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 50

Top Venues

Publications

Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles
Sound Runtime Assertion Checking for Memory Properties via Program Transformation. Formal Aspects Comput. 36 (1) (2024)
Hélène Coullon, Ludovic Henrio, Frédéric Loulergue, Simon Robillard
Component-based Distributed Software Reconfiguration:A Verification-oriented Survey. ACM Comput. Surv. 56 (1) (2024)
Wolfgang Ahrendt, Frédéric Loulergue, Heike Wehrheim
Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021. Formal Aspects Comput. 36 (1) (2024)
Téo Bernier, Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue
Combining Deductive Verification with Shape Analysis. FASE (2024)
Frédéric Loulergue, Jolan Philippe
Towards Verified Scalable Parallel Computing with Coq and Spark. FTfJP@ECOOP (2023)
Olivia Proust, Frédéric Loulergue
Verified Scalable Parallel Computing with Why3. CoRR (2023)
Virginia Niculescu, Frédéric Loulergue
Guest Editor's Note: High-Level Parallel Programming 2021. Int. J. Parallel Program. 51 (4-5) (2023)
Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue, Daniel Gracia Pérez, Téo Bernier
Towards Formal Verification of a TPM Software Stack. iFM (2023)
Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue, Daniel Gracia Pérez, Téo Bernier
Towards Formal Verification of a TPM Software Stack. CoRR (2023)
Frédéric Loulergue, Ali Ed-Dbali
Verified High Performance Computing: The SyDPaCC Approach. VECoS (2023)
Olivia Proust, Frédéric Loulergue
Verified Scalable Parallel Computing with Why3. SEFM (2023)
Salwa Souaf, Frédéric Loulergue
Experience Report: Teaching Code Analysis and Verification Using Frama-C. AppFM@FM (2021)
Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles
Verified Runtime Assertion Checking for Memory Properties. TAP@STAF (2020)
Virginia Niculescu, Frédéric Loulergue, Darius Bufnea, Adrian Sterca
Pattern-driven Design of a Multiparadigm Parallel Programming Framework. ENASE (2020)
Frédéric Loulergue
Preface to the special issue on Formal Approaches to Parallel and Distributed Systems 2018. J. Log. Algebraic Methods Program. 116 (2020)
Virginia Niculescu, Adrian Sterca, Frédéric Loulergue
Reflections on the Design of Parallel Programming Frameworks. ENASE (Selected Papers) (2020)
Virginia Niculescu, Frédéric Loulergue
Transforming powerlist-based divide-and-conquer programs for an improved execution model. J. Supercomput. 76 (7) (2020)
Allan Blanchard, Frédéric Loulergue, Nikolai Kosmatov
Towards Full Proof Automation in Frama-C Using Auto-active Verification. NFM (2019)
Salwa Souaf, Frédéric Loulergue
A First Step in the Translation of Alloy to Coq. ICFEM (2019)
Jolan Philippe, Frédéric Loulergue
Parallel programming with Coq: map and reduce skeletons on trees. SAC (2019)
Jolan Philippe, Frédéric Loulergue
Towards Automatically Optimizing PySke Programs. HPCS (2019)
Jolan Philippe, Frédéric Loulergue
PySke: Algorithmic Skeletons for Python. HPCS (2019)
Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue
Logic against ghosts: comparison of two proof approaches for a list module. SAC (2019)
Frédéric Loulergue, Jolan Philippe
New List Skeletons for the Python Skeleton Library. PDCAT (2019)
Frédéric Loulergue, Jolan Philippe
Automatic Optimization of Python Skeletal Parallel Programs. ICA3PP (1) (2019)
Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue
Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C. NFM (2018)
Victor Allombert, Mathias Bourgoin, Frédéric Loulergue
Parallel Programming with OCaml: A Tutorial. HPCS (2018)
Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue
MMFilter : A CHR-Based Solver for Generation of Executions under Weak Memory Models. Comput. Lang. Syst. Struct. 53 (2018)
Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue
Tutorial: Secure Your Things: Secure Development of IoT Software with Frama-C. SecDev (2018)
Salwa Souaf, Frédéric Loulergue
Strong Security Guarantees: From Alloy to Coq (Research Poster). HPCS (2018)
Salwa Souaf, Pascal Berthomé, Frédéric Loulergue
A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations. HPCS (2018)
Frédéric Loulergue, Christopher D. Whitney
Verified Programs for Frequent Itemset Mining. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Frédéric Loulergue, Allan Blanchard, Nikolai Kosmatov
Ghosts for Lists: From Axiomatic to Executable Specifications. TAP@STAF (2018)
Julien Tesson, Frédéric Loulergue
Interactive Bulk Synchronous Parallel Functional Programming in a Browser. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue
A Lesson on Verification of IoT Software with Frama-C. HPCS (2018)
Jolan Philippe, Frédéric Loulergue
Towards the Generation of Correct Java Programs (Research Poster). HPCS (2018)
Jolan Philippe, Wadoud Bousdira, Frédéric Loulergue
Formalization of a Big Graph API in Coq. HPCS (2017)
Frédéric Loulergue
Imperative BSPlib-style Communications in BSML. ICCS (2017)
Frédéric Loulergue
A Verified Accumulate Algorithmic Skeleton. CANDAR (2017)
Frédéric Loulergue, Wadoud Bousdira, Julien Tesson
Calculating Parallel Programs in Coq Using List Homomorphisms. Int. J. Parallel Program. 45 (2) (2017)
Allan Blanchard, Frédéric Loulergue, Nikolai Kosmatov
From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation. VPT@ETAPS (2017)
Frédéric Loulergue
Introduction to the Special Issue on Practical Aspects of High-Level Parallel Programming. Scalable Comput. Pract. Exp. 18 (1) (2017)
Frédéric Loulergue
Implementing Algorithmic Skeletons with Bulk Synchronous Parallel ML. PDCAT (2017)
Thibaut Tachon, Chong Li, Gaétan Hains, Frédéric Loulergue
Automated Generation of BSP Automata. Parallel Process. Lett. 27 (1) (2017)
Virginia Niculescu, Frédéric Loulergue, Darius Bufnea, Adrian Sterca
A Java Framework for High Level Parallel Programming Using Powerlists. PDCAT (2017)
Arvid Jakobsson, Frédéric Dabrowski, Wadoud Bousdira, Frédéric Loulergue, Gaétan Hains
Replicated Synchronization for Imperative BSP Programs. ICCS (2017)
Christopher D. Whitney, Frédéric Loulergue
Towards a Verified Parallel Implementation of Frequent Itemset Mining. HPCS (2017)
Frédéric Loulergue
A BSPlib-style API for Bulk Synchronous Parallel ML. Scalable Comput. Pract. Exp. 18 (3) (2017)
Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue
A CHR-Based Solver for Weak Memory Behaviors. CSTVA@ISSTA (2016)
Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frédéric Loulergue
Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs. SCAM (2016)
Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard
A formal semantics of nested atomic sections with thread escape. Comput. Lang. Syst. Struct. 42 (2015)
Asma Guesmi, Patrice Clemente, Frédéric Loulergue, Pascal Berthomé
Cloud Resources Placement based on Functional and Non-functional Requirements. SECRYPT (2015)
Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard
Nested atomic sections with thread escape: compilation. SAC (2015)
Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frédéric Loulergue
A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C. FMICS (2015)
Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, Zhenjiang Hu
Formal derivation and extraction of a parallel program for the all nearest smaller values problem. SAC (2014)
Mohamad Al Hajj Hassan, Mostafa Bamha, Frédéric Loulergue
Handling Data-skew Effects in Join Operations Using MapReduce. ICCS (2014)
Joeffrey Legaux, Frédéric Loulergue, Sylvain Jubertie
Development effort and performance trade-off in high-level parallel programming. HPCS (2014)
Frédéric Loulergue, Virginia Niculescu, Julien Tesson
Implementing Powerlists with Bulk Synchronous Parallel ML. SYNASC (2014)
Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard
Nested atomic sections with thread escape: a formal definition. SAC (2014)
Kento Emoto, Frédéric Loulergue, Julien Tesson
A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction. ITP (2014)
Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard
Nested Atomic Sections with Thread Escape: An Operational Semantics. PDCAT (2013)
Joeffrey Legaux, Frédéric Loulergue, Sylvain Jubertie
OSL: An Algorithmic Skeleton Library with Exceptions. ICCS (2013)
Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson
Programming with BSP Homomorphisms. Euro-Par (2013)
Frédéric Loulergue, Virginia Niculescu, Simon Robillard
Powerlists in Coq: Programming and Reasoning. CANDAR (2013)
Joeffrey Legaux, Frédéric Loulergue, Sylvain Jubertie
Managing arbitrary distributions of arrays in Orléans Skeleton Library. HPCS (2013)
Wadoud Bousdira, Frédéric Loulergue, Julien Tesson
A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays. ICA3PP (1) (2012)
Frédéric Loulergue, Frédéric Gava, Nikolai Kosmatov, Matthieu Lemerre
Towards verified cloud computing environments. HPCS (2012)
Joeffrey Legaux, Sylvain Jubertie, Frédéric Loulergue
Experiments in Parallel Matrix Multiplication on Multi-core Systems. ICA3PP (1) (2012)
Noman Javed, Frédéric Loulergue
Parallel programming and performance predictability with Orléans Skeleton Library. HPCS (2011)
Noman Javed, Frédéric Loulergue
A Formal Programming Model of Orléans Skeleton Library. PaCT (2011)
Noman Javed, Frédéric Loulergue
Verification of a Heat Diffusion Simulation Written with Orléans Skeleton Library. PPAM (2) (2011)
Julien Tesson, Frédéric Loulergue
AVerified Bulk Synchronous ParallelMLHeat Diffusion Simulation. ICCS (2011)
Louis Gesbert, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson
Systematic Development of Correct Bulk Synchronous Parallel Programs. PDCAT (2010)
Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi
Program Calculation in Coq. AMAST (2010)
Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
Bulk synchronous parallel ML with exceptions. Future Gener. Comput. Syst. 26 (3) (2010)
Wadoud Bousdira, Frédéric Gava, Louis Gesbert, Frédéric Loulergue, Guillaume Petiot
Functional Parallel Programming with Revised Bulk Synchronous Parallel ML. ICNC (2010)
Noman Javed, Frédéric Loulergue
OSL: Optimized Bulk Synchronous Parallel Skeletons on Distributed Arrays. APPT (2009)
Frédéric Loulergue
Introduction to the special issue on semantics and costs models for high-level parallel programming. Comput. Lang. Syst. Struct. 33 (3-4) (2007)
Anne Benoit, Frédéric Loulergue
Practical Aspects of High-Level Parallel Programming. Scalable Comput. Pract. Exp. 8 (4) (2007)
Julien Tesson, Frédéric Loulergue
Formal Semantics of DRMA-Style Programming in BSPlib. PPAM (2007)
Radia Benheddi, Frédéric Loulergue
Divide-and-Conquer Parallel Programming with Minimally Synchronous Parallel ML. PPAM (2007)
Louis Gesbert, Frédéric Loulergue
Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML. PDCAT (2007)
Frédéric Loulergue, Radia Benheddi, Frédéric Gava, D. Louis-Régis
Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition. CSR (2006)
Frédéric Loulergue
Practical Aspects of High-Level Parallel Programming. Scalable Comput. Pract. Exp. 7 (3) (2006)
Frédéric Loulergue
A calculus of functional BSP programs with projection. IPDPS (2006)
Frédéric Gava, Frédéric Loulergue
A static analysis for Bulk Synchronous Parallel ML to avoid parallel nesting. Future Gener. Comput. Syst. 21 (4) (2005)
Frédéric Loulergue
Practical Aspects of High-Level Parallel Programming. Scalable Comput. Pract. Exp. 6 (4) (2005)
Frédéric Gava, Frédéric Loulergue
A Functional Language for Departmental Metacomputing. Parallel Process. Lett. 15 (3) (2005)
Frédéric Loulergue
Review of "Term Rewriting Systems by Terese", Cambridge University Press 2003, 0-521-39115-6. SIGACT News 36 (4) (2005)
Frédéric Loulergue, Frédéric Gava, David Billiet
Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction. International Conference on Computational Science (2) (2005)
Frédéric Loulergue
Optimizing Bulk Synchronous Parallel ML. SNPD (2005)
Frédéric Loulergue
Développement d'applications avec Objective CAML by E. Chailloux, P. Manoury and B. Pagano, O'Reilley, 2003. J. Funct. Program. 14 (5) (2004)
Frédéric Loulergue
Management of Communication Environments for Minimally Synchronous Parallel ML. DAPSYS (2004)
Frédéric Loulergue
Communication Primitives for Minimally Synchronous Parallel ML. International Conference on Computational Science (2004)
Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML. SNPD (2003)
Frédéric Loulergue
A Rewriting Semantics for an Event-Oriented Functional Parallel Language. PARCO (2003)
Frédéric Gava, Frédéric Loulergue
Semantics of a Functional BSP Language with Imperative Features. PARCO (2003)
Frédéric Gava, Frédéric Loulergue
A Parallel Virtual Machine for Bulk Synchronous Parallel ML. International Conference on Computational Science (2003)
Myrto Arapinis, Frédéric Loulergue, Frédéric Gava, Frédéric Dabrowski
Semantics of Minimally Synchronous Parallel ML. SNPD (2003)
Gaétan Hains, Frédéric Loulergue
Preface: Special Issue on High-Level Parallel Programming and Applications. Parallel Process. Lett. 13 (3) (2003)

Frédéric Loulergue.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Frédéric Loulergue