Amanote Research
Register
Sign In
Composable, Sound Transformations of Nested Recursion and Loops
doi 10.1145/3314221.3314592
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2019
Authors
Kirshanthan Sundararajah
Milind Kulkarni
Publisher
ACM Press
Related search
Recursion on Nested Datatypes in Dependent Type Theory
Automatic Mapping of Nested Loops to FPGAS
Proving the Correctness of Recursion-Based Automatic Program Transformations
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Recursion and Double Recursion
Bulletin of the American Mathematical Society
Communication-Minimal Partitioning and Data Alignment for Affine Nested Loops
Computer Journal
Computer Science
Exploiting Vectorization in High Level Synthesis of Nested Irregular Loops
Journal of Systems Architecture
Hardware
Architecture
Software
Generalising the Unimodular Approach to Restructure Imperfectly Nested Loops
Parallel Processing Letters
Hardware
Theoretical Computer Science
Architecture
Software
DNestMap: Mapping Deeply-Nested Loops on Ultra-Low Power CGRAs
On the Optimality of Allen and Kennedy's Algorithm for Parallelism Extraction in Nested Loops
Parallel Algorithms and Applications
