Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Wed 26 Aug 2020 14:30 - 14:45 at ICFP NY 6 - New York 6 Chair(s): Sukyoung Ryu
Thu 27 Aug 2020 02:30 - 02:45 at ICFP Asia 6 - Asia 6 Chair(s): Sukyoung Ryu

Effect handlers encourage programmers to abstract over repeated patterns of complex control flow. As of today, this abstraction comes at a significant price in performance. In this paper we aim to achieve abstraction without regret for effect handlers.

We present a language for effect handlers in capability-passing style and an implementation of this language as a translation to simply-typed lambda calculus in iterated continuation-passing style. A suite of benchmarks indicates that the novel combination of capability-passing style and iterated CPS enables significant speedups over existing languages with effect handlers or control operators. Our implementation technique is very general and allows us to generate code in any language that supports first-class functions.

We then identify a subset of programs for which we can further improve the performance and guarantee full elimination of the effect handler abstraction. To formally capture this subset, we refine our language with a more restrictive type system. We present a type-directed translation for the refined language that inserts staging annotations and prove that no abstractions or applications related to effect handlers occur in the translated program. Using this second translation we observe additional speedups in some of the benchmarks.

Wed 26 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

icfp-2020-papers
14:30 - 16:25: ICFP Program - New York 6 at ICFP NY 6
Chair(s): Sukyoung RyuKAIST

Public livestreams: YouTube, Bilibili (China)

icfp-2020-papers14:30 - 14:45
Talk
Philipp SchusterUniversity of Tübingen, Germany, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany
DOI
icfp-2020-papers14:45 - 15:00
Talk
Paolo G. GiarrussoBedRock Systems, Leo StefanescoIRIF, University Paris Diderot & CNRS, Amin TimanyAarhus University, Lars BirkedalAarhus University, Robbert KrebbersDelft University of Technology
DOI
icfp-2020-papers15:00 - 15:15
Talk
Matúš TejiščákUniversity of St Andrews
DOI
icfp-2020-papers15:15 - 15:30
Talk
Di WangCarnegie Mellon University, David M. KahnCarnegie Mellon University, Jan HoffmannCarnegie Mellon University
DOI
icfp-2020-papers15:30 - 15:45
Talk
Justin LubinUniversity of Chicago, Nick CollinsUniversity of Chicago, Cyrus OmarUniversity of Michigan, Ravi ChughUniversity of Chicago
DOI
icfp-2020-papers15:45 - 16:00
Talk
András KovácsEötvös Loránd University
DOI Pre-print
icfp-2020-papers16:00 - 16:15
Talk
Paul DownenUniversity of Oregon, USA, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft, UK, Richard A. EisenbergTweag I/O
DOI
icfp-2020-papers16:15 - 16:25
Day closing
Stephanie WeirichUniversity of Pennsylvania

Thu 27 Aug
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

icfp-2020-papers
02:30 - 04:25: ICFP Program - Asia 6 at ICFP Asia 6
Chair(s): Sukyoung RyuKAIST

Public livestreams: YouTube, Bilibili (China)

icfp-2020-papers02:30 - 02:45
Talk
Philipp SchusterUniversity of Tübingen, Germany, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany
DOI
icfp-2020-papers02:45 - 03:00
Talk
Paolo G. GiarrussoBedRock Systems, Leo StefanescoIRIF, University Paris Diderot & CNRS, Amin TimanyAarhus University, Lars BirkedalAarhus University, Robbert KrebbersDelft University of Technology
DOI
icfp-2020-papers03:00 - 03:15
Talk
Matúš TejiščákUniversity of St Andrews
DOI
icfp-2020-papers03:15 - 03:30
Talk
Di WangCarnegie Mellon University, David M. KahnCarnegie Mellon University, Jan HoffmannCarnegie Mellon University
DOI
icfp-2020-papers03:30 - 03:45
Talk
Justin LubinUniversity of Chicago, Nick CollinsUniversity of Chicago, Cyrus OmarUniversity of Michigan, Ravi ChughUniversity of Chicago
DOI
icfp-2020-papers03:45 - 04:00
Talk
András KovácsEötvös Loránd University
DOI Pre-print
icfp-2020-papers04:00 - 04:15
Talk
Paul DownenUniversity of Oregon, USA, Zena M. AriolaUniversity of Oregon, USA, Simon Peyton JonesMicrosoft, UK, Richard A. EisenbergTweag I/O
DOI
icfp-2020-papers04:15 - 04:25
Day closing
Stephanie WeirichUniversity of Pennsylvania