YoVDO

Hydroflow: A Compiler Target for Fast, Correct Distributed Programs

Offered By: ACM SIGPLAN via YouTube

Tags

Distributed Systems Courses Rust Courses Dataflow Courses Compiler Design Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore a groundbreaking compiler stack designed to enhance the correctness and efficiency of distributed programs in this OOPSLA 2023 conference talk. Delve into Hydroflow, a Rust-based dataflow runtime that forms the foundation of the Hydro project at Berkeley. Discover how Hydroflow's semilattice formalism-based IR enables natural program transformations in distributed systems, including refactoring, replication, and partitioning. Learn about the optimization potential for distributed programs, addressing parallelism, memory scaling, performance isolation, geoproximity, and physical security. Examine case studies demonstrating correctness, latency, and scaling results when optimizing various programs, from key-value stores to shopping carts and complex consensus protocols.

Syllabus

[OOPSLA23] Hydroflow: A Compiler Target for Fast, Correct Distributed Programs


Taught by

ACM SIGPLAN

Related Courses

Advanced Operating Systems
Georgia Institute of Technology via Udacity High Performance Computing
Georgia Institute of Technology via Udacity GT - Refresher - Advanced OS
Georgia Institute of Technology via Udacity Distributed Machine Learning with Apache Spark
University of California, Berkeley via edX CS125x: Advanced Distributed Machine Learning with Apache Spark
University of California, Berkeley via edX