ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Tue 7 Jul 2015 15:10 - 15:40 at Karlstejn - Session 4

In this talk we propose a dynamic compilation system aimed for domain specific languages. In our system, DSL authors declaratively, at the definition site, state the values that are of interest for dynamic compilation (e.g., array and matrix sizes, vector and matrix sparsity). These values can regularly be used for making compilation decisions throughout the DSL compilation pipeline.

Then the instrumented DSL compiler transparently reifies all computations on the runtime values that will affect compilation decisions. Recompilation guards are introduced automatically based on the stored DSL compilation process. Finally, code caches are automatically managed and addressed with outcomes of the DSL compilation decisions instead of stable values from user programs.

Tue 7 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:40 - 15:40
Session 4DSLDI at Karlstejn
Check Syntax: An Out-of-the-Box Tool for Macro-Based DSLs
Spencer P. Florence Northwestern University, Ryan Culpepper Northeastern University, Matthew Flatt University of Utah, Robert Bruce Findler Northwestern University
Dynamic Compilation of DSLs
Vojin Jovanovic EPFL, Martin Odersky Ecole Polytechnique Federale de Lausanne