主要观点：编译器能保证优化代码在语义上与原代码等价，但“正确”的编译器也可能因超出翻译正确性的安全属性而引入安全漏洞，此类漏洞难以发现和预防，虽难以明确应在编译器端还是用户端修复，但仍需仔细研究。
关键信息：收集了 4827 个热门编译器（GCC 和 Clang）的潜在 bug 报告并提炼出编译器引入安全漏洞的分类，通过用户研究了解用户对编译器行为的看法，指出“无未定义行为”假设给用户带来困扰且是 CISB 的主要原因。
重要细节：作者包括 Jianhao Xu（南京大学）、Kangjie Lu（明尼苏达大学）等，USENIX 致力于活动研究的开放获取，论文和会议记录在活动开始后对所有人免费开放，活动后的视频等也免费开放，鼓励支持 USENIX 的开放获取承诺。