关注
Aravind Acharya
Aravind Acharya
Nvidia Corporation, Redmond, WA 98052
在 nvidia.com 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
762016
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
442015
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
312018
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
252015
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
112020
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
62021
An Approach for Finding Permutations Quickly: Fusion and Dimension matching
A Acharya, U Bondhugula, A Cohen
arXiv preprint arXiv:1803.10726, 2018
22018
Checking Temporal Properties of Presburger Counter Systems using Reachability Analysis
KV Lakshmi, A Acharya, R Komondoor
arXiv preprint arXiv:1312.1070, 2013
12013
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
系统目前无法执行此操作,请稍后再试。
文章 1–11