Verified Spilling and Translation Validation with Repair. - Julian Rosemann; Sigurd Schneider; Sebastian Hack (ITP, 2017)

An abstract interpretation for SPMD divergence on reducible control flow graphs. - Julian Rosemann; Simon Moll 001; Sebastian Hack (Proc. ACM Program. Lang., 2021)