2011年第13届HotOS大会:美国加利福尼亚州纳帕
马特·威尔士 :
2011年5月9日至11日,美国加利福尼亚州纳帕市,HotOS XIII,第13届操作系统热点研讨会。 USENIX协会 2011 维杰·瓦苏德万 , 大卫·安徒生 , 迈克尔·卡明斯基 :
VOS案例:矢量操作系统。 克里斯托弗·罗斯巴赫 , 乔恩·库里 , 埃米特·维切尔 :
操作系统必须支持GPU抽象。 大卫·A·霍兰德 , 马戈·I·萨尔茨 :
多核操作系统:1991年展望,呃,2011年。 格诺·海泽 , 列奥尼德·雷日克 , 迈克尔·冯·泰辛 , 亚历山大·巴兹诺夫斯基 :
如果你真的可以信任你的内核呢? 格温·克莱因 , 托比·C·穆雷 , 彼得·甘米 , 托马斯·苏厄尔 , 西蒙·温伍德 :
可证明的安全性:它的可行性如何? 安德鲁·布隆伯格 :
远程计算的实用无条件验证。 迈克尔·迪茨 , 查拉兰普斯·帕帕曼彻斯(Charalampos Papamanthou) :
MOMMIE最了解:可验证分布式算法的系统优化。 帕特里克·G·布里奇斯 , Donour尺码更多 , 斯科特·利维 :
在多核系统中开发MISD性能机会。 莫伊斯·戈德斯密特 , 丽贝卡·艾萨克斯 :
现在进行更多干预! 克里斯托弗·斯莫顿 :
创造世界。 大卫·韦瑟尔 , 大卫·R·乔夫内斯 , 本·格林斯坦 , Seungyeop Han先生 , 彼得·霍尼亚克 , Jaeyon Jung先生 , 斯图亚特·谢赫特 , 小索菲亚·王 :
Web和移动应用程序的隐私揭示。 Petros Maniatis公司 , Devdatta Akhawe公司 , 凯文·法尔 , 伊莱恩·施 , 黎明之歌 :
你知道你的数据在哪里吗? 用于可部署数据保护的安全数据胶囊。 贾扬特库马尔·坎南 , Byung-Gon Chun先生 :
让程序忘记:强制敏感数据的生命周期。 克里斯蒂安·赞菲尔 , 高塔姆·阿尔特卡 , 乔治·坎迪亚 :
调试决定论:基于重播的调试的最佳位置。 德里克·戈登·默里 , 史蒂文·汉德 :
被认为有用的非确定性并行性。 奥伦·拉丹 , 蔡嘉诚(Chia-che Tsai) , 尼古拉斯·维诺 , 克里斯·布林恩 , 彼得·森尧·杜 , 杰森·聂 :
在顺序代码中发现并发错误-操作系统级,进程竞争的in-vivo模型检查。 杰弗里·查伦 , 马可·亨普斯特德 :
Power敏捷计算案例。 朱棣文(David Chu) , 阿曼·坎萨尔 , 刘杰(音译) , 冯照 :
移动应用程序:是时候升级到CondOS了。 谢里夫·阿库什 , Ripduman Sohan公司 , 安德鲁·赖斯 , 安德鲁·摩尔 , 安迪·霍珀 :
免费午餐:利用可再生能源进行计算。 加内什-阿南塔纳拉亚南 , 阿里·古德西 , 教授斯科特·申克 , 离子斯托伊卡 :
数据中心计算中的磁盘位置被视为无关。 奇发科 , 维贾扬·普拉巴卡兰 , 谢英莲 , 袁瑜 , 吴靖岳 , 杨俊峰 :
为数据并行计算优化数据分区。 伊利·克雷瓦特 , 约瑟夫·塔克 , 格雷戈里·甘格 :
磁盘就像雪花:没有两个是一样的。 瓦西里·塔拉索夫 , 索米特拉·巴纳吉 , 埃雷斯·扎多克 , 马戈·I·萨尔茨 :
基准文件系统基准:It*IS*Rocket Science。 伊霍尔·库兹 , 扎卡里·R·安德森 , 普拉文·申德 :
多核操作系统基准:我们可以做得更好。 斯蒂芬·M·隆布尔 , 迭戈·昂加罗 , 瑞恩·斯图茨曼 , 罗森布拉姆 , 约翰·奥斯特霍特 :
现在是低延迟的时候了。 安东尼·科齐 , 穆尔夫·芬尼库姆 , 塞缪尔·T·金 :
Macho:使用手册页编程。 大卫·H·阿克利 , 丹尼尔·坎农 :
追求稳健的不确定可扩展性。 塔万·库布拉特 , 迈克尔·M·斯威夫特 :
随需应变虚拟化是两个世界中最好的。 朗·英格拉姆 , 伊瓦洛·波波夫 , Srinath T.V.Setty公司 , 迈克尔·沃尔菲什 :
椅子上的修复:作为不受信任的云服务的计算机修复。 贾斯汀·马佐拉·帕卢斯卡 , 休伯特·范姆 , 沃德 :
用块计算构建非结构化中间层。 杰弗里·莫古尔 , 安德鲁·鲍曼 , 蒂莫西·罗斯科 , 利维奥·索尔斯 :
留心差距:重新连接架构和操作系统研究。 凯特琳·贝利 , 路易斯·塞兹 , 史蒂文·格里布尔 , 亨利·M·利维 :
快速、廉价、非易失性内存的操作系统含义。 Suparna Bhattacharya公司 , Kanchi Gopinath公司 :
真正酷的三元内容寻址内存。
![](https://dblp.org/img/cog.dark.24x24.png)