Skip to Main content Skip to Navigation
Reports

Semantic Array Dataflow Analysis

Abstract : This paper revisits the polyhedral model’s key analysis, dependency analysis. The semantic formulation we propose allows a new definition of the notion of dependency and the computation of the dependency set. We argue that this new formalization will later allow for a new vision of the polyhedral model in terms of semantics, which will help us fully characterize its expressivity and applicability. We also believe that abstract semantics will be the key for designing an approximate abstract model in order to enhance the applicability of the polyhedral model.
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01954396
Contributor : Laure Gonnord <>
Submitted on : Thursday, December 13, 2018 - 4:02:50 PM
Last modification on : Monday, March 30, 2020 - 11:56:22 AM
Document(s) archivé(s) le : Thursday, March 14, 2019 - 3:08:42 PM

File

RR-9232.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01954396, version 1

Citation

Paul Iannetta, Laure Gonnord, Lionel Morel, Tomofumi Yuki. Semantic Array Dataflow Analysis. [Research Report] RR-9232, Inria Grenoble Rhône-Alpes. 2018, pp.1-22. ⟨hal-01954396⟩

Share

Metrics

Record views

209

Files downloads

161