SAS21
收藏官方服务：
资源简介：
This repository contains the source code of examples in the paper "Preserving Provability of GPU program Optimizations" submitted to the Static Analysis Symposium (SAS) 2021.
本代码仓库包含提交至2021年静态分析研讨会（Static Analysis Symposium，SAS）的论文《GPU程序优化的可证明性保持》中的示例源代码。
提供机构：
figshare创建时间：
2021-04-26
