Write a Blog >>
PEPM 2017
Mon 16 - Tue 17 January 2017
co-located with POPL 2017
Tue 17 Jan 2017 16:00 - 16:30 at Salle 109, Barre 44-54 - Transformation (part II) Chair(s): Jurriaan Hage

Symbolic parallelism is a fresh look at the decade-old problem of turning sequential, imperative, code into associative reduction kernels, based on the realization that map/reduce is at its core a staging problem: how can programs be separated so that part of the computation can be done before loop-carried dependencies become available? Previous work has investigated dynamic approaches that build symbolic summaries while the actual data is processed. In this short paper, we approach the problem from the static side, and show that with simple syntax- or type-driven transformations, we can readily transform large classes of imperative groupby-aggregate programs into map/reduce parallelism with deterministic overhead.

Tue 17 Jan

pepm-workshop
16:00 - 17:00: PEPM 2017 - Transformation (part II) at Salle 109, Barre 44-54
Chair(s): Jurriaan HageUtrecht University
pepm-workshop16:00 - 16:30
Talk
Tiark RompfPurdue University, Kevin J. BrownStanford University
pepm-workshop16:30 - 17:00
Talk
Kazutaka Matsuda, Kazuyuki AsadaUniversity of Tokyo