On Implementing Logic Programming Languages on a Dataflow Architecture
No abstract available.
Related papers
- Ripple: Asynchronous Programming for Spatial Dataflow Architectures PLDI 2025
- YFlows: Systematic Dataflow Exploration and Code Generation for Efficient Neural Network Inference using SIMD Architectures on CPUs CC 2024
- Loop-Aware Instruction Scheduling with Dynamic Contention Tracking for Tiled Dataflow Architectures CC 2009
- Compiling Dataflow Analysis of Logic Programs PLDI 1992
- Comprehensive Accelerator-Dataflow Co-design Optimization for Convolutional Neural Networks CGO 2022
- Stardust: Compiling Sparse Tensor Algebra to a Reconfigurable Dataflow Architecture CGO 2025
- FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions OOPSLA 2024
- Let It Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow PLDI 2026