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

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Zhengyao Lin, Yi Cai, Milijana Surbatovich
DOI: 10.5281/zenodo.19393250
Cited by: 1

Abstract

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

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
3 April 2026
Language
EN