SAS 2023
Sun 22 - Tue 24 October 2023 Cascais, Portugal
co-located with SPLASH 2023
Tue 24 Oct 2023 09:30 - 10:00 at Room I - Cost/precision trade-offs and acceleration Chair(s): Xavier Rival

In the context of static analysis based on Abstract Interpretation, we propose a lightweight pre-analysis step which is meant to suggest, at each program point, which program variables are likely to be unconstrained for a specific class of abstract properties. Using the outcome of this pre-analysis as an oracle, we simplify the statements of the program being analyzed by propagating this lack of information, aiming at fine-tuning the precision/efficiency trade-off of the analysis. A preliminary experimental evaluation shows that the idea underlying the approach is promising, as it improves the efficiency of the more costly analysis, while having a limited effect on its precision.

Tue 24 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
Cost/precision trade-offs and accelerationSAS 2023 at Room I
Chair(s): Xavier Rival Inria; ENS; CNRS; PSL University
09:00
30m
Talk
ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
SAS 2023
Florian Frohn RWTH Aachen University, J├╝rgen Giesl RWTH Aachen University
Pre-print
09:30
30m
Talk
Unconstrained Variable Oracles for Faster Static Analyses
SAS 2023
Vincenzo Arceri University of Parma, Italy, Greta Dolcetti University of Parma - Department of Mathematical, Physical, and Computer Sciences, Enea Zaffanella University of Parma, Italy
Pre-print
10:00
30m
Talk
Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs
SAS 2023
Rosa Abbasi Boroujeni Max Planck Institute for Software Systems, Eva Darulova Uppsala University
Pre-print