SPLASH 2015 (series) / GPCE 2015 (series) / GPCE Papers /
Shallow Embedding of DSLs via Online Partial Evaluation
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
Mon 26 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change
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 | ||
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 |