Graph-based intermediate representations (IRs) are widely used for powerful compiler
optimizations, either interprocedurally in pure functional languages, or intraprocedurally in …

In this paper, we address the question of how to automatically map computational kernels to
highly efficient code for a wide range of computing platforms and establish the correctness of …

Machine learning is increasingly applied in high-stakes decision making that directly affect
people's lives, and this leads to an increased demand for systems to explain their decisions …

Although compiling queries to efficient machine code has become a common approach for
query execution, a number of newly created database system projects still refrain from using …

The query engines of most modern database systems are either based on vectorization or
data-centric code generation. These two state-of-the-art query processing paradigms are …

Since its invention, data-centric code generation has been adopted for query compilation by
various database systems in academia and industry. These database systems are fast but …

Today's users of data processing systems come from different domains, have different levels
of expertise, and prefer different programming languages. As a result, analytical workload …

Spatial data is ubiquitous. Massive amounts of data are generated every day from billions of
GPS-enabled devices such as cell phones, cars, sensors, and various consumer-based …

This paper introduces LMFAO (Layered Multiple Functional Aggregate Optimization), an in-
memory optimization and execution engine for batches of aggregates over the input …

Datalog has gained prominence in program analysis due to its expressiveness and ease of
use. Its generic fixpoint resolution algorithm over relational domains simplifies the …