aravind acharya
aravind acharya
Department of Computer Science and Automation, Indian Institute of Scinece, Bangalore
Verified email at csa.iisc.ernet.in
Title
Cited by
Cited by
Year
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
382016
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
302015
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
192015
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
72018
Checking Temporal Properties of Presburger Counter Systems using Reachability Analysis
KV Lakshmi, A Acharya, R Komondoor
arXiv preprint arXiv:1312.1070, 2013
12013
An Approach for Finding Permutations Quickly: Fusion and Dimension matching
A Acharya, U Bondhugula, A Cohen
arXiv preprint arXiv:1803.10726, 2018
2018
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
The system can't perform the operation now. Try again later.
Articles 1–8