Deriving Numerical Abstract Domains via Principal Component Analysis
Abstract elided by the publisher.
Related papers
- Learning fast and precise numerical analysis PLDI 2020
- Finding Relevant Templates via the Principal Component Analysis VMCAI 2017
- Making numerical program analysis fast PLDI 2015
- The Virtual Recency Abstraction: Strong Updates for Abstract Interpreters with Shared State ECOOP 2026
- Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java VMCAI 2014
- Apron: A Library of Numerical Abstract Domains for Static Analysis CAV 2009
- A Numerical Abstract Domain Based on Expression Abstraction and Max Operator with Application in Timing Analysis CAV 2008
- Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools VMCAI 2013