2013年第18届PPOPP:中国深圳
亚历克斯·尼科洛 , 沈晓伟 , 萨曼·阿马拉辛格 , 理查德·瓦杜克 :
ACM SIGPLAN并行编程原理与实践研讨会,PPoPP’13,中国深圳,2013年2月23日至27日。 ACM公司 2013 ,国际标准图书编号 978-1-4503-1922-5
论文
朝阳 , 魏雪 , 郝欢付 , 林甘 , 李林峰 , 徐阳桐 , 宇通路 , 孙嘉昌 , 杨广文 , 郑伟民 :
用于全球大气模拟的PB级可扩展CPU-GPU算法。 1-12 乔纳森·利夫兰德 , 菲尔·米勒 , 拉克西坎特·V·卡莱 :
扇出最佳容错终止检测的采用协议。 13-22 汤富美由纪 , 保罗·费尤特里尔 , 桑杰·拉乔帕德耶 , 维杰·萨拉斯瓦特 :
多面体X10程序的数组数据流分析。 23-34 迪米特里奥斯·普伦佐斯 , 凯沙夫·平加里 :
中间中心性:算法和实现。 35-46 灵香香 , 迈克尔·李·斯科特 :
编译器辅助的高性能并发数据结构的手动推测。 47-56 吴波 , Zhijia Zhao(赵志佳) , Eddy Zheng Zhang(埃迪·张) , 姜云莲 , 沈喜鹏 :
用于重组数据以最小化GPU上的非合并内存访问的复杂性分析和算法设计。 57-68 纳特·明·莱塞 , Antoniu流行音乐 , 阿尔伯特·柯恩 , 弗朗西斯科·扎帕·纳德利 :
针对弱内存模型的正确有效的工作密封。 69-80 裁拉斯 , 马修·弗莱特 , 迈克·雷尼 , 约翰·雷皮 , 斯蒂芬·罗森 , 亚当·肖 :
仅用于嵌套数据并行的数据扁平化。 81至92 德米特里·莫罗佐夫 , 冈瑟·H·韦伯 :
分布式合并树。 93-102 亚当-莫里森 , 耶胡达·阿菲克 :
x86处理器的快速并发队列。 103-112 Jons-Tobias Wamhoff公司 , 克里斯托夫·费泽尔 , 帕斯卡·费尔伯 , 艾蒂安·里维埃 , 吉尔斯·穆勒 :
FastLane:针对低线程数改进软件事务内存的性能。 113-122 吉尔斯·巴特 , 胡安·曼努埃尔·克雷斯波 , 苏米特·古尔瓦尼 , 塞萨尔·库茨 , 马克·马龙 :
从关系验证到SIMD循环合成。 123-134 朱利安·顺 , 盖伊·布莱洛赫 :
Ligra:一个用于共享内存的轻量级图形处理框架。 135-146 鲁普什·纳斯雷 , 马丁·伯彻尔 , 凯沙夫·平加里 :
GPU上的变形算法。 147-156 伊琳娜·卡西乌 , 大卫·戴斯 , 约西·列夫 , 维克托·卢昌科 , 维伦德拉·J·马拉特 , 谢菲特 :
支持NUMA的读写器锁定。 157-166 陈子忠 :
Online-ABFT:一种基于在线算法的容错方案,用于迭代方法中的软错误检测。 167-176 安德鲁·弗里德利 , 托尔斯滕·霍夫勒 , 格雷格·布罗尼夫茨基 , 安德鲁·卢姆斯代恩 , 马庆臣 :
所有权转移:多核系统上的高效分布式内存编程。 177-186 利奥·梅耶罗维奇 , 马修·托罗 , 埃里克·阿特金森 , 拉斯季斯拉夫·博迪克 :
属性文法的并行调度综合。 187-196年 Mrinal Deo公司 , 肖恩·基利 :
GPU的并行后缀数组和最不常用前缀。 197-206 陈宇飞 , 陈海波 :
并行全系统仿真器中的可扩展确定性重播。 207-218 Umut A.Acar公司 , 亚瑟·查古埃罗(Arthur Charguéraud) , 迈克·雷尼 :
通过使用私有deques窃取工作来安排并行程序。 219-228 严申根 , 郭平龙 , 张云泉 :
StreamScan:用于GPU的快速扫描算法,无需全局屏障同步。 229-238 斯蒂芬·休曼 , 维克拉姆·S·阿德 , 王胜杰(Shengjie Wang) :
具有安全并发效果的任务模型。 239-250 丹尼尔·博内塔 , 沃尔特·宾德 , 塞萨尔·帕塔索 :
TigerQuoll:基于并行事件的JavaScript。 251-260 戴夫·戴斯 , 约西·列夫 , 刘玉洁 , 维克托·卢昌科 , 马克·莫尔 :
使用硬件事务内存纠正和简化读写锁算法。 261-270 卡林·卡萨瓦尔 , 赛斯·福勒 , 巴勃罗·蒙特西诺斯·奥尔特戈 , 韦恩·皮卡斯基 , 梅赫达德·雷沙迪 , 贝纳姆·罗巴特米利 , 米夏埃尔·韦伯 , Vrajesh Bhavsar公司 :
ZOOMM:用于多核移动设备的并行web浏览器引擎。 271-280
海报
伊万·格拉索 , 克劳斯·科夫勒 , 比亚吉奥·科森扎 , 托马斯·法林格 :
异构并行系统上对问题大小敏感的自动任务划分。 281-282 刘军(Jun Liu) , 魏丁 , Ohyoung Jang先生 , 马赫穆特·坎德米尔 :
GPGPU体系结构的数据布局优化。 283-284 Shobana Padmanabhan公司 , 陈一新 , 罗杰·张伯伦 :
流应用程序优化设计空间探索的分解技术。 285-286 余晓东 , 米歇尔·贝奇 :
探索不同的自动机表示,以便在GPU上进行高效的正则表达式匹配。 287-288 尼克·埃德蒙兹 , 耶利米亚·威尔科克 , 安德鲁·卢姆斯代恩 :
使用广义活动消息表示图算法。 289-290 吕丽刚 , 凯伦·马杰莱因(Karen A.Magerlein) :
blue Gene/Q地震成像逆时偏移的多级并行计算。 291-292 昌河公园 , 小盖伊·L·斯蒂尔。 , Jean-Baptiste特里斯坦 :
使用大型运算符进行并行编程。 293-294年 耶胡达·阿菲克 , 阿米尔·利维 , 亚当-莫里森 :
使用硬件锁省略进行编程。 295-296 陆凯(Kai Lu) , 徐舟 , 小平·王 , 张文哲 , 李将军 :
RaceFree:一个有效的决定论多线程模型。 297-298 朱利安·顺 , 盖伊·布莱洛赫 , 杰里米·芬曼 , 菲利普·吉本斯 :
通过优先级更新减少争用。 299-300 格雷戈里·弗雷德里克·迪亚莫斯 , 吴海成 , 金旺 , 阿什温·桑杰·莱尔 , Sudhakar Yalamanchili公司 :
多块同步处理器的关系算法。 301-302 费尔南多·米盖尔·卡瓦略 , 乔昂·P·卡乔波 :
捕获内存的事务屏障的运行时省略。 303-304 长秀公园 , 库什克森 , 科斯汀·伊恩库 :
分区全局地址空间程序的可扩展数据竞争检测。 305-306 戴夫·戴斯 , 约西·列夫 , 马克·莫尔 :
可缩放统计计数器。 307-308 贾斯汀·沃兹尼亚克 , 蒂莫西·G·阿姆斯特朗 , 迈克尔·王尔德 , 丹尼尔·卡茨 , 尤因·L·卢斯克 , 伊恩·福斯特 :
Swift/T:针对多任务应用程序的可扩展数据流编程。 309至310 闫才 , 科寨 , 吴尚如 , 永光禅 :
TeamWork:全局同步线程以检测多线程程序的实际死锁。 311-312 穆罕默德·迈赫迪·迪乌里 , 奥利维尔·格吕克 , 劳伦特·勒费弗尔 , 弗兰克·卡佩罗 :
面向容错协议的能量估计器。 313-314年 马丁·威默 , 丹尼尔·塞德曼 , 杰斯珀·拉尔森·特罗夫 , Philippas Tsigas公司 :
具有可配置调度策略的工作密封。 315-316 周伯文(Bowen Zhou) , 米林·库尔卡尼 , Saurabh Bagchi公司 :
WuKong:在大系统范围内有效诊断错误。 317-318