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

This paper focuses on automated synthesis of divide-and-conquer parallelism, which is a common parallel programming skeleton supported by many cross-platform multithreaded libraries. The challenges of producing (manually or automatically) a correct divide-and-conquer parallel program from a given sequential code are two-fold: (1) assuming that individual worker threads execute a code identical to the sequential code, the programmer has to provide the extra code for dividing the tasks and combining the computation results, and (2) sometimes, the sequential code may not be usable as is, and may need to be modified by the programmer. We address both challenges in this paper. We present an automated synthesis technique for the case where no modifications to the sequential code are required, and we propose an algorithm for modifying the sequential code to make it suitable for parallelization when some modification is necessary. The paper presents theoretical results for when this modification is efficiently possible, and experimental evaluation of the technique and the quality of the produced parallel programs.

(An anonymous extended version including all proofs has been submitted as "Supplementary Material.)

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-papers14:00 - 14:25
Talk
Azadeh FarzanUniversity of Toronto, Victor NicoletUniversity of Toronto
Media Attached
pldi-2017-papers14: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-papers14:50 - 15:15
Talk
Grigory FedyukovichUW CSE, Maaz Bin Safeer AhmadUW / CSE, Rastislav BodikUniversity of Washington
Pre-print Media Attached
pldi-2017-papers15: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