ASPLOS-XII,2006年:美国加利福尼亚州圣何塞
约翰·保罗·沈 , 玛格丽特·马托诺西 :
2006年10月21日至25日在美国加利福尼亚州圣何塞举行的第十二届编程语言和操作系统体系结构支持国际会议记录。 ACM公司 2006 ,国际标准图书编号 1-59593-451-0 罗森布拉姆 :
虚拟化对计算机架构和操作系统的影响。 1
虚拟化
凯斯·亚当斯 , 奥勒·阿格森 :
x86虚拟化软件和硬件技术的比较。 2-13 斯蒂芬·琼斯 , 安德烈亚·阿帕西·杜塞奥 , Remzi H.Arpaci-Dusseau先生 :
盖革:监视虚拟机环境中的缓冲区缓存。 14-24 杰迪迪亚·克兰德尔 , 加里·沃瑟曼 , 丹尼尔拉·阿尔维姆·西布拉·德·奥利维拉(Daniela Alvim Seabra de Oliveira) , 苏振东 , 害羞的费利克斯·吴 , 弗雷德里克·T·冲 :
时间搜索:用虚拟机检测隐藏的恶意软件定时炸弹。 25-36
种族和内存调试I
山路 , 约瑟夫·塔克 , 冯琴 , 周媛媛 :
AVIO:通过访问交织不变量检测原子性冲突。 37-48 徐敏(音) , 马克·D·希尔 , 拉斯蒂斯拉夫·博迪克 :
一种调节传递性减少(RTR),用于更长的内存竞争记录。 49-60 迈克尔·D·邦德 , 凯瑟琳·麦金利 :
贝尔:位编码在线内存泄漏检测。 61-72
硬件可靠性和容错性
史密莎·希亚姆 , Kypros Constantinides公司 , Sujay Phadke公司 , 瓦莱丽亚·贝塔科 , 托德·奥斯汀 :
微处理器管道的超低成本缺陷保护。 73-82 维姆K.雷迪 , 埃里克·罗滕伯格 , 塞拉什里·帕塔萨拉西 :
了解基于预测的部分冗余线程,以实现低开销、高覆盖率的容错。 83-94 Angshuman Parashar公司 , 阿南德·西瓦苏布拉曼尼亚 , 苏丹瓦·古鲁穆蒂 :
SlicK:基于切片的局部性利用,用于高效冗余多线程。 95-105
能源效率
塔利弗石南 , 安娜·保拉·森特诺 , 普拉迪普·乔治 , 路易斯·拉莫斯 , 尤格什·贾鲁里亚 , 里卡多·比安奇尼 :
汞和氟利昂:服务器系统的温度模拟和管理。 106-116 Taeho Kgil公司 , 肖恩·德苏扎 , 阿里·G·赛迪 , 内森·宾克特 , 罗纳德·德雷斯林斯基 , 特雷弗·N·穆奇 , 史蒂文·莱因哈特 , 克里斯蒂安·弗劳特纳 :
PicoServer:使用3D堆叠技术实现紧凑节能的芯片多处理器。 117-128
调度和空间规划
凯瑟琳·库恩斯 , 夏晨 , 道格·伯格 , 凯瑟琳·麦金利 , Sundeep K.Kushwaha公司 :
一种适用于EDGE体系结构的空间路径调度算法。 129-140 玛莎·梅尔卡迪 , 史蒂文·斯旺森 , 安德鲁·彼得森 , 安德鲁·普特南 , 安德鲁·施韦林 , 马克·奥斯金 , 苏珊·J·艾格斯 :
平铺数据流体系结构的指令调度。 141-150 迈克尔·戈登 , 威廉·蒂斯 , 萨曼·阿马拉辛格 :
利用流程序中的粗粒度任务、数据和管道并行性。 151-162 马希姆·米什拉 , 蒂莫西·卡拉汉 , Tiberiu Chelcea公司 , 吉里什·文卡塔拉马尼 , 赛斯·科本·戈尔茨坦 , 米海布迪乌 :
Tartan:评估整个程序执行的空间计算。 163-174
功率和性能的估计和预测
斯汀·埃弗曼(Stijn Eyerman) , Lieven Eeckhout公司 , Tejas Karkhanis公司 , 詹姆斯·史密斯 :
用于计算准确CPI组件的性能计数器体系结构。 175-184 本杰明·C·李 , 大卫·M·布鲁克斯 :
用于微体系结构性能和功率预测的准确高效的回归建模。 185-194 发动机Ipek , 萨利·麦基 , 里奇·卡鲁阿纳 , 布朗尼斯·德苏宾斯基 , 马丁·舒尔茨 :
通过预测建模有效探索建筑设计空间。 195-206
种族和内存调试II
Mazen Kharbutli公司 , 姜晓伟 , 严索林 , 文卡塔拉马尼大师 , 米洛斯·普尔武洛维奇 :
全面有效地保护堆。 207-218 Trishul M.Chilimbi公司 , 维诺德·加纳帕西 :
HeapMD:使用异常检测识别基于堆的错误。 219-228 萨蒂什·纳拉亚纳萨米 , 克里斯蒂安·佩雷拉 , 布拉德·考尔德 :
使用分层记录共享内存依赖项。 229-240
新兴技术
Jaidev P.Patwardhan公司 , 维杰塔·乔赫里 , 克里斯·德怀尔 , 阿尔文·勒贝克 :
一种容错的自组织纳米SIMD体系结构。 241-251 伊桑·舒奇曼 , T.N.维杰库玛 :
一种用于量子非编译的程序转换和体系结构支持。 252-263 沙希达尔·迈索尔 , 巴尼特·阿格拉瓦尔 , 纳文·斯利瓦斯塔瓦 , 盛志林 , 考斯塔夫·班纳吉 , 蒂莫西·舍伍德 :
内省的3D芯片。 264-273
内存和位置问题
杰森·坎廷 , 米科·利帕斯蒂 , 詹姆斯·史密斯 :
隐形预取。 274-282 Koushik查克拉博蒂 , 菲利普·威尔斯 , 古林达尔·索希 :
计算扩散:利用硬件迁移技术实时专门化CMP内核。 283-292 杰森·米勒 , 阿加瓦尔 :
嵌入式处理器的基于软件的指令缓存。 293-302
嵌入式和专用系统
辛莉(Xin Li) , 玛丽安·博尔特 , 莱因哈德·冯·汉克斯利登 :
将esterel映射到多线程嵌入式处理器。 303-314 内森·宾克特 , 阿里·G·赛迪 , 史蒂文·莱因哈特 :
用于高带宽TCP/IP的集成网络接口。 315-324 大卫·塔迪蒂 , 西德·普里 , 何塞·奥格尔斯比 :
加速器:使用数据并行为通用用途编程GPU。 325-335
事务内存
彼得·达姆伦 , 亚历山德拉·费多罗娃 , 约西·列夫 , 维克托·卢昌科 , 马克·莫尔 , 丹尼尔·努斯鲍姆 :
混合事务内存。 336-346 Weihaw Chuang公司 , 萨蒂什·纳拉亚纳萨米 , 加内什·文卡泰什 , 杰克·桑普森 , 迈克尔·范·比斯布鲁克 , 吉尔斯·波卡姆 , 布拉德·考尔德 , 奥斯瓦尔多·科拉文 :
基于页面的无限事务内存。 347-358 米歇尔·莫拉万 , 贾亚拉姆·博巴 , 凯文·摩尔 , 甄子丹(Luke Yen) , 马克·D·希尔 , 本·利布利特 , 迈克尔·斯威夫特 , 大卫·A·伍德 :
支持logTM中的嵌套事务内存。 359-370 JaeWoong Chung钟在宇 , 池曹明 , 奥斯汀·麦克唐纳 , 特拉维斯·斯卡尔 , 哈桑·查菲 , 布莱恩·卡尔斯特罗姆 , 克里斯托斯·科兹拉基斯 , 昆勒·奥卢科顿 :
事务内存虚拟化中的权衡。 371-381
汇编
川崎本弘 , 小松秀明 , 森山高雄 , 井上浩 , 中谷敏夫 :
一种新的习语识别框架,用于开发非硬件指令。 382-393 索拉夫·班萨尔 , 亚历克斯·艾肯 :
窥视孔超级优化程序的自动生成。 394-403 阿曼多·索拉勒扎马 , 利维乌·坦考 , 拉斯蒂斯拉夫·博迪克 , 桑吉特·塞希亚 , 维杰·萨拉斯瓦特 :
有限程序的组合草图绘制。 404-415 杰夫·达·席尔瓦 , J.格雷戈里·斯特凡 :
投机优化的概率指针分析。 416-425
![](https://dblp.org/img/cog.dark.24x24.png)