Beyond Iteration Vectors: Instancewise Relational Abstract Domains
Abstract elided by the publisher.
Related papers
- Code Generation for In-Place Stencils CGO 2023
- The Definition of Dependence Distance TOPLAS 1994
- Static Analysis by Policy Iteration on Relational Domains ESOP 2007
- The Arithmetic-Geometric Progression Abstract Domain VMCAI 2005
- Solving systems of rational equations through strategy iteration TOPLAS 2011
- A domain-specific approach to architecturing error handling in pervasive computing OOPSLA 2010
- Seer: Predictive Runtime Kernel Selection for Irregular Problems CGO 2024
- Relational Hoare Logic for Realistically Modelled Machine Code CAV 2025