Abstract Interpretation in Industry - Experience and Lessons LearnedKeynote
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 OctDisplayed time zone: Lisbon change
09:00 - 10:30 | |||
09:00 60mKeynote | Abstract Interpretation in Industry - Experience and Lessons LearnedKeynote SAS 2023 Pre-print | ||
10:00 30mTalk | 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 | ||
