Distributing and parallelizing non-canonical loops

DOI10.1007/978-3-031-24950-1_1zbMath1529.68078OpenAlexW4296547121MaRDI QIDQ6132484

Thomas Rubiano, Thomas Seiller, Clément Aubert, Neea Rusch

Publication date: 17 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-24950-1_1

zbMATH Keywords

dependency analysisprogram transformationprogram analysisabstract interpretationautomatic parallelizationloop optimization

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• On the coverings of graphs
• A predicative analysis of structural recursion
• The program dependence graph and its use in optimization
• Interaction Graphs
• The size-change principle for program termination
• Weighted Relational Models of Typed Lambda-Calculi
• The Organization of Computations for Uniform Recurrence Equations
• New Computational Paradigms
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Distributing and parallelizing non-canonical loops