research
∙
01/16/2023
Clustered Relational Thread-Modular Abstract Interpretation with Local Traces
We construct novel thread-modular analyses that track relational informa...
share
research
∙
09/21/2022
Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap
To put static program analysis at the fingertips of the software develop...
research
∙
08/17/2021
Improving Thread-Modular Abstract Interpretation
We give thread-modular non-relational value analyses as abstractions of ...
research
∙
08/16/2019