Introduction to Static Analysis with Numerical Abstract Interpretation
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.
Date and Time
Location
Hosts
Registration
- Date: 27 Jun 2023
- Time: 12:00 PM to 01:00 PM
- All times are (UTC-06:00) Mountain Time (US & Canada)
-
Add Event to Calendar
- Starts 31 May 2023 09:00 PM
- Ends 27 June 2023 12:00 PM
- All times are (UTC-06:00) Mountain Time (US & Canada)
- No Admission Charge
Speakers
Kenny Ballou of Boise State University
Introduction to Static Analysis with Numerical Abstract Interpretation
Static program analysis is an important technique for software engineers and programmers to understand, verify, and optimize programs. This talk briefly introduces static program analysis as a whole and the various problem areas static analysis is well suited, such as defect finding and program optimization. We discuss numerical static analysis using numerical abstract interpretation. Here, we introduce several popular abstractions used for analyzing programs. We conclude with a discussion of problems and current research within the context of numerical abstract domains.
Biography:
Kenny Ballou is a Ph.D. student at Boise State University. His research interests are in programming languages, and in particular, abstract semantics and type systems. Kenny has extensive industry experience working as a software developer and recently as a site reliability engineer.
He is an advocate for functional programming languages and is the author of "Learning Elixir".
He shares the ride on the blue dot around the Sun with his beautiful wife and lovely daughters.
Media
| Presentation slides | 562.73 KiB |