TY  - RPRT
TI  - WaveCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions
AU  - Zhengyao Lin
AU  - Joshua Gancher
AU  - Bryan Parno
PY  - 2024
UR  - https://arxiv.org/abs/2312.09326
ID  - 2312.09326
ER  -