SAS 2023
Sun 22 - Tue 24 October 2023 Cascais, Portugal
co-located with SPLASH 2023
Mon 23 Oct 2023 09:00 - 10:00 at Room I - Session 5 Chair(s): Enea Zaffanella

In this article we will give an overview of the development and commercialization of two industry-strength Abstract Interpretation- based static analyzers, aiT WCET Analyzer and Astrée. We focus on development steps, adaptations to meet industry requirements and dis- cuss criteria for a successful transfer of formal verification methods to industrial usage.

Daniel Kästner is co-founder and CTO of AbsInt GmbH. He studied Computer Science and Business Economics and received his Ph.D. on code optimization for embedded processors in the year 2000. He has been a lecturer at the University of Saarbrücken, Germany and has been program committee member of numerous international conferences. He is a member of the ISO 26262 and IEC 61508 working groups on Software Safety, and a member of the MISRA C and MISRA SQM working groups.

Mon 23 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
Session 5SAS 2023 at Room I
Chair(s): Enea Zaffanella University of Parma, Italy
Abstract Interpretation in Industry - Experience and Lessons LearnedKeynote
SAS 2023
I: Daniel Kaestner AbsInt
Lifting On-Demand Analysis to Higher-Order Languages
SAS 2023
Daniel Schoepe Amazon, David Seekatz Unaffiliated, Ilina Stoilkovska Amazon, Sandro Stucki Amazon, Daniel Tattersall Amazon, Pauline Bolignano Amazon, Franco Raimondi Amazon, Bor-Yuh Evan Chang University of Colorado at Boulder; Amazon
Link to publication Pre-print