SAS 2022
Mon 5 - Wed 7 December 2022 Auckland, New Zealand
co-located with SPLASH 2022
Mon 5 Dec 2022 09:00 - 10:00 at AMRF Auditorium - Keynote 1 Chair(s): Gagandeep Singh, Caterina Urban

Software development and quality assurance teams use static analyzers to find bugs and adhere to industry standards. Static analyzers must rapidly adapt to various programming styles and project requirements. In addition, they must scale to process large code bases with adequate precision. Unfortunately, implementing commercial-grade static analyzers is tedious, error-prone, time-consuming, and costly.

This talk will outline the rapid implementation of commercial-grade static analyzers in modern Datalog languages and present some industrial use cases. We will discuss the performance challenges of modern Datalog engines used for implementing static analyzers and techniques to make static analyzers scale and truly declarative.

Mon 5 Dec

Displayed time zone: Auckland, Wellington change

09:00 - 10:00
Keynote 1SAS at AMRF Auditorium
Chair(s): Gagandeep Singh University of Illinois at Urbana-Champaign, Caterina Urban INRIA & École Normale Supérieure | Université PSL
Commercial-Grade Static Analyzers in DatalogIn PersonKeynote
Bernhard Scholz University of Sydney