1 citations · 2 across the 3 of their papers we have counts for
3 papers
Modeling Layout Abstractions Using Integer Set Relations
Somashekaracharya G Bhaskaracharya, Aravind Acharya, Bastian Hagedorn +1
Modern deep learning compilers rely on layout abstractions to manage the complex mapping between logical tensor structures and physical memory arrangements. CuTe layouts and Triton…
An Approach for Finding Permutations Quickly: Fusion and Dimension matching
Aravind Acharya, Uday Bondhugula, Albert Cohen
Polyhedral compilers can perform complex loop optimizations that improve parallelism and cache behaviour of loops in the input program. These transformations result in significant…
Checking Temporal Properties of Presburger Counter Systems using Reachability Analysis
K Vasanta Lakshmi, Aravind Acharya, Raghavan Komondoor
Counter systems are a well-known and powerful modeling notation for specifying infinite-state systems. In this paper we target the problem of checking temporal properties of counte…