Kenny Ballou | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Elena Sherman
3 publications

research

∙ 05/25/2023

Minimally Comparing Relational Abstract Domains

Value-based static analysis techniques express computed program invarian...

0 Kenny Ballou, et al. ∙

research

∙ 04/27/2023

Identifying Minimal Changes in the Zone Abstract Domain

Verification techniques express program states as logical formulas over ...

0 Kenny Ballou, et al. ∙