首页 正文

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... ...