default search action
Frédéric Loulergue
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j25]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): 2:1-2:37 (2024) - [j24]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): 1:1-1:2 (2024) - [j23]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): 4:1-4:46 (2024) - [c89]Téo Bernier, Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue:
Combining Deductive Verification with Shape Analysis. FASE 2024: 280-289 - [c88]Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue, Daniel Gracia Pérez:
Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack. TAP 2024: 87-106 - 2023
- [j22]Virginia Niculescu, Frédéric Loulergue:
Guest Editor's Note: High-Level Parallel Programming 2021. Int. J. Parallel Program. 51(4-5): 271-273 (2023) - [c87]Frédéric Loulergue, Jolan Philippe:
Towards Verified Scalable Parallel Computing with Coq and Spark. FTfJP@ECOOP 2023: 11-17 - [c86]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: 93-112 - [c85]Olivia Proust, Frédéric Loulergue:
Verified Scalable Parallel Computing with Why3. SEFM 2023: 246-262 - [c84]Frédéric Loulergue, Ali Ed-Dbali:
Verified High Performance Computing: The SyDPaCC Approach. VECoS 2023: 15-29 - [i2]Olivia Proust, Frédéric Loulergue:
Verified Scalable Parallel Computing with Why3. CoRR abs/2307.16592 (2023) - [i1]Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue, Daniel Gracia Pérez, Téo Bernier:
Towards Formal Verification of a TPM Software Stack. CoRR abs/2307.16821 (2023) - 2021
- [c83]Salwa Souaf, Frédéric Loulergue:
Experience Report: Teaching Code Analysis and Verification Using Frama-C. AppFM@FM 2021: 69-75 - [e2]Frédéric Loulergue, Franz Wotawa:
Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21-22, 2021, Proceedings. Lecture Notes in Computer Science 12740, Springer 2021, ISBN 978-3-030-79378-4 [contents] - 2020
- [j21]Frédéric Loulergue:
Preface to the special issue on Formal Approaches to Parallel and Distributed Systems 2018. J. Log. Algebraic Methods Program. 116: 100580 (2020) - [j20]Virginia Niculescu, Frédéric Loulergue:
Transforming powerlist-based divide-and-conquer programs for an improved execution model. J. Supercomput. 76(7): 5016-5037 (2020) - [c82]Virginia Niculescu, Frédéric Loulergue, Darius Bufnea, Adrian Sterca:
Pattern-driven Design of a Multiparadigm Parallel Programming Framework. ENASE 2020: 50-61 - [c81]Virginia Niculescu, Adrian Sterca, Frédéric Loulergue:
Reflections on the Design of Parallel Programming Frameworks. ENASE (Selected Papers) 2020: 154-181 - [c80]Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles:
Verified Runtime Assertion Checking for Memory Properties. TAP@STAF 2020: 100-121
2010 – 2019
- 2019
- [c79]Frédéric Loulergue, Jolan Philippe:
Automatic Optimization of Python Skeletal Parallel Programs. ICA3PP (1) 2019: 183-197 - [c78]Salwa Souaf, Frédéric Loulergue:
A First Step in the Translation of Alloy to Coq. ICFEM 2019: 455-469 - [c77]Jolan Philippe, Frédéric Loulergue:
PySke: Algorithmic Skeletons for Python. HPCS 2019: 40-47 - [c76]Jolan Philippe, Frédéric Loulergue:
Towards Automatically Optimizing PySke Programs. HPCS 2019: 1045-1046 - [c75]Allan Blanchard, Frédéric Loulergue, Nikolai Kosmatov:
Towards Full Proof Automation in Frama-C Using Auto-active Verification. NFM 2019: 88-105 - [c74]Frédéric Loulergue, Jolan Philippe:
New List Skeletons for the Python Skeleton Library. PDCAT 2019: 392-397 - [c73]Jolan Philippe, Frédéric Loulergue:
Parallel programming with Coq: map and reduce skeletons on trees. SAC 2019: 1578-1581 - [c72]Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue:
Logic against ghosts: comparison of two proof approaches for a list module. SAC 2019: 2186-2195 - 2018
- [j19]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: 121-142 (2018) - [c71]Victor Allombert, Mathias Bourgoin, Frédéric Loulergue:
Parallel Programming with OCaml: A Tutorial. HPCS 2018: 3-11 - [c70]Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue:
A Lesson on Verification of IoT Software with Frama-C. HPCS 2018: 21-30 - [c69]Salwa Souaf, Pascal Berthomé, Frédéric Loulergue:
A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations. HPCS 2018: 691-699 - [c68]Jolan Philippe, Frédéric Loulergue:
Towards the Generation of Correct Java Programs (Research Poster). HPCS 2018: 1055-1056 - [c67]Salwa Souaf, Frédéric Loulergue:
Strong Security Guarantees: From Alloy to Coq (Research Poster). HPCS 2018: 1057-1058 - [c66]Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue:
Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C. NFM 2018: 37-53 - [c65]Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue:
Tutorial: Secure Your Things: Secure Development of IoT Software with Frama-C. SecDev 2018: 126-127 - [c64]Frédéric Loulergue, Allan Blanchard, Nikolai Kosmatov:
Ghosts for Lists: From Axiomatic to Executable Specifications. TAP@STAF 2018: 177-184 - [c63]Frédéric Loulergue, Christopher D. Whitney:
Verified Programs for Frequent Itemset Mining. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 1516-1523 - [c62]Julien Tesson, Frédéric Loulergue:
Interactive Bulk Synchronous Parallel Functional Programming in a Browser. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 1593-1598 - [e1]Guojun Wang, Qi Han, Md. Zakirul Alam Bhuiyan, Xiaoxing Ma, Frédéric Loulergue, Peng Li, Manuel Roveri, Lei Chen:
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 2018, Guangzhou, China, October 8-12, 2018. IEEE 2018, ISBN 978-1-5386-9380-3 [contents] - 2017
- [j18]Frédéric Loulergue, Wadoud Bousdira, Julien Tesson:
Calculating Parallel Programs in Coq Using List Homomorphisms. Int. J. Parallel Program. 45(2): 300-319 (2017) - [j17]Thibaut Tachon, Chong Li, Gaétan Hains, Frédéric Loulergue:
Automated Generation of BSP Automata. Parallel Process. Lett. 27(1): 1740002:1-1740002:18 (2017) - [j16]Frédéric Loulergue:
Introduction to the Special Issue on Practical Aspects of High-Level Parallel Programming. Scalable Comput. Pract. Exp. 18(1): iii (2017) - [j15]Frédéric Loulergue:
A BSPlib-style API for Bulk Synchronous Parallel ML. Scalable Comput. Pract. Exp. 18(3): 261-274 (2017) - [c61]Frédéric Loulergue:
A Verified Accumulate Algorithmic Skeleton. CANDAR 2017: 420-426 - [c60]Arvid Jakobsson, Frédéric Dabrowski, Wadoud Bousdira, Frédéric Loulergue, Gaétan Hains:
Replicated Synchronization for Imperative BSP Programs. ICCS 2017: 535-544 - [c59]Frédéric Loulergue:
Imperative BSPlib-style Communications in BSML. ICCS 2017: 2368-2372 - [c58]Christopher D. Whitney, Frédéric Loulergue:
Towards a Verified Parallel Implementation of Frequent Itemset Mining. HPCS 2017: 889-890 - [c57]Jolan Philippe, Wadoud Bousdira, Frédéric Loulergue:
Formalization of a Big Graph API in Coq. HPCS 2017: 893-894 - [c56]Virginia Niculescu, Frédéric Loulergue, Darius Bufnea, Adrian Sterca:
A Java Framework for High Level Parallel Programming Using Powerlists. PDCAT 2017: 255-262 - [c55]Frédéric Loulergue:
Implementing Algorithmic Skeletons with Bulk Synchronous Parallel ML. PDCAT 2017: 461-468 - [c54]Allan Blanchard, Frédéric Loulergue, Nikolai Kosmatov:
From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation. VPT@ETAPS 2017: 109-123 - 2016
- [c53]Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue:
A CHR-Based Solver for Weak Memory Behaviors. CSTVA@ISSTA 2016: 15-22 - [c52]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: 67-72 - 2015
- [j14]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: 2-21 (2015) - [c51]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: 15-30 - [c50]Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard:
Nested atomic sections with thread escape: compilation. SAC 2015: 2099-2106 - [c49]Asma Guesmi, Patrice Clemente, Frédéric Loulergue, Pascal Berthomé:
Cloud Resources Placement based on Functional and Non-functional Requirements. SECRYPT 2015: 335-342 - 2014
- [c48]Joeffrey Legaux, Frédéric Loulergue, Sylvain Jubertie:
Development effort and performance trade-off in high-level parallel programming. HPCS 2014: 162-169 - [c47]Mohamad Al Hajj Hassan, Mostafa Bamha, Frédéric Loulergue:
Handling Data-skew Effects in Join Operations Using MapReduce. ICCS 2014: 145-158 - [c46]Kento Emoto, Frédéric Loulergue, Julien Tesson:
A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction. ITP 2014: 258-274 - [c45]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: 1577-1584 - [c44]Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard:
Nested atomic sections with thread escape: a formal definition. SAC 2014: 1585-1592 - [c43]Frédéric Loulergue, Virginia Niculescu, Julien Tesson:
Implementing Powerlists with Bulk Synchronous Parallel ML. SYNASC 2014: 325-332 - 2013
- [c42]Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson:
Programming with BSP Homomorphisms. Euro-Par 2013: 446-457 - [c41]Frédéric Loulergue, Virginia Niculescu, Simon Robillard:
Powerlists in Coq: Programming and Reasoning. CANDAR 2013: 57-65 - [c40]Joeffrey Legaux, Frédéric Loulergue, Sylvain Jubertie:
OSL: An Algorithmic Skeleton Library with Exceptions. ICCS 2013: 260-269 - [c39]Joeffrey Legaux, Frédéric Loulergue, Sylvain Jubertie:
Managing arbitrary distributions of arrays in Orléans Skeleton Library. HPCS 2013: 437-444 - [c38]Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard:
Nested Atomic Sections with Thread Escape: An Operational Semantics. PDCAT 2013: 29-35 - 2012
- [c37]Wadoud Bousdira, Frédéric Loulergue, Julien Tesson:
A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays. ICA3PP (1) 2012: 218-232 - [c36]Joeffrey Legaux, Sylvain Jubertie, Frédéric Loulergue:
Experiments in Parallel Matrix Multiplication on Multi-core Systems. ICA3PP (1) 2012: 362-376 - [c35]Frédéric Loulergue, Frédéric Gava, Nikolai Kosmatov, Matthieu Lemerre:
Towards verified cloud computing environments. HPCS 2012: 91-97 - 2011
- [c34]Noman Javed, Frédéric Loulergue:
Parallel programming and performance predictability with Orléans Skeleton Library. HPCS 2011: 257-263 - [c33]Noman Javed, Frédéric Loulergue:
A Formal Programming Model of Orléans Skeleton Library. PaCT 2011: 40-52 - [c32]Noman Javed, Frédéric Loulergue:
Verification of a Heat Diffusion Simulation Written with Orléans Skeleton Library. PPAM (2) 2011: 91-100 - [c31]Julien Tesson, Frédéric Loulergue:
AVerified Bulk Synchronous ParallelMLHeat Diffusion Simulation. ICCS 2011: 36-45 - 2010
- [j13]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): 486-490 (2010) - [c30]Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi:
Program Calculation in Coq. AMAST 2010: 163-179 - [c29]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: 191-196 - [c28]Louis Gesbert, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson:
Systematic Development of Correct Bulk Synchronous Parallel Programs. PDCAT 2010: 334-340
2000 – 2009
- 2009
- [c27]Noman Javed, Frédéric Loulergue:
OSL: Optimized Bulk Synchronous Parallel Skeletons on Distributed Arrays. APPT 2009: 436-451 - 2007
- [j12]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): 79-81 (2007) - [j11]Anne Benoit, Frédéric Loulergue:
Practical Aspects of High-Level Parallel Programming. Scalable Comput. Pract. Exp. 8(4) (2007) - [c26]Louis Gesbert, Frédéric Loulergue:
Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML. PDCAT 2007: 201-208 - [c25]Radia Benheddi, Frédéric Loulergue:
Divide-and-Conquer Parallel Programming with Minimally Synchronous Parallel ML. PPAM 2007: 1078-1085 - [c24]Julien Tesson, Frédéric Loulergue:
Formal Semantics of DRMA-Style Programming in BSPlib. PPAM 2007: 1122-1129 - 2006
- [j10]Frédéric Loulergue:
Practical Aspects of High-Level Parallel Programming. Scalable Comput. Pract. Exp. 7(3) (2006) - [c23]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: 475-486 - [c22]Frédéric Loulergue:
A calculus of functional BSP programs with projection. IPDPS 2006 - 2005
- [j9]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): 665-671 (2005) - [j8]Frédéric Gava, Frédéric Loulergue:
A Functional Language for Departmental Metacomputing. Parallel Process. Lett. 15(3): 289-304 (2005) - [j7]Frédéric Loulergue:
Practical Aspects of High-Level Parallel Programming. Scalable Comput. Pract. Exp. 6(4) (2005) - [j6]Frédéric Loulergue:
Review of "Term Rewriting Systems by Terese", Cambridge University Press 2003, 0-521-39115-6. SIGACT News 36(4): 17-20 (2005) - [c21]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: 1046-1054 - [c20]Frédéric Loulergue:
Optimizing Bulk Synchronous Parallel ML. SNPD 2005: 294-299 - 2004
- [j5]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): 592-594 (2004) - [c19]Frédéric Loulergue:
Management of Communication Environments for Minimally Synchronous Parallel ML. DAPSYS 2004: 185-192 - [c18]Frédéric Loulergue:
Communication Primitives for Minimally Synchronous Parallel ML. International Conference on Computational Science 2004: 401-404 - 2003
- [j4]Gaétan Hains, Frédéric Loulergue:
Preface: Special Issue on High-Level Parallel Programming and Applications. Parallel Process. Lett. 13(3): 313-316 (2003) - [c17]Frédéric Dabrowski, Frédéric Loulergue:
Functional Bulk Synchronous Parallel Programming in C++. Applied Informatics 2003: 462-467 - [c16]Frédéric Loulergue:
Parallel Juxtaposition for Bulk Synchronous Parllel ML. Euro-Par 2003: 781-788 - [c15]Frédéric Gava, Frédéric Loulergue:
A Parallel Virtual Machine for Bulk Synchronous Parallel ML. International Conference on Computational Science 2003: 155-164 - [c14]Frédéric Loulergue:
Parallel Superposition for Bulk Synchronous Parallel ML. International Conference on Computational Science 2003: 223-232 - [c13]Frédéric Gava, Frédéric Loulergue:
Synthèse de types pour Bulk Synchronous Parallel ML. JFLA 2003: 153-168 - [c12]Frédéric Gava, Frédéric Loulergue:
A Polymorphic Type System for Bulk Synchronous Parallel ML. PaCT 2003: 215-229 - [c11]Frédéric Loulergue:
A Rewriting Semantics for an Event-Oriented Functional Parallel Language. PARCO 2003: 79-86 - [c10]Frédéric Gava, Frédéric Loulergue:
Semantics of a Functional BSP Language with Imperative Features. PARCO 2003: 95-102 - [c9]Frédéric Loulergue:
A Calculus of Functional BSP Programs with Explicit Substitutions. PARCO 2003: 127-134 - [c8]Myrto Arapinis, Frédéric Loulergue, Frédéric Gava, Frédéric Dabrowski:
Semantics of Minimally Synchronous Parallel ML. SNPD 2003: 260-267 - [c7]Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski:
A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML. SNPD 2003: 293-300 - [c6]Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski:
Pattern Matching of Parallel Values in Bulk Synchronous Parallel ML. SNPD 2003: 301-308 - 2002
- [c5]Frédéric Loulergue:
Implementation of a Functional Bulk Synchronous Parallel Programming Library. IASTED PDCS 2002: 447-452 - 2001
- [j3]Frédéric Loulergue:
Distributed Evaluation of Functional BSP Programs. Parallel Process. Lett. 11(4): 423-437 (2001) - [j2]Gaétan Hains, Frédéric Loulergue, John Mullins:
Concrete data structures and functional parallel programming. Theor. Comput. Sci. 258(1-2): 233-267 (2001) - 2000
- [j1]Frédéric Loulergue, Gaétan Hains, Christian Foisy:
A calculus of functional BSP programs. Sci. Comput. Program. 37(1-3): 253-277 (2000) - [c4]Frédéric Loulergue:
BSlambdap: Functional BSP Programs on Enumerated Vectors. ISHPC 2000: 355-363 - [c3]Frédéric Loulergue:
Parallel composition and bulk synchronous parallel functional programming. Scottish Functional Programming Workshop 2000: 77-88
1990 – 1999
- 1999
- [c2]Olivier Ballereau, Frédéric Loulergue, Gaétan Hains:
High Level BSP Programming: BSML and BSlambda. Scottish Functional Programming Workshop 1999: 29-40 - 1997
- [c1]Frédéric Loulergue, Gaétan Hains:
Functional Parallel Programming with Explicit Processes: Beyond SPMD. Euro-Par 1997: 530-537