3 citations · 9 across the 7 of their papers we have counts for
3 papers · 1 filter
A Compiler-Compiler for DSL Embedding
Amir Shaikhha, Vojin Jovanovic, Christoph Koch
In this paper, we present a framework to generate compilers for embedded domain-specific languages (EDSLs). This framework provides facilities to automatically generate the boilerp…
Compiling Database Application Programs
Mohammad Dashti, Sachin Basil John, Thierry Coppey +3
There is a trend towards increased specialization of data management software for performance reasons. In this paper, we study the automatic specialization and optimization of data…
Efficient Differentiable Programming in a Functional Array-Processing Language
Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis +2
We present a system for the automatic differentiation of a higher-order functional array-processing language. The core functional language underlying this system simultaneously sup…