Distributing and parallelizing non-canonical loops

DOI10.1007/978-3-031-24950-1_1MaRDI QIDQ6132484zbMATHOpenAlexFDO

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

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

abstract interpretationprogram analysisprogram transformationautomatic parallelizationdependency analysisloop optimization

Mathematics Subject Classification ID

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

Recommendations

• On the parallel complexity of loops
• scientific article; zbMATH DE number 1487613
• COMPILE TIME PARTITIONING OF NESTED LOOP ITERATION SPACES WITH NON-UNIFORM DEPENDENCES*
• On loop transformations of nested loops with affine dependencies
• scientific article; zbMATH DE number 618313

Cites work

• scientific article; zbMATH DE number 5344975 (Why is no real title available?)
• scientific article; zbMATH DE number 7559871 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• A predicative analysis of structural recursion
• Interaction graphs: full linear logic
• New Computational Paradigms
• On the coverings of graphs
• The Organization of Computations for Uniform Recurrence Equations
• The program dependence graph and its use in optimization
• The size-change principle for program termination
• Weighted relational models of typed lambda-calculi

Cited in

(1)

• scientific article; zbMATH DE number 5885666 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6132484)