欢迎来到SPLASH 2015!
视频演示
奖品
勇敢:高效、仅软件的区域冲突例外 斯瓦南多·比斯瓦斯(Swarnendu Biswas)、张敏佳(Minjia Zhang)、迈克尔·邦德(Michael Bond)和布兰登·露西亚(Brandon Lucia) 动态编译中的精确评测 Yudi Zheng、Lubomir Bulej和Walter Binder
自动化特殊数据表示转换 弗拉德·乌雷切、阿格洛斯·比布迪斯、亚尼斯·斯马拉格达基斯、马丁·奥德斯基 勇敢:高效、仅软件的区域冲突例外 斯瓦南多·比斯瓦斯(Swarnendu Biswas)、张敏佳(Minjia Zhang)、迈克尔·D·邦德(Michael D.Bond)、布兰登·露西亚(Brandon Lucia)
X10:一种面向对象的非均匀集群计算方法 (内政部) 菲利普·查尔斯(Philippe Charles)、克里斯托弗·多纳瓦(Christopher Donawa)、凯末尔·埃比奥格鲁(Kemal Ebcioglu)、克里斯蒂安·格罗瑟夫(Christian Grothoff)、艾伦·基尔斯特拉(Allan Kielstra)、克里斯多夫·冯·普劳恩(Christoph von。 OOPSLA 2005年。
子文本:揭示编程的简单性 (内政部) 乔纳森·爱德华兹。 向前的! 2005
跟踪不经意程序执行:一种安全的编程语言方法 .Chang Liu,马里兰大学
GTInspector:一个可成型的域-软件对象检查器 安德烈·奇什、都铎·格拉巴、奥斯卡·尼尔斯特拉斯、阿利亚克西·西雷尔
第一名:Swarnendu Biswas- Viser:通过简化的缓存一致性在硬件中提供可串行性 第二名:拉格纳·莫克- 多线程反应式编程的并发控制 第三名:Alisa Maas- 基于静态分析的阵列属性自动检测 荣誉奖:张敏佳- SIRe:一种用于检测和容忍区域冲突的高效快照隔离内存模型
第一名:Andrew Kofink- 被低估者的贡献:开源生态中的性别偏见