4 citations · 6 across the 5 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023★ 4 cited
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…
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…