BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Singapore
1 × USA
Collaborated with:
U.Bondhugula K.V.Lakshmi R.Komondoor A.C.0001
Talks about:
transform (2) reachabl (1) properti (1) presburg (1) polyhedr (1) parallel (1) program (1) counter (1) complet (1) analysi (1)

Person: Aravind Acharya

DBLP DBLP: Acharya:Aravind

Contributed to:

PPoPP 20152015
FM 20142014
PLDI 20182018

Wrote 3 papers:

PPoPP-2015-AcharyaB #locality #modelling #parallel
PLUTO+: near-complete modeling of affine transformations for parallelism and locality (AA, UB), pp. 54–64.
FM-2014-LakshmiAK #analysis #liveness #reachability #using
Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis (KVL, AA, RK), pp. 335–350.
PLDI-2018-AcharyaB0 #integer #linear #programming
Polyhedral auto-transformation with no integer linear programming (AA, UB, AC0), pp. 529–542.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.