50 citations · 160 across the 16 of their papers we have counts for
1 paper · 2 filters
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…