Aravind Acharya
According to our database1,
Aravind Acharya
authored at least 9 papers
between 2013 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Proceedings of the ICS '21: 2021 International Conference on Supercomputing, 2021
2020
ACM Trans. Archit. Code Optim., 2020
2018
CoRR, 2018
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018
2016
The Pluto+ Algorithm: A Practical Approach for Parallelization and Locality Optimization of Affine Loop Nests.
ACM Trans. Program. Lang. Syst., 2016
2015
ACM Trans. Archit. Code Optim., 2015
PLUTO+: near-complete modeling of affine transformations for parallelism and locality.
Proceedings of the 20th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2015
2014
Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis.
Proceedings of the FM 2014: Formal Methods, 2014
2013
Checking Temporal Properties of Presburger Counter Systems using Reachability Analysis.
CoRR, 2013