Kenny Ballou -

Registered user since Thu 27 Aug 2026

Name:Kenny Ballou

Affiliation:California State University San Marcos

Personal website: https://kennyballou.com

GitHub: https://github.com/kennyballou

Contributions

2026

NSAD

Author of Minimal Comparison of Octagonal Abstract Domains within the NSAD 2026-track
Author of Inferring Numerical Abstract Domain Types from Concrete Program States within the NSAD 2026-track