This program is tentative and subject to change.

Sun 20 Oct 2024 09:00 - 10:00 at San Gabriel - Modularity and Memory Analysis Chair(s): Roberto Giacobazzi

I will present two tehcniques in static analysis that help improve the analysis cost-accuracy balance: sparse analysis and modular analysis. Sparse analysis exploits two types of sparsities in program semantics: spatial sparsity and temporal sparsity. Spatial sparsity is that a program fragment accesses only a sparse part among the whole memory. Temporal sparsity is that data flow occurs only along sparse data-dependent paths among the whole execution paths. I will discuss a sparse analysis framework that guides how to transform analysis designs into their sparse versions without degrading the accuracy of the original analyses. Second part is on modular analysis. Modular static analysis analyzes open program fragments in advance and completes the whole analysis later when the fragments are closed. Unlike global whole-program analysis, modular analysis allows for the separate and parallel analysis of modules. It supports incremental analysis and improves the analysis precision by making a module’s analysis results sensitive to its various use contexts. I will present our recent proposal for a framework to facilitate the design of modular static analyses.

Professor

This program is tentative and subject to change.

Sun 20 Oct

Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30
Modularity and Memory AnalysisSAS at San Gabriel
Chair(s): Roberto Giacobazzi University of Arizona
09:00
60m
Keynote
Static Analysis Sparsity and Modularity
SAS
Kwangkeun Yi Seoul National University
10:00
30m
Under-approximating Memory Abstractions
SAS
Marco Milanese Sorbonne University, Antoine Miné Sorbonne Université
Pre-print