SAS 2023
Sun 22 - Tue 24 October 2023 Cascais, Portugal
co-located with SPLASH 2023
Mon 23 Oct 2023 17:00 - 17:30 at Room I - Session 8 Chair(s): José Morales, Manuel Hermenegildo

Starting in 2014, the program committee of each SAS conference selects a paper for the Radhia Cousot Young Researcher Best Paper Award, in memory of Radhia Cousot, and her fundamental contributions to static analysis, as well as being one of the main promoters and organizers of the SAS series of conferences. Recipients of previous editions can be found in the Static Analysis series central pages.

Mon 23 Oct

Displayed time zone: Lisbon change

16:00 - 17:30
Session 8SAS 2023 at Room I
Chair(s): José Morales IMDEA Software Institute, Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute
16:00
60m
Keynote
Building Trust and Safety in Artificial Intelligence with Abstract InterpretationRemoteKeynote
SAS 2023
I: Gagandeep Singh University of Illinois at Urbana-Champaign; VMware Research
Pre-print
17:00
30m
Awards
Radhia Cousot Award and PC report
SAS 2023
C: Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute, C: José Morales IMDEA Software Institute