Preserving provability over GPU program optimizations with annotation-aware transformations
{{output}}
GPU programs are widely used in industry. To obtain the best performance, a typical development process involves the manual or semi-automatic application of optimizations prior to compiling the code. Such optimizations can introduce errors. To avoid the introd... ...