Checking Temporal Properties of Presburger Counter Systems using Reachability Analysis. - K. Vasanta Lakshmi; Aravind Acharya; Raghavan Komondoor (CoRR, 2013)

Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis. - K. Vasanta Lakshmi; Aravind Acharya; Raghavan Komondoor (FM, 2014)

PLUTO+: near-complete modeling of affine transformations for parallelism and locality. - Aravind Acharya; Uday Bondhugula (PPoPP, 2015)

An Optimizing Code Generator for a Class of Lattice-Boltzmann Computations. - Irshad Pananilath; Aravind Acharya; Vinay Vasista; Uday Bondhugula (ACM Trans. Archit. Code Optim., 2015)

The Pluto+ Algorithm: A Practical Approach for Parallelization and Locality Optimization of Affine Loop Nests. - Uday Bondhugula; Aravind Acharya; Albert Cohen 001 (ACM Trans. Program. Lang. Syst., 2016)

Polyhedral auto-transformation with no integer linear programming. - Aravind Acharya; Uday Bondhugula; Albert Cohen 001 (PLDI, 2018)

An Approach for Finding Permutations Quickly: Fusion and Dimension matching. - Aravind Acharya; Uday Bondhugula; Albert Cohen 001 (CoRR, 2018)

Effective Loop Fusion in Polyhedral Compilation Using Fusion Conflict Graphs. - Aravind Acharya; Uday Bondhugula; Albert Cohen 001 (ACM Trans. Archit. Code Optim., 2020)

A practical tile size selection model for affine loop nests. - Kumudha Narasimhan; Aravind Acharya; Abhinav Baid; Uday Bondhugula (ICS, 2021)