86 citations · 192 across the 34 of their papers we have counts for
35 papers
Detecting Robustness against MVRC for Transaction Programs with Predicate Reads
Brecht Vandevoort, Bas Ketsman, Christoph Koch +1
The transactional robustness problem revolves around deciding whether, for a given workload, a lower isolation level than Serializable is sufficient to guarantee serializability. T…
Robustness against Read Committed for Transaction Templates with Functional Constraints
Brecht Vandevoort, Bas Ketsman, Christoph Koch +1
The popular isolation level Multiversion Read Committed (RC) trades some of the strong guarantees of serializability for increased transaction throughput. Sometimes, transaction wo…
Robustness against Read Committed for Transaction Templates
Brecht Vandevoort, Bas Ketsman, Christoph Koch +1
The isolation level Multiversion Read Committed (RC), offered by many database systems, is known to trade consistency for increased transaction throughput. Sometimes, transaction w…
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…