Kenny Ballou

According to our database, Kenny Ballou authored at least 3 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Identifying Minimal Changes in the Zone Abstract Domain.

Kenny Ballou, Elena Sherman

Proceedings of the Theoretical Aspects of Software Engineering, 2023

Minimally Comparing Relational Abstract Domains.

Kenny Ballou, Elena Sherman

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Incremental Transitive Closure for Zonal Abstract Domain.

Kenny Ballou, Elena Sherman

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