An abstract interpretation for SPMD divergence on reducible control flow graphs – PaperGrep

https://papergrep.dev/paper/an-abstract-interpretation-for-spmd-divergence-on-031b4a