From functional programs to pipelined dataflow circuits
No abstract available.
Related papers
- A Mechanized Semantics for Dataflow Circuits OOPSLA 2025
- An order-aware dataflow model for parallel Unix pipelines ICFP 2021
- Modular Hardware Design of Pipelined Circuits with Hazards PLDI 2024
- Let It Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow PLDI 2026
- PDL: a high-level hardware design language for pipelined processors PLDI 2022
- Ripple: Asynchronous Programming for Spatial Dataflow Architectures PLDI 2025
- Hexcute: A Compiler Framework for Automating Layout Synthesis in GPU Programs CGO 2026
- Data-aware process networks CC 2021