Frédéric Loulergue

Virginia Niculescu, Frédéric Loulergue. Transforming powerlist-based divide-and-conquer programs for an improved execution model. Journal of Supercomputing, Springer Verlag, 2020, 76 (7), pp.22. ⟨10.1007/s11227-019-02820-x⟩. ⟨hal-02317068⟩

Dara Ly, Nikolai Kosmatov, Julien Signoles, Frédéric Loulergue. Soundness of a Dataflow Analysis for Memory Monitoring. Ada Letters, Association for Computing Machinery, 2019, 38 (2), pp.97-108. ⟨10.1145/3375408.3375416⟩. ⟨hal-03622785⟩

Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue. MMFilter: A CHR-Based Solver for Generation of Executions under Weak Memory Models. Computer Languages, Systems and Structures, Elsevier, 2018, 53, pp.121-142. ⟨10.1016/j.cl.2018.03.002⟩. ⟨hal-01777123⟩

Frédéric Loulergue. A BSPlib-style API for Bulk Synchronous Parallel ML. Scalable Computing: Practice and Experience, 2017, 18 (3), ⟨10.12694/scpe.v18i3.1306⟩. ⟨hal-02317103⟩

Frédéric Loulergue, Wadoud Bousdira, Julien Tesson. Calculating Parallel Programs in Coq using List Homomorphisms. International Journal of Parallel Programming, Springer Verlag, 2017, 45 (2), pp.300-319. ⟨10.1007/s10766-016-0415-8⟩. ⟨hal-01159182⟩

Thibaut Tachon, Chong Li, Gaétan Hains, Frédéric Loulergue. Automated generation of BSP automata. Parallel Processing Letters, World Scientific Publishing, 2017, 17 (1), ⟨10.1142/S0129626417400023⟩. ⟨hal-01495453⟩

Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard. A formal semantics of nested atomic sections with thread escape. Computer Languages, Systems and Structures, Elsevier, 2015, 42 (supl), pp.2-21. ⟨10.1016/j.cl.2015.04.001⟩. ⟨hal-01143199⟩

Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski. Bulk Synchronous Parallel ML with Exceptions. Future Generation Computer Systems, Elsevier, 2010, 26, pp.486-490. ⟨10.1016/j.future.2009.05.021⟩. ⟨inria-00452527⟩

Frédéric Gava, Frédéric Loulergue. A Functional Language for Departmental Metacomputing. Parallel Processing Letters, World Scientific Publishing, 2005, 15(3), pp.289-304. ⟨hal-00110829⟩

Frédéric Gava, Frédéric Loulergue. A Static Analysis for Bulk Synchronous Parallel ML to Avoid Parallel Nesting. Future Generation Computer Systems, Elsevier, 2005, 21(5), pp.665-671. ⟨hal-00110830⟩

Gaétan Hains, Frédéric Loulergue. Preface: Special Issue on High-Level Parallel Programming and Applications. Parallel Processing Letters, World Scientific Publishing, 2003, 13, pp.313-316. ⟨hal-00005603⟩

Salwa Souaf, Frédéric Loulergue. Experience report: Teaching code analysis and verification using Frama-C. 1st International Workshop on Applicable Formal Methods (appFM), Nov 2021, Beijing, China. ⟨hal-03338928⟩

Virginia Niculescu, Frédéric Loulergue, Darius Bufnea, Adrian Sterca. Pattern-driven Design of a Multiparadigm Parallel Programming Framework. 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), 2020, Prague, Czech Republic. ⟨hal-02494416⟩

Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles. Verified Runtime Assertion Checking for Memory Properties. TAP 2020 - 14th International Conference on Tests and Proofs, Jun 2020, Bergen, Norway. ⟨10.1007/978-3-030-50995-8_6⟩. ⟨cea-02879211⟩

Allan Blanchard, Frédéric Loulergue, Nikolai Kosmatov. Towards Full Proof Automation in Frama-C Using Auto-active Verification. 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⟩. ⟨hal-02317055⟩

Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue. Logic against Ghosts: Comparison of Two Proof Approaches for a List Module. SAC 2019 - The 34th ACM/SIGAPP Symposium On Applied Computing, Apr 2019, Limassol, Cyprus. ⟨10.1145/3297280.3297495⟩. ⟨hal-02100515⟩

Jolan Philippe, Frédéric Loulergue. PySke: Algorithmic Skeletons for Python. The 2019 International Conference on High Performance Computing & Simulation (HPCS), Jul 2019, Dublin, Ireland. ⟨10.1109/HPCS48598.2019.9188151⟩. ⟨hal-02317127⟩

Salwa Souaf, Frédéric Loulergue. A First Step in the Translation of Alloy to Coq. 21st International Conference on Formal Engineering Methods (ICFEM), 2019, Shenzen, China. ⟨10.1007/978-3-030-32409-4_28⟩. ⟨hal-02317118⟩

Jolan Philippe, Frédéric Loulergue. Parallel programming with Coq: Map and reduce skeletons on trees. 34th ACM/SIGAPP Symposium on Applied Computing (SAC), Apr 2019, Limassol, Cyprus. pp.1578-1581, ⟨10.1145/3297280.3299742⟩. ⟨hal-02317074⟩

Frédéric Loulergue, Jolan Philippe. New List Skeletons for the Python Skeleton Library. PDCAT 2019: 20th International Conference on Parallel and Distributed Computing, Applications and Technologies, Dec 2019, Gold Coast, Australia. ⟨10.1109/PDCAT46702.2019.00077⟩. ⟨hal-02317124⟩

Frédéric Loulergue, Jolan Philippe. Automatic Optimization of Python Skeletal Parallel Programs. 19th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP), Dec 2019, Melbourne, Australia. ⟨10.1007/978-3-030-38991-8_13⟩. ⟨hal-02317123⟩

Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue. A Lesson on Verification of IoT Software with Frama-C. 2018 International Conference on High Performance Computing & Simulation (HPCS), Jul 2018, Orleans, France. pp.21-30, ⟨10.1109/HPCS.2018.00018⟩. ⟨hal-02317078⟩

Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue. Des listes et leurs fantômes : vérification d'un module critique de Contiki avec FRAMA-C. 17èmes Journées AFADL : Approches Formelles Dans L'assistance Au Développement De Logiciels, Jun 2018, Toulouse, France. ⟨hal-01811932⟩

Dara Ly, Nikolai Kosmatov, Julien Signoles, Frédéric Loulergue. Soundness of a Dataflow Analysis for Memory Monitoring. 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⟩. ⟨cea-02283406⟩

Frédéric Loulergue, Allan Blanchard, Nikolai Kosmatov. Ghosts for Lists: from Axiomatic to Executable Specifications. TAP 2018 - 12th International Conference on Tests and Proofs, Jun 2018, Toulouse, France. ⟨10.1007/978-3-319-92994-1_11⟩. ⟨hal-01811922⟩

Victor Allombert, Mathias Bourgoin, Frédéric Loulergue. Parallel Programming with OCaml: A Tutorial. International Conference on High Performance Computing and Simulation (HPCS 2018), Jul 2018, Orléans, France. ⟨hal-01941231⟩

Julien Tesson, Frédéric Loulergue. Interactive Bulk Synchronous Parallel Functional Programming in a Browser. 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⟩. ⟨hal-02317093⟩

Salwa Souaf, Pascal Berthomé, Frédéric Loulergue. A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations. 2018 International Conference on High Performance Computing & Simulation (HPCS), Jul 2018, Orleans, France. pp.691-699, ⟨10.1109/HPCS.2018.00113⟩. ⟨hal-02317089⟩

Frédéric Loulergue, Christopher Whitney. Verified Programs for Frequent Itemset Mining. 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⟩. ⟨hal-02317083⟩

Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue. Ghosts for Lists: A Critical Module of Contiki Verified in Frama-C. Tenth NASA Formal Methods Symposium - NFM 2018, Apr 2018, Newport News, United States. ⟨10.1007/978-3-319-77935-5_3⟩. ⟨hal-01720401⟩

Allan Blanchard, Frédéric Loulergue, Nikolai Kosmatov. From Concurrent Programs to Simulating Sequential Programs: Correctness of a Transformation. Fifth International Workshop on Verification and Program Transformation (VPT 2017), Apr 2017, Uppsala, Sweden. ⟨10.4204/EPTCS.253.9⟩. ⟨hal-01495454⟩

Frédéric Loulergue. Imperative BSPlib-style Communications in Bulk Synchronous Parallel ML. International Conference on Computational Science, Jun 2017, Zurich, Switzerland. ⟨10.1016/j.procs.2017.05.267⟩. ⟨hal-01495456⟩

Frédéric Loulergue. A Verified Accumulate Algorithmic Skeleton. 2017 Fifth International Symposium on Computing and Networking (CANDAR), Nov 2017, Aomori, France. pp.420-426, ⟨10.1109/CANDAR.2017.108⟩. ⟨hal-02317096⟩

Virginia Niculescu, Frédéric Loulergue, Darius Bufnea, Adrian Sterca. A Java Framework for High Level Parallel Programming Using Powerlists. 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⟩. ⟨hal-02317101⟩

Frédéric Loulergue. Implementing Algorithmic Skeletons with Bulk Synchronous Parallel ML. 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⟩. ⟨hal-02317099⟩

Arvid Jakobsson, Frederic Dabrowski, Wadoud Bousdira, Frédéric Loulergue, Gaetan Hains. Replicated Synchronization for Imperative BSP Programs. International Conference on Computational Science (ICCS), 2017, Zürich, Switzerland. ⟨10.1016/j.procs.2017.05.123⟩. ⟨hal-01494832⟩

Allan Blanchard, Nikolai Kosmatov, Frédéric Loulergue. A CHR-Based Solver for Weak Memory Behaviors. 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis (CSTVA), Jul 2016, Saarbrücken, Germany. ⟨hal-01318432⟩

Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frédéric Loulergue. Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs. 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⟩. ⟨hal-01423641⟩

Thibaut Tachon, Gaétan Hains, Frédéric Loulergue, Chong Li. Automated generation of BSP automata. High Level Parallel Programming and Applications (HLPP), Jul 2016, Münster, Germany. ⟨hal-01319565⟩

Allan Blanchard, N. Kosmatov, M. Lemerre, Frédéric Loulergue. A case study on formal verification of the anaxagoros hypervisor paging system with frama-C. FMICS 2015 - Formal Methods for Industrial Critical Systems, Jun 2015, Oslo, Norway. pp.15-30, ⟨10.1007/978-3-319-19458-5_2⟩. ⟨cea-01834977⟩

Asma Guesmi, Patrice Clemente, Frédéric Loulergue, Pascal Berthomé. Cloud Resources Placement Based on Functional and Non-Functional Requirements. SECRYPT, Jul 2015, Colmar, France. ⟨hal-01158134⟩

Frédéric Loulergue. Construction de programmes parallèles en Coq avec des homomorphismes de listes. 14èmes journées Approches Formelles dans l'Assistance au Développement Logiciel (AFADL), 2015, Bordeaux, France. ⟨hal-01158137⟩

Frédéric Loulergue. Modèles fonctionnels de MapReduce en Coq. Journées Nationales du GdR GPL, 2015, Bordeaux, France. ⟨hal-01158138⟩

Frédéric Dabrowski, Frédéric Loulergue, Thomas Pinsard. Nested atomic sections with thread escape: Compilation to threads and locks. ACM Symposium on Applied Computing (SAC), Apr 2015, Salamanca, Spain. ⟨hal-01105093⟩

Mohamad Al Hajj Hassan, Mostafa Bamha, Frédéric Loulergue. Handling Data-skew Effects in Join Operations using MapReduce. ICCS, 2014, Cairns, Australia. ⟨hal-00958116⟩

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. ACM Symposium on Applied Computing (SAC), 2014, Gyeongju, South Korea. ⟨hal-00905950⟩

Frederic Dabrowski, Frédéric Loulergue, Thomas Pinsard. Nested Atomic Sections with Thread Escape: A Formal Definition. ACM Symposium on Applied Computing (SAC), 2014, Gyeongju, South Korea. ⟨hal-00905949⟩

Frédéric Loulergue. PaPDAS - Parallel Program Development with Algorithmic Skeletons. Journées MFDL/MTV2, Jan 2014, Grenoble, France. ⟨hal-00979100⟩

Frédéric Loulergue, Mohamad Al Hajj Hassan, Mostafa Bamha. Handling Data-skew Effects in Join Operations using MapReduce. Journées nationales du GdR GPL, Jun 2014, Paris, France. ⟨hal-00979104⟩

Kento Emoto, Frédéric Loulergue, Julien Tesson. A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction. Interactive Theorem Proving, 2014, Vienna, Austria. ⟨hal-00964061⟩

Frédéric Loulergue, Julien Tesson. Certified Parallel Program Calculation in Coq: A Tutorial. International Conference on High Performance Computing and Simulation (HPCS), 2014, Bologna, Italy. ⟨hal-00966632⟩

Joeffrey Legaux, Sylvain Jubertie, Frédéric Loulergue. Development Effort and Performance Trade-off in High-Level Parallel Programming. International Conference on High Performance Computing and Simulation (HPCS), 2014, Bologna, Italy. ⟨hal-01016180⟩

Frédéric Loulergue, Julien Tesson, Virginia Niculescu. Implementing powerlists with Bulk Synchronous Parallel ML. 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2014, Timisoara, Romania. ⟨10.1109/SYNASC.2014.51⟩. ⟨hal-01105115⟩

Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, Zhenjiang Hu. Dérivation formelle et extraction d'un programme data-parallèle pour le problème des valeurs inférieures les plus proches. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2014, Paris, France. ⟨hal-00979092⟩

Joeffrey Legaux, Frédéric Loulergue, Sylvain Jubertie. Managing Arbitrary Distributions of Arrays in Orléans Skeleton Library. International Conference on High Performance Computing and Simulation (HPCS), 2013, Barcelona, Spain. ⟨hal-00822991⟩

Joeffrey Legaux, Frédéric Loulergue, Sylvain Jubertie. OSL: an algorithmic skeleton library with exceptions. International Conference on Computational Science, 2013, Helsinki, Finland. pp.269-269, ⟨10.1016/j.procs.2013.05.189⟩. ⟨hal-00822990⟩

Frederic Dabrowski, Frédéric Loulergue, Thomas Pinsard. Nested Atomic Sections with Thread Escape: An Operational Semantics. International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), 2013, Taipei, Taiwan. ⟨hal-00864820⟩

Frédéric Loulergue, Virginia Niculescu, Simon Robillard. Powerlists in Coq: Programming and Reasoning. First International Symposium on Computing and Networking (CANDAR), 2013, Fukuoka, Japan. ⟨hal-00864818⟩

Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson. Programming with BSP Homomorphisms. Euro-Par, 2013, Aachen, Germany. pp.446-457, ⟨10.1007/978-3-642-40047-6_46⟩. ⟨hal-00822992⟩

Frédéric Loulergue, Frédéric Gava, Nikolai Kosmatov, Matthieu Lemerre. Towards Verified Cloud Computing Environments. International Conference on High Performance Computing and Simulation (HPCS), Jul 2012, Madrid, Spain. ⟨hal-00708821⟩

Frédéric Loulergue. On the Formal Verification of Computer Simulations. Models and Simulations 5, Jun 2012, Helsinki, Finland. ⟨hal-00708817⟩

Joeffrey Legaux, Sylvain Jubertie, Frédéric Loulergue. Experiments in Parallel Matrix Multiplication on Multi-Core Systems. ICA3PP, Sep 2012, Fukuoka, Japan. ⟨hal-00708824⟩

Wadoud Bousdira, Frédéric Loulergue, Julien Tesson. A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays. ICA3PP, Sep 2012, Fukuoka, Japan. ⟨hal-00708822⟩

Noman Javed, Frédéric Loulergue. A Formal Programming Model of Orléans Skeleton Library. (PaCT), 2011, Kazan, Russia. ⟨hal-00592540⟩

Noman Javed, Frédéric Loulergue. Verification of a Heat Diffusion Simulation written with Orléans Skeleton Library. PPAM, 2011, Varsaw, Poland. ⟨hal-00603344⟩

Frédéric Gava, Louis Gesbert, Frédéric Loulergue. Type System for a Safe Execution of Parallel Programs in BSML. HLPP, Sep 2011, Japan. pp.17-34, ⟨10.1145/2034751.2034759⟩. ⟨hal-00605566⟩

Noman Javed, Frédéric Loulergue, Julien Tesson, Wadoud Bousdira. Prototyping a Library of Algorithmic Skeletons with Bulk Synchronous Parallel ML. (PDPTA'11), 2011, United States. ⟨hal-00592539⟩

Wadoud Bousdira, Louis Gesbert, Frédéric Loulergue. Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML. (JFLA), 2011, France. pp.117-146. ⟨hal-00592542⟩

Noman Javed, Frédéric Loulergue. Parallel Programming and Performance Predictability with Orléans Skeleton Library. HPCS, 2011, Istanbul, Turkey. pp.257-263. ⟨hal-00592541⟩

Julien Tesson, Frédéric Loulergue. A Verified Bulk Synchronous Parallel ML Heat Diffusion Simulation. The 11th International Conference on Computational Science (ICCS 2011), Jun 2011, Singapour, Singapore. pp.36 - 45, ⟨10.1016/j.procs.2011.04.005⟩. ⟨hal-00588894⟩

Mohamad Al Hajj Hassan, Mostafa Bamha, Frédéric Loulergue. An Efficient Skew-insensitive Algorithm for Join Processing on Grid Architectures. HLPP, Sep 2011, Japan. pp.11-18, ⟨10.1145/2034751.2034756⟩. ⟨hal-00605567⟩

Wadoud Bousdira, Frédéric Gava, Louis Gesbert, Frédéric Loulergue, Guillaume Petiot. Functional Parallel Programming with Revised Bulk Synchronous Parallel ML. 2nd International Workshop on Parallel and Distributed Algorithms and Applications (PDAA), 2010, Hiroshima, Japan. pp.191-196, ⟨10.1109/IC-NC.2010.57⟩. ⟨inria-00515223⟩

Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi. Program Calculation in Coq. Thirteenth International Conference on Algebraic Methodology And Software Technology (AMAST2010), 2010, Québec, Canada. ⟨inria-00484308⟩

Louis Gesbert, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson. Systematic Development of Correct Bulk Synchronous Parallel Programs. 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._. ⟨hal-00512867⟩

Hideki Hashimoto, Zhenjiang Hu, Julien Tesson, Frédéric Loulergue, Masato Takeichi. A Coq Library for Program Calculation. JSSST Conference on Software Science and Technology, 2009, Shimane University, Shimane, Japan. ⟨inria-00452515⟩

Noman Javed, Frédéric Loulergue. OSL: Optimized Bulk Synchronous Parallel Skeletons on Distributed Arrays. 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⟩. ⟨inria-00452523⟩

Radia Benheddi, Frédéric Loulergue. Divide-and-Conquer Programming with Minimally Synchronous Parallel ML. 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⟩. ⟨inria-00452537⟩

Julien Tesson, Frédéric Loulergue. Formal Semantics for the DRMA Programming Style Subset of the BSPlib Library. 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⟩. ⟨inria-00452540⟩

Louis Gesbert, Frédéric Loulergue. Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML. International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), Dec 2007, Adelaide, Australia. pp.201-208, ⟨10.1109/PDCAT.2007.77⟩. ⟨inria-00452532⟩

Radia Benheddi, Frédéric Loulergue. Minimally Synchronous Parallel ML with Parallel Composition. Seventh Symposium on Trends in Functional Programming (TFP 2006), 2006, United Kingdom. ⟨hal-00022260⟩

Frédéric Loulergue, Radia Benheddi, Frédéric Gava, Dimitri Louis-Regis. Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel Juxtaposition. International Computer Science Symposium in Russia (CSR 2006), Jun 2006, Saint Peterbourg, Russia. pp.475-486, ⟨10.1007/11753728_48⟩. ⟨inria-00452573⟩

Frédéric Loulergue. A Calculus of Functional BSP Programs with Projection. International Parallel & Distributed Processing Symposium, 8th Workshop on Advances in Parallel and Distributed Computational Models, Apr 2006, Rhodes, Greece. ⟨10.1109/IPDPS.2006.1639552⟩. ⟨inria-00452579⟩

Radia Benheddi, Frédéric Loulergue. Composition parallèle pour MSPML. Journées Francophones des Langages Applicatifs (JFLA 2006), 2006, France. pp.16. ⟨hal-00022267⟩

Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski. Bulk Synchronous Parallel ML avec exceptions. Rencontres Francophones du Parallélisme (Renpar'17), Oct 2006, Canet en Roussillon, France. ⟨inria-00452566⟩

Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski. Bulk Synchronous Parallel ML with Exceptions. Distributed and Parallel Systems (DAPSYS 2006), Sep 2006, Innsbruck, Austria. pp.33-42, ⟨10.1007/978-0-387-69858-8_4⟩. ⟨inria-00452559⟩

Jolan Philippe, Frédéric Loulergue. Towards automatically optimizing PySke programs (poster). International Conference on High Performance Computing and Simulation (HPCS), Jul 2019, Dublin, Ireland. ⟨10.1109/HPCS48598.2019.9188160⟩. ⟨hal-02318361⟩

Salwa Souaf, Frédéric Loulergue. Strong Security Guarantees: From Alloy to Coq (Research Poster). 2018 International Conference on High Performance Computing & Simulation (HPCS), Jul 2018, Orleans, France. IEEE, pp.1057-1058, ⟨10.1109/HPCS.2018.00167⟩. ⟨hal-02317091⟩

Jolan Philippe, Frédéric Loulergue. Towards the Generation of Correct Java Programs (Research Poster). 2018 International Conference on High Performance Computing & Simulation (HPCS), Jul 2018, Orleans, France. IEEE, pp.1055-1056, ⟨10.1109/HPCS.2018.00166⟩. ⟨hal-02317085⟩

Christopher Whitney, Frédéric Loulergue. Towards a Verified Parallel Implementation of Frequent Itemset Mining. 2017 International Conference on High Performance Computing & Simulation (HPCS), Jul 2017, Genoa, Italy. IEEE, pp.889-890, ⟨10.1109/HPCS.2017.138⟩. ⟨hal-02317112⟩

Jolan Philippe, Wadoud Bousdira, Frédéric Loulergue. Formalization of a Big Graph API in Coq. 2017 International Conference on High Performance Computing & Simulation (HPCS), Jul 2017, Genoa, France. IEEE, 108, pp.893-894, 2017, ⟨10.1109/HPCS.2017.140⟩. ⟨hal-02317110⟩

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

Virginia Niculescu, Frédéric Loulergue, Adrian Sterca. Reflection on the Design of Parallel Programming Frameworks. Evaluation of Novel Approaches to Software Engineering, pp.154-181, 2021, ⟨10.1007/978-3-030-70006-5_7⟩. ⟨hal-03160688⟩

Frédéric Loulergue, Wadoud Bousdira, Julien Tesson. Calcul de programmes parallèles avec Coq. Informatique Mathématique, CNRS Éditions, 2015, collection Alpha. ⟨hal-01107296⟩

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. Springer, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79379-1⟩. ⟨hal-03261865⟩

Frédéric Loulergue. Special Issue of the Journal of Logical and Algebraic Methods in Programming on Formal Approaches to Parallel and Distributed Systems 2018. Journal of Logical and Algebraic Methods in Programming, 116, Elsevier, pp.100580, 2020, ⟨10.1016/j.jlamp.2020.100580⟩. ⟨hal-03102811⟩

Frédéric Loulergue. Special Issue of Scalable Computing: Practice and Experience on Practical Aspects of High-Level Parallel Programming. Scalable Computing: Practice and Experience, 18 (1), 2017, Scalable Computing: Practice and Experience, ⟨10.12694/scpe.v18i1.1229⟩. ⟨hal-02317113⟩

Frédéric Loulergue, Alexander Tiskin. Special issue on High-Level Parallel Programming and Applications. Loulergue, F. and Tiskin, A. Parallel Processing Letters, 18(1), World Scientific Publishing, pp.188, 2008. ⟨inria-00466166⟩

Frédéric Loulergue. Special issue on Semantics and Cost Models for High-Level Parallel Programming. Loulergue, Frédéric. Computer Languages Structures and Systems, 33(3-4), Elsevier, pp.114, 2007, ⟨10.1016/j.cl.2006.12.001⟩. ⟨inria-00466164⟩

Anne Benoit, Frédéric Loulergue. Special issue: Practical Aspects of High-Level Parallel Programming. Benoit, Anne and Loulergue, Frédéric. Scalable Computing: Practice and Experience, 8(1), Warsaw School of Social Psychology, pp.35, 2007. ⟨inria-00466168⟩

Frédéric Loulergue. Special Issue: Practical Aspects of High-Level Parallel Programming. Loulergue, Frédéric. Warsaw School of Social Psychology, pp.38, 2006. ⟨inria-00466169⟩

Frédéric Loulergue. Calcul de programmes parallèles avec Coq. 2014. ⟨hal-00966633⟩

Noman Javed, Frédéric Loulergue. A Metaprogrammed Bulk Synchronous Parallel Algorithmic Skeleton Library. 2008. ⟨hal-00469435⟩

Mostafa Bamha, Frédéric Loulergue. A Scalable and Skew-insensitive Algorithm for Join Operations using Map/Reduce Model. 2014. ⟨hal-00947730v2⟩

Julien Tesson, Zhenjiang Hu, Kiminori Matsuzaki, Frédéric Loulergue, Louis Gesbert. Systematic Development of Functional Bulk Synchronous Parallel Programs. [Research Report] RR-2010-01, 2010, pp.21. ⟨inria-00465838v2⟩

Wadoud Bousdira, Frédéric Loulergue, L. Gesbert. Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML. [Rapport de recherche] 2010. ⟨inria-00465842⟩

Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi. Program Calculation in Coq. [Research Report] RR-2009-07, 2009, pp.18. ⟨inria-00448751⟩