GPCE 2015
Mon 26 - Tue 27 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
Mon 26 Oct 2015 10:40 - 11:10 at Grand Station 1 - Session 2 Chair(s): Tiark Rompf

This paper investigates shallow embedding of DSLs by means of online partial evaluation. To this end, we present a novel online partial evaluator for continuation-passing style languages. We argue that it has, in contrast to prior work, a predictable termination policy that works well in practice. We present our approach formally using a continuation-passing variant of PCF and prove its termination properties. We evaluate our technique experimentally in the field of visual and high-performance computing and show that our evaluator produces highly specialized and efficient code for CPUs as well as GPUs that matches the performance of hand-tuned expert code.

Mon 26 Oct

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00
Session 2GPCE at Grand Station 1
Chair(s): Tiark Rompf Purdue & Oracle Labs
10:30
10m
Day opening
Opening Remarks
GPCE

10:40
30m
Talk
Shallow Embedding of DSLs via Online Partial Evaluation
GPCE
Roland Leißa , Klaas Boesche Saarland University, Sebastian Hack , Richard Membarth German Research Center for Artificial Intelligence, Philipp Slusallek German Research Center for Artificial Intelligence
11:10
30m
Talk
Almost First-Class Language Embedding: Taming Staged Embedded DSLs
GPCE
Maximilian Scherr , Shigeru Chiba University of Tokyo
11:40
20m
Talk
Generating Safe Boundary APIs between Typed EDSLs and their Environments
GPCE
Bob Reynders iMinds - Distrinet, KU Leuven, Dominique Devriese iMinds - Distrinet, KU Leuven, Frank Piessens iMinds - Distrinet, KU Leuven