BibTeX records: Aravind Acharya

• > Home > Persons > Aravind Acharya

@inproceedings{DBLP:conf/ics/NarasimhanABB21,
  author       = {Kumudha Narasimhan and
                  Aravind Acharya and
                  Abhinav Baid and
                  Uday Bondhugula},
  editor       = {Huiyang Zhou and
                  Jose Moreira and
                  Frank Mueller and
                  Yoav Etsion},
  title        = {A practical tile size selection model for affine loop nests},
  booktitle    = {{ICS} '21: 2021 International Conference on Supercomputing, Virtual
                  Event, USA, June 14-17, 2021},
  pages        = {27--39},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3447818.3462213},
  doi          = {10.1145/3447818.3462213},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ics/NarasimhanABB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/taco/AcharyaBC20,
  author       = {Aravind Acharya and
                  Uday Bondhugula and
                  Albert Cohen},
  title        = {Effective Loop Fusion in Polyhedral Compilation Using Fusion Conflict
                  Graphs},
  journal      = {{ACM} Trans. Archit. Code Optim.},
  volume       = {17},
  number       = {4},
  pages        = {26:1--26:26},
  year         = {2020},
  url          = {https://doi.org/10.1145/3416510},
  doi          = {10.1145/3416510},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/taco/AcharyaBC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/AcharyaB018,
  author       = {Aravind Acharya and
                  Uday Bondhugula and
                  Albert Cohen},
  editor       = {Jeffrey S. Foster and
                  Dan Grossman},
  title        = {Polyhedral auto-transformation with no integer linear programming},
  booktitle    = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
                  USA, June 18-22, 2018},
  pages        = {529--542},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3192366.3192401},
  doi          = {10.1145/3192366.3192401},
  timestamp    = {Wed, 23 Jun 2021 15:34:31 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/AcharyaB018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1803-10726,
  author       = {Aravind Acharya and
                  Uday Bondhugula and
                  Albert Cohen},
  title        = {An Approach for Finding Permutations Quickly: Fusion and Dimension
                  matching},
  journal      = {CoRR},
  volume       = {abs/1803.10726},
  year         = {2018},
  url          = {http://arxiv.org/abs/1803.10726},
  eprinttype    = {arXiv},
  eprint       = {1803.10726},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1803-10726.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/BondhugulaA016,
  author       = {Uday Bondhugula and
                  Aravind Acharya and
                  Albert Cohen},
  title        = {The Pluto+ Algorithm: {A} Practical Approach for Parallelization and
                  Locality Optimization of Affine Loop Nests},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {38},
  number       = {3},
  pages        = {12:1--12:32},
  year         = {2016},
  url          = {https://doi.org/10.1145/2896389},
  doi          = {10.1145/2896389},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/BondhugulaA016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/taco/PananilathAVB15,
  author       = {Irshad Pananilath and
                  Aravind Acharya and
                  Vinay Vasista and
                  Uday Bondhugula},
  title        = {An Optimizing Code Generator for a Class of Lattice-Boltzmann Computations},
  journal      = {{ACM} Trans. Archit. Code Optim.},
  volume       = {12},
  number       = {2},
  pages        = {14:1--14:23},
  year         = {2015},
  url          = {https://doi.org/10.1145/2739047},
  doi          = {10.1145/2739047},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/taco/PananilathAVB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppopp/AcharyaB15,
  author       = {Aravind Acharya and
                  Uday Bondhugula},
  editor       = {Albert Cohen and
                  David Grove},
  title        = {{PLUTO+:} near-complete modeling of affine transformations for parallelism
                  and locality},
  booktitle    = {Proceedings of the 20th {ACM} {SIGPLAN} Symposium on Principles and
                  Practice of Parallel Programming, PPoPP 2015, San Francisco, CA, USA,
                  February 7-11, 2015},
  pages        = {54--64},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2688500.2688512},
  doi          = {10.1145/2688500.2688512},
  timestamp    = {Sun, 12 Jun 2022 19:46:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ppopp/AcharyaB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fm/LakshmiAK14,
  author       = {K. Vasanta Lakshmi and
                  Aravind Acharya and
                  Raghavan Komondoor},
  editor       = {Cliff B. Jones and
                  Pekka Pihlajasaari and
                  Jun Sun},
  title        = {Checking Liveness Properties of Presburger Counter Systems Using Reachability
                  Analysis},
  booktitle    = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
                  May 12-16, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8442},
  pages        = {335--350},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06410-9\_24},
  doi          = {10.1007/978-3-319-06410-9\_24},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/LakshmiAK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/LakshmiAK13,
  author       = {K. Vasanta Lakshmi and
                  Aravind Acharya and
                  Raghavan Komondoor},
  title        = {Checking Temporal Properties of Presburger Counter Systems using Reachability
                  Analysis},
  journal      = {CoRR},
  volume       = {abs/1312.1070},
  year         = {2013},
  url          = {http://arxiv.org/abs/1312.1070},
  eprinttype    = {arXiv},
  eprint       = {1312.1070},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LakshmiAK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}