缺少摘要。
- 重塑你的布局，而不是你的程序：一种安全的语言扩展，用于更好的缓存位置（SCICO Journal-first）亚历山大·塔索斯,朱莉安娜·佛朗哥,索菲亚·德罗索波卢,托比亚斯·箭牌,苏珊·艾森巴赫. [美国国防部]
- 协调事件结构与现代多处理器叶夫根尼·莫申科,安东·波德科帕耶夫,奥里·拉哈夫,奥雷斯蒂斯·梅尔科尼安,维克托·瓦菲亚迪斯. [美国国防部]
- 强制传递方式中的空间效率渐变类型津田裕也,Atsushi Igarashi先生,田口友也. [美国国防部]
- K-LLVM:LLVM-IR的一个相对完整的语义李毅（Liyi Li）,埃尔萨·甘特. [美国国防部]
- 值划分：一种轻量级的JavaScript关系静态分析方法本杰明·巴斯列夫·尼尔森,安德斯·默勒. [美国国防部]
- 反应本质的语义学马格努斯·马德森,Ondrej Lhoták,弗兰克·蒂普. [美国国防部]
- 封面、目录、前言、会议组织 [美国国防部]
- 利用静态能力和效果进行设计：使用、提及和不变量（珍珠）科林·S·戈登. [美国国防部]
- 使用全局协议组合器的多方会话编程Keigo Imai公司,鲁米亚纳·内科娃,吉田信子,袁绍基（Shoji Yuen）. [美国国防部]
- 亚型的对偶性布鲁诺·C·D·S·奥利维拉,崔绍波,巴伯·雷赫曼. [美国国防部]
- 抽象渐进参考文献（SCICO期刊第一）马蒂亚斯·托罗,埃里克·坦特. [美国国防部]
- 延期借款的安全、灵活别名克里斯·法林. [美国国防部]
- 通过测试用例生成减少测试用例：来自假设简化器的见解（工具见解论文）大卫·马西弗,阿拉斯泰尔·唐纳森. [美国国防部]
- 基于流敏感类型的堆克隆穆罕默德·巴巴拉,隋玉雷,石屏陈0001. [美国国防部]
- C11 RAR的Owicki-Gries推理萨代赫·达尔瓦迪,西蒙·多尔蒂,布里杰什·多戈尔,海克·韦尔海姆. [美国国防部]
- 依赖类型语言中资源依赖EDSL的框架（Pearl）Jan de Muijnck-Hughes公司,埃德温·C·布雷迪,维姆·范德鲍维德. [美国国防部]
- 事务存储系统中的数据一致性：集中语义Shale Xiong公司,安德里亚·塞隆,杜鹃花,菲利普·加德纳. [美国国防部]
- 完美是善的敌人：全力以赴的计划合成希拉·佩莱,纳迪娅·波里卡波娃. [美国国防部]
- DOT的参考变异性弗拉斯蒂米尔·多特,Ondrej Lhoták. [美国国防部]
- 带有合并算子的微积分的类型定向操作语义黄雪晶,布鲁诺·C·D·S·奥利维拉. [美国国防部]
- Null责任亚伯·涅托,玛丽安娜·拉波波特,格雷戈·理查兹,Ondrej Lhoták. [美国国防部]
- 从有限计算到无限计算迈出了一大步（SCICO期刊首期）戴维德·安科纳,弗朗西斯科·达尼诺,侏罗纪腐朽,埃琳娜·祖卡. [美国国防部]
- 不要惊慌！LR解析器的更好、更少的语法错误卢卡斯·迪克曼,劳伦斯·特拉特. [美国国防部]
- 事件驱动Web应用程序符号分析的可信基础结构加布里埃拉·桑帕约,何塞·弗拉戈索·桑托斯,佩塔尔·马克西莫维奇,菲利普·加德纳. [美国国防部]
- TensorFlow程序中形状的静态分析西菲斯·拉古瓦尔多斯,朱利安·杜比,内维尔·格雷奇,安娜斯塔西奥斯·安东尼亚迪斯,亚尼斯·斯马拉格达基斯. [美国国防部]
- 基于不交多态的行和有界多态谢宁宁,布鲁诺·C·D·S·奥利维拉,玄壁,汤姆·施里杰弗斯. [美国国防部]
- 起重顺序对控制操作员的影响科林·S·戈登. [美国国防部]
- 通过Python程序的抽象解释进行静态类型分析拉斐尔·莫纳特,阿卜杜勒拉夫·乌阿贾奥特,安托万·米内. [美国国防部]
- 带显式Null的Scala阿贝尔·尼托,赵耀宇,Ondrej Lhoták,安吉拉·张,贾斯汀·普. [美国国防部]
- coFJ中的声音规则Corescursion戴维德·安科纳,彼得罗·巴比里,弗朗西斯科·达尼诺,埃琳娜·祖卡. [美国国防部]
- 应对反应式编程的尴尬团队：行动者-反应者模型萨姆·范登·冯德,蒂埃里·雷诺,比亚诺·奥扬,乔里·德科斯特,沃尔夫冈·德·梅特尔. [美国国防部]
- 围棋程序的静态比赛检测和互斥安全性朱莉娅·加贝,吉田信子. [美国国防部]
- 模型-视图-更新-通信：会话类型符合Elm体系结构西蒙·福勒0001. [美国国防部]
- 将随机编译器测试投入生产（经验报告）阿拉斯泰尔·唐纳森,拥抱埃夫拉德,保罗·汤姆森. [美国国防部]