缺少摘要。
- 动态软件更新：以虚拟机为中心的方法苏里雅·苏布拉曼尼亚语,迈克尔·W·希克斯,凯瑟琳·麦金利.1-12 [美国国防部]
- 安全及时地更新多线程程序尤利安·尼姆图,迈克尔·W·希克斯.13-24 [美国国防部]
- CEAL：一种基于C的自调整计算语言马修·哈默,Umut A.Acar公司,闫晨.25-37 [美国国防部]
- PetaBricks：一种用于算法选择的语言和编译器杰森·安塞尔,陈秀波,Yee Lok Wong（Yee Lok Wong）,马雷克·奥尔谢夫斯基,秦昭,艾伦·埃德曼,萨曼·阿马拉辛格.38-49 [美国国防部]
- javascript的分阶段信息流拉维·丘格,杰弗里·梅斯特,兰吉特·贾拉,索林·勒纳.50-62 [美国国防部]
- 层流：实用的细粒度分散信息流控制英德拉吉特·罗伊,唐纳德·波特,迈克尔·D·邦德,凯瑟琳·麦金利,埃米特·维切尔.63-74 [美国国防部]
- Merlin:显式信息流问题的规范推理V.本杰明·利夫希茨,阿迪蒂亚·诺里,斯里拉姆·拉贾马尼,安妮迪亚·班纳吉.75-86 [美国国防部]
- TAJ：web应用程序的有效污点分析Omer跳闸,马可·皮斯托亚,斯蒂芬·芬克,马努·斯里德哈兰,欧姆里·魏斯曼.87-97 [美国国防部]
- 用于控制并发数据结构中共享的轻量级注释扎卡里·安德森,大卫·盖伊,马约尔·奈克.98-109 [美国国防部]
- 一种检测实际死锁的随机动态程序分析技术帕拉维·乔希,昌秀公园,库什克森,马约尔·奈克.110-120 [美国国防部]
- FastTrack：高效、精确的动态比赛检测科马克·弗拉纳根,斯蒂芬·弗伦德.121-133 [美国国防部]
- LiteRace：轻量级数据空间检测的有效采样丹尼尔·马里诺,穆苏瓦蒂夫人,萨蒂什·纳拉亚纳萨米.134-143 [美国国防部]
- 基于有界锁自由的并行程序进度保证埃雷斯·彼得兰克,穆苏瓦蒂夫人,比亚恩·斯坦斯加德.144-154 [美国国防部]
- 扩展事务性内存Aleksandar Dragojevic公司,拉希德·格雷劳伊,米查尔·卡帕尔卡.155-165 [美国国防部]
- 使用低成本软件事务内存在商品硬件上并行顺序应用程序莫伊塔巴·梅赫拉拉,杰夫·郝,徐伯春,斯科特·马勒克.166-176 [美国国防部]
- 走向自动并行化的整体方法：集成轮廓驱动的并行检测和基于机器学习的映射乔治·图尔纳维提斯,郑旺（音）,比约恩·弗兰克,迈克尔·波义耳.177-187 [美国国防部]
- 正则语言子集约束的决策过程彼得·胡伊梅耶尔,维斯特利·威默尔.188-198 [美国国防部]
- 确定性文法的可验证组合August Schwerdfeger公司,埃里克{范怀克}.199-210 [美国国防部]
- 使用定点演算分析递归程序萨尔瓦托雷拉托雷,帕塔萨拉提·马杜苏丹,Gennaro Parlato公司.211-222 [美国国防部]
- 在谓词抽象上使用模板进行程序验证索拉巴·斯利瓦斯塔瓦,苏米特·古尔瓦尼.223-234 [美国国防部]
- GC断言：使用垃圾收集器检查堆属性爱德华·阿夫坦迪利安,塞缪尔·盖耶.235-244 [美国国防部]
- SoftBound:c的高度兼容和完整空间内存安全Santosh Nagarakatte公司,赵建洲,米洛·M·K·马丁,史蒂夫·兹丹塞维奇.245-258 [美国国防部]
- 内存安全的全ANSI-C编译器的实现Yutaka Oiwa公司.259-269 [美国国防部]
- 文件系统的错误传播分析辛迪·鲁比奥·冈萨雷斯,哈里亚迪·S·古纳维,本·利布利特,Remzi H.Arpaci-Dusseau先生,安德烈亚·阿帕西·杜塞奥.270-280 [美国国防部]
- 在家庭之间共享课程辛琪,安德鲁·迈尔斯.281-292 [美国国防部]
- 打字自我介绍蒂尔曼·伦德尔,克劳斯·奥斯特曼,克里斯蒂安·霍弗.293-303 [美国国防部]
- 基于类型的数据结构验证明川口,帕特里克·朗登,兰吉特·贾拉.304-315 [美国国防部]
- 验证懒惰代码运动的验证Jean-Baptiste特里斯坦,泽维尔·勒罗伊.316-326 [美国国防部]
- 使用参数化程序等价性证明优化是正确的Sudipta昆都,扎卡里·塔特洛克,索林·勒纳.327-337 [美国国防部]
- 命令式程序的集成证明语言凯伦·泽,维克托·昆卡,马丁·里纳德.338-351 [美国国防部]
- 使用静态分析自动生成库绑定特里斯坦·拉维奇,史蒂夫·杰克逊,埃里克·阿德霍尔德,本·利布利特.352-362 [美国国防部]
- Snugglebug：解决最弱前提条件的强大方法萨蒂什·钱德拉,斯蒂芬·芬克,马努·斯里德哈兰.363-374 [美国国防部]
- 界分析的控制流精化和过程不变量苏米特·古尔瓦尼,萨加·贾恩,埃里克·科斯基宁.375-385 [美国国防部]
- 多核处理器上基于web应用程序的内存管理研究井上浩,小松秀明,中田俊雄.386-396 [美国国防部]
- 高效准确地定位内存泄漏和膨胀吉恩·诺瓦克,埃默里·伯杰,本杰明·佐恩.397-407 [美国国防部]
- 变色龙：集合的自适应选择奥哈德·沙查姆,马丁·T·维切夫,埃兰·雅哈.408-418 [美国国防部]
- 随波逐流：分析副本以查找运行时膨胀徐国庆,阿诺德,尼克·米切尔,阿塔纳斯·鲁恩特夫,加里·塞维茨基.419-430 [美国国防部]
- 异构x86平台的编程模型布拉丁·萨哈,周晓成,胡晨,应高,寿梦岩,莫汉·拉贾戈帕兰,方之熙,张培南,罗尼·罗宁,阿维·门德尔森.431-440 [美国国防部]
- 程序性能测量和归因的二进制分析内森·塔伦特,约翰·梅勒·克鲁米,迈克尔·法根.441-452 [美国国防部]
- 语义感知跟踪分析凯文·霍夫曼,帕特里克·尤格斯特,苏雷什·贾甘纳森.453-464 [美国国防部]
- 基于跟踪的动态语言实时类型专门化安德烈亚斯·加尔,布伦丹·艾奇,开发副总裁迈克·沙弗,大卫·安德森,大卫·曼德林,穆罕默德·哈格海特,布莱克·卡普兰,格雷登·霍尔,鲍里斯·兹巴尔斯基,杰森·奥伦多夫,杰西·鲁德曼,埃德温·W·史密斯,瑞克·雷特迈尔,迈克尔·贝贝尼塔,梅森·张,主任弗朗兹.465-478 [美国国防部]