GPCE 2018
Mon 5 - Tue 6 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
Mon 5 Nov 2018 11:00 - 11:30 at Studio 2 - I Chair(s): Shoaib Kamil

Program generation is indispensable. We propose a novel unification of two existing metaprogramming techniques: multi-stage programming and hygienic macros. The former supports runtime code generation and execution in a type-safe manner while the latter offers compile-time code generation.

In this work we draw upon a long line of research on metaprogramming, starting with Lisp, MetaML and MetaOCaml. We provide direct support for quotes and splices, regulated by a Phase Consistency Principle. The latter simplifies the treatment of open code without sacrificing expressiveness. Our design enables the construction and combination of code values for both expressions and types. Moreover, code generation can happen either at runtime à la MetaOCaml or at compile time in a macro fashion.

We provide an implementation of our design in Scala and we present two case studies. The first implements the Hidden Markov Model, Shonan Challenge for HPC. The second implements the staged streaming library Strymonas.

Mon 5 Nov

gpce-2018
10:30 - 12:00: GPCE 2018 - I at Studio 2
Chair(s): Shoaib KamilAdobe
gpce-201810:30 - 11:00
Talk
Karl SmeltzerOregon State University, Martin ErwigOregon State University
gpce-201811:00 - 11:30
Talk
Nicolas StuckiEPFL, Switzerland, Aggelos BiboudisEPFL, Switzerland, Martin OderskyEPFL, Switzerland
gpce-201811:30 - 12:00
Talk
William G HatchUniversity of Utah, Matthew FlattUniversity of Utah