2 citations · 3 across the 6 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2024
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…
cs.LO2023★ 1 cited
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…
cs.LO2023★ 2 cited
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…