research
∙
03/13/2023
∇SD: Differentiable Programming for Sparse Tensors
Sparse tensors are prevalent in many data-intensive applications, yet ex...
share
research
∙
12/20/2022
Efficient and Sound Differentiable Programming in a Functional Array-Processing Language
Automatic differentiation (AD) is a technique for computing the derivati...
research
∙
12/19/2022
Denotationally Correct, Purely Functional, Efficient Reverse-mode Automatic Differentiation
Reverse-mode differentiation is used for optimization, but it introduces...
research
∙
11/18/2022
Compiling Structured Tensor Algebra
Tensor algebra is essential for data-intensive workloads in various comp...
research
∙
10/12/2022
Optimizing Tensor Programs on Flexible Storage
Tensor programs often need to process large tensors (vectors, matrices, ...
research
∙
06/09/2022
Hinted Dictionaries: Efficient Functional Ordered Sets and Maps
This article introduces hinted dictionaries for expressing efficient ord...
research
∙
12/24/2021
Fine-Tuning Data Structures for Analytical Query Processing
We introduce a framework for automatically choosing data structures to s...
research
∙
03/10/2021
Functional Collection Programming with Semi-Ring Dictionaries
This paper introduces semi-ring dictionaries, a powerful class of compos...
research
∙
12/29/2020
BayesCard: A Unified Bayesian Framework for Cardinality Estimation
Cardinality estimation is one of the fundamental problems in database ma...
research
∙
11/12/2020
Scalable Querying of Nested Data
While large-scale distributed data processing platforms have become an a...
research
∙
01/10/2020
Multi-layer Optimizations for End-to-End Data Analytics
We consider the problem of training machine learning models over multi-r...
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