Published April 3, 2026 | Version 0.1.2
Software Open

Let It Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow

Authors/Creators

  • 1. ROR icon Carnegie Mellon University
  • 2. ROR icon University of Maryland, College Park

Description

This is the artifact Docker image accompanying the paper Let It Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow at PLDI 2026.

Files

README.md

Files (1.0 GB)

Name Size Download all
md5:88c832b446fdee4ffd0532628ede0c9b
9.3 kB Preview Download
md5:13f570cb600e335281a039410ea2867a
510.7 MB Download
md5:1b24c60398c79a07acb66a270b29a06b
521.7 MB Download
md5:4001be0fe895c7c79b999d3607b7a7ab
471.9 kB Preview Download

Additional details

Software

Repository URL
https://github.com/plum-umd/wavelet
Programming language
Lean , Rust