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

14:40 - 15:40: DSLDI - Session 4 at Karlstejn
dsldi-2015-papers14:40 - 15:10
Spencer P. FlorenceNorthwestern University, Ryan CulpepperNortheastern University, Matthew FlattUniversity of Utah, Robby FindlerNorthwestern University
dsldi-2015-papers15:10 - 15:40
Vojin JovanovicEPFL, Martin OderskyEcole Polytechnique Federale de Lausanne