4 citations · 6 across the 4 of their papers we have counts for
6 papers
Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
Julian Erhard, Manuel Bentele, Matthias Heizmann +7
Static analyzers are typically complex tools and thus prone to contain bugs themselves. To increase the trust in the verdict of such tools, witnesses encode key reasoning steps und…
Correctness Witness Validation by Abstract Interpretation
Simmo Saan, Michael Schwarz, Julian Erhard +3
Witnesses record automated program analysis results and make them exchangeable. To validate correctness witnesses through abstract interpretation, we introduce a novel abstract ope…
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…
Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap
Julian Erhard, Simmo Saan, Sarah Tilscher +4
To put static program analysis at the fingertips of the software developer, we propose a framework for interactive abstract interpretation. While providing sound analysis results,…
Improving Thread-Modular Abstract Interpretation
Michael Schwarz, Simmo Saan, Helmut Seidl +3
We give thread-modular non-relational value analyses as abstractions of a local trace semantics. The semantics as well as the analyses are formulated by means of global invariants…
Efficiently intertwining widening and narrowing
Gianluca Amato, Francesca Scozzari, Helmut Seidl +2
Non-trivial analysis problems require posets with infinite ascending and descending chains. In order to compute reasonably precise post-fixpoints of the resulting systems of equati…