3 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.SE2026
Demonstrating ARG-V's Generation of Realistic Java Benchmarks for SV-COMP
Charles Moloney, Robert Dyer, Elena Sherman
The SV-COMP competition provides a state-of-the-art platform for evaluating software verification tools on a standardized set of verification tasks. Consequently, verifier developm…
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…