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

Compilers
Stanford University via edX
Build a Modern Computer from First Principles: Nand to Tetris Part II (project-centered course)
Hebrew University of Jerusalem via Coursera
Compiler Design
Indian Institute of Technology, Kharagpur via Swayam
Foundations to Computer Systems Design
Indian Institute of Technology Madras via Swayam
Compiler Design
YouTube