research
∙
02/17/2023
Detecting Robustness against MVRC for Transaction Programs with Predicate Reads
The transactional robustness problem revolves around deciding whether, f...
share
research
∙
01/13/2022
Robustness against Read Committed for Transaction Templates with Functional Constraints
The popular isolation level Multiversion Read Committed (RC) trades some...
research
∙
07/26/2021
Robustness against Read Committed for Transaction Templates
The isolation level Multiversion Read Committed (RC), offered by many da...
research
∙
08/03/2018
A Compiler-Compiler for DSL Embedding
In this paper, we present a framework to generate compilers for embedded...
research
∙
07/25/2018
Compiling Database Application Programs
There is a trend towards increased specialization of data management sof...
research
∙
06/06/2018
Efficient Differentiable Programming in a Functional Array-Processing Language
We present a system for the automatic differentiation of a higher-order ...
research
∙
03/08/2000