Incremental Transitive Closure for Zonal Abstract Domain. - Kenny Ballou; Elena Sherman (NFM, 2022)

Minimally Comparing Relational Abstract Domains. - Kenny Ballou; Elena Sherman (ATVA, 2023)

Identifying Minimal Changes in the Zone Abstract Domain. - Kenny Ballou; Elena Sherman (TASE, 2023)

muRelBench: MicroBenchmarks for Zonotope Domains. - Kenny Ballou; Elena Sherman (CoRR, 2024)