Kenny Ballou

Orcid: 0000-0002-6032-474X

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
muRelBench: MicroBenchmarks for Zonotope Domains.
CoRR, 2024

2023
Identifying Minimal Changes in the Zone Abstract Domain.
Proceedings of the Theoretical Aspects of Software Engineering, 2023

Minimally Comparing Relational Abstract Domains.
Proceedings of the Automated Technology for Verification and Analysis, 2023

2022
Incremental Transitive Closure for Zonal Abstract Domain.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022


  Loading...