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
Times are displayed in time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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