@misc{indiciaeb5e8099caae9,
  title = {Let it Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow},
  author = {Zhengyao Lin and Yi Cai and Milijana Surbatovich},
  year = {2026},
  doi = {10.1145/3808263},
  url = {https://arxiv.org/abs/2608.05451},
  note = {Source identifier: 2608.05451}
}