4 papers
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…
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…
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…
Confidence Preservation Property in Knowledge Distillation Abstractions
Dmitry Vengertsev, Elena Sherman
Social media platforms prevent malicious activities by detecting harmful content of posts and comments. To that end, they employ large-scale deep neural network language models for…