PLDI 2023 (series) / DRAGSTERS 2023 (series) / Workshop on Distributions, Relational Algebra, Graphs, Semi-Rings, Tensors, and All That /
Formalizing DRAGSTERS
Sat 17 Jun 2023 10:20 - 10:40 at Magnolia 5 - DRAGSTERS: Session 1
In this talk, we will argue that the problem of compiling computations that multiply and aggregate semiring values (as seen in the positive algebra over K-relations) is a compelling case for formal methods to make a large impact.
Sat 17 JunDisplayed time zone: Eastern Time (US & Canada) change
Sat 17 Jun
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 11:00 | |||
09:00 20mTalk | Matrix Decompositions over Database Joins DRAGSTERS Dan Olteanu University of Zurich, Nils Vortmeier Ruhr University Bochum, Dorde Zivanovic University of Oxford | ||
09:20 20mTalk | NASOQ: Numerically Accurate Sparsity-Oriented QP Solver DRAGSTERS | ||
09:40 20mTalk | UniSparse: An Intermediate Language and Compiler for General Sparse Format Customization DRAGSTERS Jie Liu Cornell University, Zhongyuan Zhao , Zijian Ding Peking University, Benjamin Brock Parallel Computing Lab (PCL), Intel, Hongbo Rong Intel Labs, Zhiru Zhang Cornell University, USA | ||
10:00 20mTalk | Unification as a means of completing partial data structures DRAGSTERS Joachim Kristensen University of Oslo, Robin Kaarsgaard University of Southern Denmark, Michael Kirkedal Thomsen University of Oslo & University of Copenhagen | ||
10:20 20mTalk | Formalizing DRAGSTERS DRAGSTERS Scott Kovach Stanford University | ||
10:40 20mTalk | Scaling Decision--Theoretic Probabilistic Programming Through Factorization DRAGSTERS |