2 papers
cs.SE2026
Minimal Comparison of Octagonal Abstract Domains
Kenny Ballou, Elena Sherman
Numerical abstract domains vary in their expressiveness; more expressive domains like Zones yield more precise invariants than Intervals. A comprehensive approach to selecting abst…
cs.LO2025
muRelBench: MicroBenchmarks for Zonotope Domains
Kenny Ballou, Elena Sherman
We present \texttt{muRelBench}, a framework for synthetic benchmarks for weakly-relational abstract domains and their operations. This extensible microbenchmarking framework enable…