Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Milind Kulkarni
Composable, Sound Transformations of Nested Recursion and Loops
Scheduling Strategies for Optimistic Parallel Execution of Irregular Programs
Related publications
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
