Kenny Ballou

Orcid: 0000-0002-6032-474X

According to our database¹, Kenny Ballou authored at least 4 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2024

muRelBench: MicroBenchmarks for Zonotope Domains.

[DOI]

CoRR, 2024

2023

Identifying Minimal Changes in the Zone Abstract Domain.

[DOI]

Proceedings of the Theoretical Aspects of Software Engineering, 2023

Minimally Comparing Relational Abstract Domains.

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Incremental Transitive Closure for Zonal Abstract Domain.

[DOI]

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022