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.