Write a Blog >>
Tue 20 Jun 2017 14:50 - 15:15 at Actes, Civil Engineering - Parallelization and Concurrency Chair(s): Milind Kulkarni

Parallelizing of software improves its effectiveness and productivity. To guarantee correctness, each new parallel version of the former code must be formally verified to be equivalent to the serial version. We present a novel approach, called GRASSP, that automatically synthesizes parallel versions of software by treating the given serial versions as specifications. GRASSP statically augments an existing serial program with additional functionality to decompose data dependencies in loop iterations, to compute partial results, and to recompose them. In contrast to other parallelizers, GRASSP gradually considers several parallelization scenarios and certifies the results using Horn-based invariant synthesis. For several classes of single-pass array-processing programs, we show that such static parallelization can be performed efficiently. The C++ translations of the GRASSP solutions sped performance by up to 5X relative to serial code on an 8-thread machine and Hadoop translations by up to 10X on a 10-node Amazon EMR cluster.

Tue 20 Jun

pldi-2017-papers
14:00 - 15:40: PLDI Research Papers - Parallelization and Concurrency at Actes, Civil Engineering
Chair(s): Milind KulkarniPurdue University
pldi-2017-papers149796000000014:00 - 14:25
Talk
Azadeh FarzanUniversity of Toronto, Victor NicoletUniversity of Toronto
Media Attached
pldi-2017-papers149796150000014:25 - 14:50
Talk
Troels HenriksenDIKU, University of Copenhagen, Niels G. W. SerupDIKU, University of Copenhagen, Martin ElsmanDepartment of Computer Science, University of Copenhagen, Fritz HengleinDIKU, Denmark, Cosmin OanceaDIKU, University of Copenhagen
Media Attached
pldi-2017-papers149796300000014:50 - 15:15
Talk
Grigory FedyukovichUW CSE, Maaz Bin Safeer AhmadUW / CSE, Rastislav BodikUniversity of Washington
Pre-print Media Attached
pldi-2017-papers149796450000015:15 - 15:40
Talk
Colin GordonDrexel University, Michael D. ErnstUniversity of Washington, USA, Dan GrossmanUniversity of Washington, Matthew ParkinsonMicrosoft Research, UK
Pre-print Media Attached