Join us at this event to gain valuable insights into static program analysis, a crucial technique for software engineers and programmers to improve software quality and performance. Learn how static analysis can help you understand, verify, and optimize your programs, with a focus on numerical static analysis and popular abstractions. Don’t miss this opportunity to discover and discuss the latest research in this area. Speaker(s): Kenny Ballou Virtual: https://events.vtools.ieee.org/m/362978