The Pluto+ Algorithm: A Practical Approach for Parallelization and Locality Optimization of Affine Loop Nests U Bondhugula, A Acharya, A Cohen ACM Transactions on Programming Languages and Systems (TOPLAS) 38 (3), 12, 2016 | 73 | 2016 |
PLUTO+: Near-Complete Modeling of Affine Transformations for Parallelism and Locality A Acharya, U Bondhugula Principles and Practice of Parallel Programming (PPoPP), 54--64, 2015 | 45 | 2015 |
Polyhedral auto-transformation with no integer linear programming A Acharya, U Bondhugula, A Cohen Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 26 | 2018 |
An Optimizing Code Generator for a Class of Lattice-Boltzmann Computations I Pananilath, A Acharya, V Vasista, U Bondhugula ACM Transactions on Architecture and Code Optimization (TACO), 2015 | 26 | 2015 |
Effective Loop Fusion in Polyhedral Compilation Using Fusion Conflict Graphs A Acharya, U Bondhugula, A Cohen ACM Transactions on Architecture and Code Optimization (TACO) 17 (4), 1-26, 2020 | 8 | 2020 |
A practical tile size selection model for affine loop nests K Narasimhan, A Acharya, A Baid, U Bondhugula Proceedings of the ACM International Conference on Supercomputing, 27-39, 2021 | 5 | 2021 |
An Approach for Finding Permutations Quickly: Fusion and Dimension matching A Acharya, U Bondhugula, A Cohen arXiv preprint arXiv:1803.10726, 2018 | 2 | 2018 |
Checking Temporal Properties of Presburger Counter Systems using Reachability Analysis KV Lakshmi, A Acharya, R Komondoor arXiv preprint arXiv:1312.1070, 2013 | 1 | 2013 |
Scalable and Effective Polyhedral Auto-transformation Without Using Integer Linear Programming A Acharya Indian Institute of Science Bangalore, 2020 | | 2020 |
Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis KV Lakshmi, A Acharya, R Komondoor International Symposium on Formal Methods, 335-350, 2014 | | 2014 |
Model-Checking in Presburger Counter Systems using Accelerations A Acharya Indian Institute of Science, 2013 | | 2013 |