Kenny Ballou

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 6

Top Topics

Relational Models

Database Language

Top Venues

Publications

Kenny Ballou, Elena Sherman
muRelBench: MicroBenchmarks for Zonotope Domains. CoRR (2024)
Kenny Ballou, Elena Sherman
Minimally Comparing Relational Abstract Domains. CoRR (2023)
Kenny Ballou, Elena Sherman
Minimally Comparing Relational Abstract Domains. ATVA (2023)
Kenny Ballou, Elena Sherman
Identifying Minimal Changes in the Zone Abstract Domain. TASE (2023)
Kenny Ballou, Elena Sherman
Identifying Minimal Changes in the Zone Abstract Domain. CoRR (2023)
Kenny Ballou, Elena Sherman
Incremental Transitive Closure for Zonal Abstract Domain. NFM (2022)