activity
20222024
most citedInteractive Abstract Interpretation: Reanalyzing Whole Programs for Cheap

1 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.PL2023

Clustered Relational Thread-Modular Abstract Interpretation with Local Traces

Michael Schwarz, Simmo Saan, Helmut Seidl +2

We construct novel thread-modular analyses that track relational information for potentially overlapping clusters of global variables - given that they are protected by common mute…