- This event has passed.
Introduction to Static Analysis with Numerical Abstract Interpretation
June 27 @ 12:00 pm - 1:00 pm
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