PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / PLDI 2017 (series) / PLDI Research Papers /
Compiling without continuations
Tue 20 Jun 2017 14:00 - 14:25 at Aula Master - Functional Programming and Correctness Chair(s): Francesco Logozzo
Many fields of study in compilers give rise to the concept of a join point—a place where different execution paths come together. While they have often been treated by representing them as functions or continuations, we believe it is time to study them in their own right. We show that adding them to a direct-style functional intermediate language allows new op- timizations to be performed, including a functional version of loop-invariant code motion. Finally, we report on recent work on the Glasgow Haskell Compiler which added join points to the Core language.
Tue 20 Jun
14:00 - 15:40: PLDI Research Papers - Functional Programming and Correctness at Aula Master Chair(s): Francesco LogozzoFacebook | ||||||||||||||||||||||||||||||||||||||||||
14:00 - 14:25 Talk | Luke MaurerUniversity of Oregon, USA, Paul DownenUniversity of Oregon, USA, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft Research, Cambridge Media Attached | |||||||||||||||||||||||||||||||||||||||||
14:25 - 14:50 Talk | Daniel PattersonNortheastern University, Jamie PercontiNortheastern University, Christos DimoulasHarvard University, USA, Amal AhmedNortheastern University, USA Media Attached | |||||||||||||||||||||||||||||||||||||||||
14:50 - 15:15 Talk | Shumo ChuUniversity of Washington, USA, Konstantin WeitzUniversity of Washington, USA, Alvin CheungUniversity of Washington, Dan SuciuUniversity of Washington Media Attached | |||||||||||||||||||||||||||||||||||||||||
15:15 - 15:40 Talk | Media Attached |