
Frédéric Loulergue
120
Documents
Publications
11
5
3
3
10
12
11
3
7
12
5
4
8
6
3
4
4
6
2
1
Publications
Verified Parallel Programming in Coq with Bulk Synchronous Parallel Homomorphisms17th International Symposium on High-Level Parallel Programming and Applications (HLPP), Jul 2024, Pisa, Italy
Communication dans un congrès
hal-04597523
v1
|
|
Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack18th International Conference on Tests and Proofs (TAP), Sep 2024, Milan (Italie), Italy. ⟨10.1007/978-3-031-72044-4_5⟩
Communication dans un congrès
hal-04637532
v1
|
|
Combining Deductive Verification with Shape Analysis27th International Conference on Fundamental Approaches to Software Engineering (FASE), 2024, Luxembourg, Luxembourg. pp.280-289, ⟨10.1007/978-3-031-57259-3_14⟩
Communication dans un congrès
hal-04354615
v1
|
|
|
An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude FormalizationICE 2024: 17th Interaction and Concurrency Experience, Jun 2024, Groningen, Netherlands. pp.1-18, ⟨10.4204/EPTCS.414.2⟩
Communication dans un congrès
hal-04572043
v1
|
|
SyDPaCC: A Framework for the Development of Verified Scalable Parallel Functional ProgramsLeveraging Applications of Formal Methods, Verification and Validation (ISoLA), Oct 2024, Crete Island, Greece. ⟨10.1007/978-3-031-75380-0_16⟩
Communication dans un congrès
hal-04644465
v1
|
|
A Mechanized Formalization of an FRP Language with EffectsACM Symposium on Applied Computing (SAC), Mar 2025, Sicily, Italy
Communication dans un congrès
hal-04795983
v1
|
|
Combiner la vérification déductive avec l'analyse de formeJournées Approches Formelles pour l'Assistance au Développement de Logiciels (AFADL), Jun 2024, Strasbourg, France
Communication dans un congrès
hal-04622131
v1
|
|
Verified High Performance Computing: the SyDPaCC Approach16th 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-04171949
v1
|
Towards Verified Scalable Parallel Computing with Coq and SparkWorkshop on Formal Techniques for Java-like Programs (FTfJP), Jul 2023, Seatle, WA, United States. ⟨10.1145/3605156.3606450⟩
Communication dans un congrès
hal-04142453
v1
|
|
|
Verified Scalable Parallel Computing with Why321st 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-04173428
v2
|
|
Towards Formal Verification of a TPM Software Stack18th 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-04176159
v1
|
Tutorial: Collaborative Analysis and Verification of C Programs with Frama-C38th IEEE/ACM International Conference on Automated Software Engineering (ASE), Sep 2023, Kirchberg, Luxembourg
Communication dans un congrès
hal-04142454
v1
|
|
|
Experience report: Teaching code analysis and verification using Frama-C1st International Workshop on Applicable Formal Methods (appFM), Nov 2021, Beijing, China. ⟨10.4204/EPTCS.349.5⟩
Communication dans un congrès
hal-03338928
v1
|
|
Verified Runtime Assertion Checking for Memory PropertiesTAP 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-02879211
v1
|
|
Pattern-driven Design of a Multiparadigm Parallel Programming Framework13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), 2020, Prague, Czech Republic. ⟨10.5220/0009344100500061⟩
Communication dans un congrès
hal-02494416
v1
|
|
A First Step in the Translation of Alloy to Coq21st International Conference on Formal Engineering Methods (ICFEM), 2019, Shenzen, China. ⟨10.1007/978-3-030-32409-4_28⟩
Communication dans un congrès
hal-02317118
v1
|
|
PySke: Algorithmic Skeletons for PythonThe 2019 International Conference on High Performance Computing & Simulation (HPCS), Jul 2019, Dublin, Ireland. ⟨10.1109/HPCS48598.2019.9188151⟩
Communication dans un congrès
hal-02317127
v1
|
Towards Full Proof Automation in Frama-C Using Auto-active VerificationNFM 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-02317055
v1
|
|
Parallel programming with Coq: Map and reduce skeletons on trees34th ACM/SIGAPP Symposium on Applied Computing (SAC), Apr 2019, Limassol, Cyprus. pp.1578-1581, ⟨10.1145/3297280.3299742⟩
Communication dans un congrès
hal-02317074
v1
|
|
|
Logic against Ghosts: Comparison of Two Proof Approaches for a List ModuleSAC 2019 - The 34th ACM/SIGAPP Symposium On Applied Computing, Apr 2019, Limassol, Cyprus. ⟨10.1145/3297280.3297495⟩
Communication dans un congrès
hal-02100515
v1
|
|
New List Skeletons for the Python Skeleton LibraryPDCAT 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-02317124
v1
|
|
Automatic Optimization of Python Skeletal Parallel Programs19th 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-02317123
v1
|
|
Soundness of a Dataflow Analysis for Memory MonitoringHILT 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-02283406
v1
|
A Lesson on Verification of IoT Software with Frama-C2018 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-02317078
v1
|
|
Verified Programs for Frequent Itemset Mining2018 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-02317083
v1
|
|
|
Ghosts for Lists: from Axiomatic to Executable SpecificationsTAP 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-01811922
v1
|
Interactive Bulk Synchronous Parallel Functional Programming in a Browser2018 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-02317093
v1
|
|
|
Des listes et leurs fantômes : vérification d'un module critique de Contiki avec FRAMA-C17èmes Journées AFADL : Approches Formelles Dans L'assistance Au Développement De Logiciels, Jun 2018, Toulouse, France
Communication dans un congrès
hal-01811932
v1
|
|
Ghosts for Lists: A Critical Module of Contiki Verified in Frama-CTenth 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-01720401
v1
|
A Cloud Brokerage Solution: Formal Methods Meet Security in Cloud Federations2018 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-02317089
v1
|
|
|
Parallel Programming with OCaml: A TutorialInternational Conference on High Performance Computing and Simulation (HPCS 2018), Jul 2018, Orléans, France
Communication dans un congrès
hal-01941231
v1
|
|
Replicated Synchronization for Imperative BSP ProgramsInternational Conference on Computational Science (ICCS), 2017, Zürich, Switzerland. ⟨10.1016/j.procs.2017.05.123⟩
Communication dans un congrès
hal-01494832
v1
|
Implementing Algorithmic Skeletons with Bulk Synchronous Parallel ML2017 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-02317099
v1
|
|
A Java Framework for High Level Parallel Programming Using Powerlists2017 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-02317101
v1
|
|
|
From Concurrent Programs to Simulating Sequential Programs: Correctness of a TransformationFifth International Workshop on Verification and Program Transformation (VPT 2017), Apr 2017, Uppsala, Sweden. ⟨10.4204/EPTCS.253.9⟩
Communication dans un congrès
hal-01495454
v1
|
|
Imperative BSPlib-style Communications in Bulk Synchronous Parallel MLInternational Conference on Computational Science, Jun 2017, Zurich, Switzerland. ⟨10.1016/j.procs.2017.05.267⟩
Communication dans un congrès
hal-01495456
v1
|
A Verified Accumulate Algorithmic Skeleton2017 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-02317096
v1
|
|
|
A CHR-Based Solver for Weak Memory Behaviors7th Workshop on Constraint Solvers in Testing, Verification, and Analysis (CSTVA), Jul 2016, Saarbrücken, Germany
Communication dans un congrès
hal-01318432
v1
|
Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs2016 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-01423641
v1
|
|
Automated generation of BSP automataHigh Level Parallel Programming and Applications (HLPP), Jul 2016, Münster, Germany
Communication dans un congrès
hal-01319565
v1
|
|
Construction de programmes parallèles en Coq avec des homomorphismes de listes14èmes journées Approches Formelles dans l'Assistance au Développement Logiciel (AFADL), 2015, Bordeaux, France
Communication dans un congrès
hal-01158137
v1
|
|
Cloud Resources Placement Based on Functional and Non-Functional RequirementsSECRYPT, Jul 2015, Colmar, France
Communication dans un congrès
hal-01158134
v1
|
|
|
A case study on formal verification of the anaxagoros hypervisor paging system with frama-CFMICS 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-01834977
v1
|
Nested atomic sections with thread escape: Compilation to threads and locksACM Symposium on Applied Computing (SAC), Apr 2015, Salamanca, Spain
Communication dans un congrès
hal-01105093
v1
|
|
Modèles fonctionnels de MapReduce en CoqJournées Nationales du GdR GPL, 2015, Bordeaux, France
Communication dans un congrès
hal-01158138
v1
|
|
A Verified Generate-Test-Aggregate Coq Library for Parallel Programs ExtractionInteractive Theorem Proving, 2014, Vienna, Austria
Communication dans un congrès
hal-00964061
v1
|
|
Handling Data-skew Effects in Join Operations using MapReduceICCS, 2014, Cairns, Australia
Communication dans un congrès
hal-00958116
v1
|
|
Implementing powerlists with Bulk Synchronous Parallel ML16th 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-01105115
v1
|
|
Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values ProblemACM Symposium on Applied Computing (SAC), 2014, Gyeongju, South Korea
Communication dans un congrès
hal-00905950
v1
|
|
Dérivation formelle et extraction d'un programme data-parallèle pour le problème des valeurs inférieures les plus prochesApproches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2014, Paris, France
Communication dans un congrès
hal-00979092
v1
|
|
PaPDAS - Parallel Program Development with Algorithmic SkeletonsJournées MFDL/MTV2, Jan 2014, Grenoble, France
Communication dans un congrès
hal-00979100
v1
|
|
Handling Data-skew Effects in Join Operations using MapReduceJournées nationales du GdR GPL, Jun 2014, Paris, France
Communication dans un congrès
hal-00979104
v1
|
|
Certified Parallel Program Calculation in Coq: A TutorialInternational Conference on High Performance Computing and Simulation (HPCS), 2014, Bologna, Italy
Communication dans un congrès
hal-00966632
v1
|
|
Development Effort and Performance Trade-off in High-Level Parallel ProgrammingInternational Conference on High Performance Computing and Simulation (HPCS), 2014, Bologna, Italy
Communication dans un congrès
hal-01016180
v1
|
|
Nested Atomic Sections with Thread Escape: A Formal DefinitionACM Symposium on Applied Computing (SAC), 2014, Gyeongju, South Korea
Communication dans un congrès
hal-00905949
v1
|
|
|
OSL: an algorithmic skeleton library with exceptionsInternational Conference on Computational Science, 2013, Helsinki, Finland. pp.269-269, ⟨10.1016/j.procs.2013.05.189⟩
Communication dans un congrès
hal-00822990
v1
|
Powerlists in Coq: Programming and ReasoningFirst International Symposium on Computing and Networking (CANDAR), 2013, Fukuoka, Japan
Communication dans un congrès
hal-00864818
v1
|
|
Nested Atomic Sections with Thread Escape: An Operational SemanticsInternational Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), 2013, Taipei, Taiwan
Communication dans un congrès
hal-00864820
v1
|
|
Managing Arbitrary Distributions of Arrays in Orléans Skeleton LibraryInternational Conference on High Performance Computing and Simulation (HPCS), 2013, Barcelona, Spain
Communication dans un congrès
hal-00822991
v1
|
|
Programming with BSP HomomorphismsEuro-Par, 2013, Aachen, Germany. pp.446-457, ⟨10.1007/978-3-642-40047-6_46⟩
Communication dans un congrès
istex
hal-00822992
v1
|
|
Towards Verified Cloud Computing EnvironmentsInternational Conference on High Performance Computing and Simulation (HPCS), Jul 2012, Madrid, Spain
Communication dans un congrès
hal-00708821
v1
|
|
On the Formal Verification of Computer SimulationsModels and Simulations 5, Jun 2012, Helsinki, Finland
Communication dans un congrès
hal-00708817
v1
|
|
Experiments in Parallel Matrix Multiplication on Multi-Core SystemsICA3PP, Sep 2012, Fukuoka, Japan
Communication dans un congrès
hal-00708824
v1
|
|
A Verified Library of Algorithmic Skeletons on Evenly Distributed ArraysICA3PP, Sep 2012, Fukuoka, Japan
Communication dans un congrès
hal-00708822
v1
|
|
Parallel Programming and Performance Predictability with Orléans Skeleton LibraryHPCS, 2011, Istanbul, Turkey. pp.257-263
Communication dans un congrès
hal-00592541
v1
|
|
|
A Verified Bulk Synchronous Parallel ML Heat Diffusion SimulationThe 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-00588894
v1
|
Prototyping a Library of Algorithmic Skeletons with Bulk Synchronous Parallel ML(PDPTA'11), 2011, United States
Communication dans un congrès
hal-00592539
v1
|
|
Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML(JFLA), 2011, France. pp.117-146
Communication dans un congrès
hal-00592542
v1
|
|
An Efficient Skew-insensitive Algorithm for Join Processing on Grid ArchitecturesHLPP, Sep 2011, Japan. pp.11-18, ⟨10.1145/2034751.2034756⟩
Communication dans un congrès
hal-00605567
v1
|
|
A Formal Programming Model of Orléans Skeleton Library(PaCT), 2011, Kazan, Russia
Communication dans un congrès
hal-00592540
v1
|
|
Verification of a Heat Diffusion Simulation written with Orléans Skeleton LibraryPPAM, 2011, Varsaw, Poland
Communication dans un congrès
hal-00603344
v1
|
|
Type System for a Safe Execution of Parallel Programs in BSMLHLPP, Sep 2011, Japan. pp.17-34, ⟨10.1145/2034751.2034759⟩
Communication dans un congrès
hal-00605566
v1
|
|
Program Calculation in CoqThirteenth International Conference on Algebraic Methodology And Software Technology (AMAST2010), 2010, Québec, Canada
Communication dans un congrès
inria-00484308
v1
|
|
Systematic Development of Correct Bulk Synchronous Parallel ProgramsThe 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-00512867
v1
|
|
Functional Parallel Programming with Revised Bulk Synchronous Parallel ML2nd 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-00515223
v1
|
|
A Coq Library for Program CalculationJSSST Conference on Software Science and Technology, 2009, Shimane University, Shimane, Japan
Communication dans un congrès
inria-00452515
v1
|
|
OSL: Optimized Bulk Synchronous Parallel Skeletons on Distributed Arrays8th 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
istex
inria-00452523
v1
|
|
Formal Semantics for the DRMA Programming Style Subset of the BSPlib LibrarySeventh 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
istex
inria-00452540
v1
|
|
Divide-and-Conquer Programming with Minimally Synchronous Parallel MLSeventh 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
istex
inria-00452537
v1
|
|
Bulk Synchronous Parallel ML with ExceptionsDistributed 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-00452559
v1
|
|
Semantics of an Exception Mechanism for Bulk Synchronous Parallel MLInternational 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-00452532
v1
|
|
|
A Calculus of Functional BSP Programs with ProjectionInternational 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-00452579
v1
|
Minimally Synchronous Parallel ML with Parallel CompositionSeventh Symposium on Trends in Functional Programming (TFP 2006), 2006, United Kingdom
Communication dans un congrès
hal-00022260
v1
|
|
|
Composition parallèle pour MSPMLJournées Francophones des Langages Applicatifs (JFLA 2006), 2006, France. pp.16
Communication dans un congrès
hal-00022267
v1
|
Bulk Synchronous Parallel ML avec exceptionsRencontres Francophones du Parallélisme (Renpar'17), Oct 2006, Canet en Roussillon, France
Communication dans un congrès
inria-00452566
v1
|
|
Bulk Synchronous Parallel ML: Semantics and Implementation of the Parallel JuxtapositionInternational Computer Science Symposium in Russia (CSR 2006), Jun 2006, Saint Peterbourg, Russia. pp.475-486, ⟨10.1007/11753728_48⟩
Communication dans un congrès
istex
inria-00452573
v1
|
Towards automatically optimizing PySke programs (poster)International Conference on High Performance Computing and Simulation (HPCS), Jul 2019, Dublin, Ireland. ⟨10.1109/HPCS48598.2019.9188160⟩
Poster de conférence
hal-02318361
v1
|
|
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⟩
Poster de conférence
hal-02317085
v1
|
|
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⟩
Poster de conférence
hal-02317091
v1
|
|
Towards a Verified Parallel Implementation of Frequent Itemset Mining2017 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-02317112
v1
|
|
Formalization of a Big Graph API in Coq2017 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-02317110
v1
|
|
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.
Document associé à des manifestations scientifiques
hal-02317143
v1
|
|
Tests and ProofsSpringer, 12740, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-79379-1⟩
Ouvrages
hal-03261865
v1
|
Special issue on High-Level Parallel Programming and ApplicationsLoulergue, F. and Tiskin, A. World Scientific Publishing, Parallel Processing Letters, 18(1), pp.188, 2008
Ouvrages
inria-00466166
v1
|
|
Special issue: Practical Aspects of High-Level Parallel ProgrammingBenoit, Anne and Loulergue, Frédéric. Warsaw School of Social Psychology, Scalable Computing: Practice and Experience, 8(1), pp.35, 2007
Ouvrages
inria-00466168
v1
|
|
Special issue on Semantics and Cost Models for High-Level Parallel ProgrammingLoulergue, Frédéric. Elsevier, Computer Languages Structures and Systems, 33(3-4), pp.114, 2007, ⟨10.1016/j.cl.2006.12.001⟩
Ouvrages
istex
inria-00466164
v1
|
|
Special Issue: Practical Aspects of High-Level Parallel ProgrammingLoulergue, Frédéric. Warsaw School of Social Psychology, pp.38, 2006
Ouvrages
inria-00466169
v1
|
|
Reflection on the Design of Parallel Programming FrameworksEvaluation of Novel Approaches to Software Engineering, pp.154-181, 2021, ⟨10.1007/978-3-030-70006-5_7⟩
Chapitre d'ouvrage
hal-03160688
v1
|
Calcul de programmes parallèles avec CoqInformatique Mathématique, CNRS Éditions, 2015, collection Alpha
Chapitre d'ouvrage
hal-01107296
v1
|
Calcul de programmes parallèles avec Coq2014
Autre publication scientifique
hal-00966633
v1
|
|
A Metaprogrammed Bulk Synchronous Parallel Algorithmic Skeleton Library2008
Autre publication scientifique
hal-00469435
v1
|
|
A Scalable and Skew-insensitive Algorithm for Join Operations using Map/Reduce Model2014
Rapport
hal-00947730
v2
|
|
Systematic Development of Functional Bulk Synchronous Parallel Programs[Research Report] RR-2010-01, 2010, pp.21
Rapport
(rapport de recherche)
inria-00465838
v2
|
Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML[Rapport de recherche] 2010
Rapport
(rapport de recherche)
inria-00465842
v1
|
|
|
Program Calculation in Coq[Research Report] RR-2009-07, 2009, pp.18
Rapport
(rapport de recherche)
inria-00448751
v1
|
|
WhyBSML 0.2Logiciel hal-04556201 v2 |
Concerto-D in MaudeLogiciel hal-04654817 v1 |
Chargement...
Chargement...