25.2016 CC:西班牙巴塞罗那
阿亚尔·扎克斯 , 曼纽尔·埃尔梅内吉尔多 :
2016年3月12日至18日在西班牙巴塞罗那举行的第25届编译器构造国际会议记录,CC 2016。 ACM公司 2016 ,国际标准图书编号 978-1-4503-4241-4
投机
克莱门斯·汉马赫 , 凯文·斯特雷特 , 安德利亚斯·策勒 , 塞巴斯蒂安·哈克 :
内核支持的线程级推测。 1-11 真曹 , 克拉克·维尔布鲁奇 :
减少软件线程级推测中的内存缓冲开销。 12-22 尼尔·墨菲 , 蒂莫西·琼斯 , 罗伯特·D·马林斯 , 西蒙·坎帕诺尼 :
自动并行循环中瞬态环载数据相关性的性能影响。 23-33
运行时技术
安兰·库苏姆 , 尤利安·尼姆图 , 拉吉夫·古普塔 :
通过替代数据结构表示实现安全灵活的自适应。 34-44 张敏佳 , 斯瓦南多·比斯瓦斯 , 迈克尔·D·邦德 :
并行运行时支持的松弛依赖性跟踪。 45-55 亨利克·费雷罗 , 劳拉·卡斯特罗 , 弗拉基米尔·扬基克 , 凯文·哈蒙德 :
幼儿园警察:为GHC动态调整幼儿园规模。 56-66
已验证的编译
塞巴斯蒂安·布奇瓦尔德 , 丹尼斯·洛纳 , 塞巴斯蒂安·乌尔里奇 :
验证静态单一赋值表的构造。 67-76 Delphine Demange公司 , Yon Fernández de Retana德雷塔纳 :
机械化常规SSA,以实现经验证的合并销毁。 77-87 弗朗索瓦·波蒂埃 :
LR(1)解析器中的可达性和错误诊断。 88-98
验证
维尼特·辛格 , 拉吉夫·古普塔 , 尤利安·尼姆图 :
数据结构的自动故障定位。 99-109 布鲁诺·罗德里格斯 , 费尔南多·马格诺·昆托·佩雷拉 , 迭戈·F·阿兰哈 :
隐式流的稀疏表示,并应用于并行通道检测。 110-120
能量和动态检查
Konstantinos Koukos公司 , 根据Ekemark , 乔治奥斯·扎查罗普洛斯 , Spiliopoulos血管 , 斯特凡诺斯·卡西拉斯 , 亚历山德拉·金博伦 :
多版本解耦访问执行:通用程序节能编译的关键。 121-131 格雷戈里·杜克 , 罗兰·H·C·叶 :
堆边界保护与低脂指针。 132-142
静态和动态优化
卢卡斯·多马加拉 , Duco van Amstel公司 , 法布里斯·拉斯特罗 , P.萨达亚潘 :
通过组合指令调度和循环展开进行寄存器分配和提升。 143-151 Samyam Rajbhandari先生 , 金成金(Jinsung Kim) , 斯里拉姆·克里希纳莫奥斯蒂 , 路易斯·诺埃尔·普切特 , 法布里斯·拉斯特罗 , 罗伯特·J·哈里森 , P.萨达亚潘 :
关于融合K-d树的递归遍历。 152-162 维克多·雨果·斯佩勒·坎波斯 , 佩里克斯·拉斐尔·奥利维拉·阿尔维斯 , 恩里克·纳扎雷·桑托斯 , 费尔南多·马格诺·昆托·佩雷拉 :
函数参数的限制。 163-173
静态分析
尼古拉斯·吴 , 吉田信子 :
并行全局会话图合成中的静态死锁检测。 174-184 吴浩伟 , 杨胜谦 , 阿塔纳斯·鲁恩捷夫 :
Android应用程序中能量缺陷模式的静态检测。 185-195 伯恩哈德·舒尔茨 , 赫伯特·乔丹 , 铺装亚音阶 , 蒂尔·韦斯特曼 :
关于Datalog中的快速大规模程序分析。 196-206 阿拉文德·桑卡尔 , Soham Chakraborty公司 , V.克里斯纳·南迪瓦达 :
改进MHP分析。 207-217
数据布局和多面体技术
阿兰·达特 , 亚历山大·伊萨德 , 富美由纪 :
扩展的基于格的内存分配。 218-228 塞德里克·巴斯托尔 :
映射偏差:一种为了合法性而调整或保护循环转换直觉的技术。 229-239 Deepak Majeti公司 , 库尔德普·S·梅尔 , 拉吉肖尔·巴里克 , 维维克·萨卡尔 :
CPU+GPU体系结构的自动数据布局生成和内核映射。 240-250 西蒙·莫尔 , 约翰内斯·多尔弗特 , 塞巴斯蒂安·哈克 :
OpenCL的输入空间分割。 251-260
工具演示
Phitchaya Mangpo Phothilimthana公司 , 阿迪蒂亚·塔库尔 , 拉斯蒂斯拉夫·博迪克 , 迪纳卡尔·杜尔贾蒂 :
GreenThumb:超级优化构建框架。 261-262 罗伯托·卡斯塔涅达·洛扎诺 , Mats Carlsson公司 , 加布里埃尔·霍特·布林德尔 , 克里斯蒂安·舒尔特 :
Unison中的寄存器分配和指令调度。 263-264 隋玉雷 , 薛晶凌 :
SVF:LLVM中的程序间静态值流分析。 265-266 阿里·阿夫鲁泽 , 阿纳斯塔西娅·伊兹马约娃 :
Iguana:一个实用的数据相关解析框架。 267-268 埃尔维拉·阿尔伯特 , 米盖尔·戈梅斯·扎马洛亚 , 米盖尔·伊莎贝尔 :
SYCO:并发对象的系统测试工具。 269-270