3 citations · 3 across the 1 of their papers we have counts for
5 papers
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…
Repairing Conflicts among MVCC Transactions
Mohammad Dashti, Sachin Basil John, Amir Shaikhha +1
The optimistic variants of MVCC (Multi-Version Concurrency Control) avoid blocking concurrent transactions at the cost of having a validation phase. Upon failure in the validation…
DBToaster: Higher-order Delta Processing for Dynamic, Frequently Fresh Views
Yanif Ahmad, Oliver Kennedy, Christoph Koch +1
Applications ranging from algorithmic trading to scientific data analysis require realtime analytics based on views over databases that change at very high rates. Such views have t…