YoVDO

Indexed Streams - A Formal Intermediate Representation for Fused Contraction Programs

Offered By: ACM SIGPLAN via YouTube

Tags

Compiler Design Courses SQLite Courses Relational Algebra Courses DuckDB Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a 16-minute video presentation from the PLDI 2023 conference introducing indexed streams, a formal operational model and intermediate representation for fused contraction programs. Learn about this novel approach that encompasses both sparse tensor algebra and relational algebra. Discover how the researchers prove the correctness of the indexed stream model and develop a compact 540-line compiler that matches the performance of TACO for sparse tensor algebra and SQLite and DuckDB for relational algebra. Gain insights into the potential applications of this formal intermediate representation in optimizing contraction language execution.

Syllabus

[PLDI'23] Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs


Taught by

ACM SIGPLAN

Related Courses

Data Manipulation at Scale: Systems and Algorithms
University of Washington via Coursera
Database Systems Concepts & Design
Georgia Institute of Technology via Udacity
DBMS - Database Management System
YouTube
Introduction to Database Systems
NPTEL via YouTube
Intro to Database Systems - Fall 2017
Carnegie Mellon University via YouTube