A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware
Abstract elided by the publisher.
Related papers
- A Fresh Look at Zones and Octagons TOPLAS 2021
- Making numerical program analysis fast PLDI 2015
- An Abstract Domain to Infer Octagonal Constraints with Absolute Value SAS 2014
- Why is graphics hardware so fast? PPoPP 2005
- Learning fast and precise numerical analysis PLDI 2020
- Octagons Revisited - Elegant Proofs and Simplified Algorithms SAS 2023
- A practical construction for decomposing numerical abstract domains POPL 2018
- High performance stencil code generation with lift CGO 2018