Elementary transformation analysis for Array-OL
Paul Feautrier (LIP, INRIA Rh\^one-Alpes)
TL;DR
This paper presents an analysis method for deriving Array-OL specifications from sequential applications, aiding the implementation of signal processing programs.
Contribution
It introduces a transformation analysis technique to deduce Array-OL specifications from sequential code, exploring its feasibility and limitations.
Findings
Feasibility of deriving Array-OL specifications from sequential code.
Identification of limits in the analysis process.
Potential for simplifying Array-OL program development.
Abstract
Array-OL is a high-level specification language dedicated to the definition of intensive signal processing applications. Several tools exist for implementing an Array-OL specification as a data parallel program. While Array-OL can be used directly, it is often convenient to be able to deduce part of the specification from a sequential version of the application. This paper proposes such an analysis and examines its feasibility and its limits.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsEmbedded Systems Design Techniques · Parallel Computing and Optimization Techniques · Formal Methods in Verification