Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs
No abstract available.
Related papers
- Logico-Numerical Max-Strategy Iteration VMCAI 2013
- Speeding Up Logico-Numerical Strategy Iteration SAS 2014
- Accelerated Data-Flow Analysis SAS 2007
- Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors PLDI 2011
- Synthesizing Specialized Sparse Tensor Accelerators for FPGAs via High-Level Functional Abstractions CGO 2026
- Extreme-scale Direct Numerical Simulation of Incompressible Turbulence on the Heterogeneous Many-core System PPoPP 2024
- DelayRepay: delayed execution for kernel fusion in Python DLS 2020
- Automated Verification of Fundamental Algebraic Laws PLDI 2024