Indexed Streams - A Formal Intermediate Representation for Fused Contraction Programs
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
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
CompilersStanford 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