Loading Events

« All Events

  • This event has passed.

Introduction to Static Analysis with Numerical Abstract Interpretation

June 27, 2023 @ 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


June 27, 2023
12:00 pm - 1:00 pm