`Travelled to:`

1 × China

1 × India

4 × USA

`Collaborated with:`

K.Pingali R.Manevich M.Kulkarni D.Nguyen X.Sui K.S.McKinley M.Burtscher M.A.Hassaan M.Méndez-Lojo R.Kaleem T.Lee A.Lenharth

`Talks about:`

parallel (4) program (4) graph (3) algorithm (2) synthes (2) optim (2) implement (1) structur (1) exploit (1) concurr (1)

## Person: Dimitrios Prountzos

### DBLP: Prountzos:Dimitrios

### Contributed to:

### Wrote 7 papers:

- PLDI-2015-PrountzosMP #automation #graph #parallel #source code
- Synthesizing parallel graph programs via automated planning (DP, RM, KP), pp. 533–544.
- PPoPP-2013-PrountzosP #algorithm #implementation
- Betweenness centrality: algorithms and implementations (DP, KP), pp. 35–46.
- OOPSLA-2012-PrountzosMP #concurrent #graph #named #source code
- Elixir: a system for synthesizing concurrent graph programs (DP, RM, KP), pp. 375–394.
- PLDI-2011-KulkarniNPSP #commutative
- Exploiting the commutativity lattice (MK, DN, DP, XS, KP), pp. 542–555.
- PLDI-2011-PingaliNKBHKLLMMPS #algorithm #parallel
- The tao of parallelism in algorithms (KP, DN, MK, MB, MAH, RK, THL, AL, RM, MML, DP, XS), pp. 12–25.
- POPL-2011-PrountzosMPM #analysis #graph #optimisation #parallel #source code
- A shape analysis for optimizing parallel graph programs (DP, RM, KP, KSM), pp. 159–172.
- PPoPP-2010-Mendez-LojoNPSHKBP #optimisation #source code
- Structure-driven optimizations for amorphous data-parallel programs (MML, DN, DP, XS, MAH, MK, MB, KP), pp. 3–14.