2 citations · 3 across the 6 of their papers we have counts for
6 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…
Minimally Comparing Relational Abstract Domains
Kenny Ballou, Elena Sherman
Value-based static analysis techniques express computed program invariants as logical formula over program variables. Researchers and practitioners use these invariants to aid in s…
Identifying Minimal Changes in the Zone Abstract Domain
Kenny Ballou, Elena Sherman
Verification techniques express program states as logical formulas over program variables. For example, symbolic execution and abstract interpretation encode program states as a se…