Travelled to:1 × Estonia
1 × Germany
1 × United Kingdom
2 × China
2 × France
Collaborated with:R.Govindarajan B.Ratnakar S.Putta ∅ M.Burtscher K.Pingali A.De D.D'Souza
Talks about:analysi (6) point (5) constraint (3) effici (3) graph (2) algorithm (1) structur (1) parallel (1) dataflow (1) program (1)
Person: Rupesh Nasre
DBLP: Nasre:Rupesh
Contributed to:
2014
2013
20122012
2011
2011
2010Wrote 7 papers:
- ISMM-2014-RatnakarN #analysis #constraints #graph #performance #points-to
- Push-pull constraint graph for efficient points-to analysis (BR, RN), pp. 25–33.
- PPoPP-2013-NasreBP #algorithm
- Morph algorithms on GPUs (RN, MB, KP), pp. 147–156.
- CC-2012-PuttaN #analysis #parallel #points-to
- Parallel Replication-Based Points-To Analysis (SP, RN), pp. 61–80.
- ISMM-2012-Nasre #analysis #constraints #graph #performance #points-to
- Exploiting the structure of the constraint graph for efficient points-to analysis (RN), pp. 121–132.
- CGO-2011-NasreG #analysis #constraints #evaluation #performance #points-to
- Prioritizing constraint evaluation for efficient points-to analysis (RN, RG), pp. 267–276.
- ESOP-2011-DeDN #analysis #data flow #source code
- Dataflow Analysis for Datarace-Free Programs (AD, DD, RN), pp. 196–215.
- SAS-2010-NasreG #analysis #equation #linear #points-to
- Points-to Analysis as a System of Linear Equations (RN, RG), pp. 422–438.