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
Times are displayed in time zone: Eastern Time (US & Canada) change

10:30 - 12:00: Session 2GPCE at Grand Station 1
Chair(s): Tiark RompfPurdue & Oracle Labs
10:30 - 10:40
Day opening
Opening Remarks
GPCE
10:40 - 11:10
Talk
Shallow Embedding of DSLs via Online Partial Evaluation
GPCE
Roland Leißa, Klaas BoescheSaarland University, Sebastian Hack, Richard MembarthGerman Research Center for Artificial Intelligence, Philipp SlusallekGerman Research Center for Artificial Intelligence
11:10 - 11:40
Talk
Almost First-Class Language Embedding: Taming Staged Embedded DSLs
GPCE
Maximilian Scherr, Shigeru ChibaUniversity of Tokyo
11:40 - 12:00
Talk
Generating Safe Boundary APIs between Typed EDSLs and their Environments
GPCE
Bob ReyndersiMinds - Distrinet, KU Leuven, Dominique DevrieseiMinds - Distrinet, KU Leuven, Frank PiessensiMinds - Distrinet, KU Leuven