达格斯图尔手工艺品系列，第6卷
2020年第6卷第1期
亚历山德罗·维托里奥·帕帕佐普洛斯 , 亚历山德罗·比昂迪 :
前言、目录、前言、会议组织。 00:i-00:x 西姆斯·奥斯本 , 约书亚·巴基塔 , 詹姆斯·安德森 :
同时多线程和硬实时：它能安全吗？ （人工制品）。 01:1-01:3 丹尼尔·布里斯托特·德·奥利维拉 , 丹尼尔·卡西尼 , 罗穆洛·席尔瓦·德·奥利维拉 , 托马索·库奇诺塔 :
解密实时Linux调度延迟（工件）。 02:1-02:3 谢尔盖·博日科 , 比约恩·勃兰登堡 :
抽象响应时间分析：繁忙窗口原理的形式化基础（工件）。 03:1-03:2 弗朗西斯科·雷斯图恰 , 马可·帕加尼 , 亚历山德罗·比昂迪 , 毛罗·马里诺尼 , 乔治·布塔佐 :
FPGA SoC中硬件加速器的总线冲突建模与分析（工件）。 04:1-04:3 罗曼·雅各布 
, 张立聪 , 马尔科·齐默林 , 简·贝特尔 , 萨马尔吉特·查克拉博蒂 , 洛塔尔·蒂尔 :
时间触发无线体系结构（Artifact）。 05:1-05:3
2020年第2期第6卷
丽莎·阮广道（Lisa Nguyen Quang Do） , 曼努埃尔起重工 :
前言、目录、前言、会议组织。 00:i-00:xii 穆罕默德·巴巴拉 , 隋玉雷 , 陈世平（Shiping Chen） :
基于流敏感类型的堆克隆（工件）。 01:1-01:2 Jan de Muijnck-Hughes公司 , 埃德温·C·布雷迪 , 维姆·范德鲍维德 :
依赖类型语言中的资源依赖EDSL的框架（工件）。 02:1-02:3 阿拉斯泰尔·唐纳森 , 哈格斯·埃夫拉德 , 保罗·汤姆森 :
将随机编译器测试投入生产（工件）。 03:1-03:2 叶夫根尼·莫申科 , 安东·波德科帕耶夫 , 奥里·拉哈夫 , 梅尔科奥列斯蒂斯 , 维克托·瓦菲亚迪斯 :
协调事件结构与现代多处理器（工件）。 04:1-04:3 加布里埃拉·桑帕约 , 何塞·弗拉戈索·桑托斯 , 彼得·马克西莫维奇 , 菲利普·加德纳 :
事件驱动Web应用程序（工件）符号分析的可信基础结构。 05:1-05:3 西菲斯·拉古瓦多斯 , 朱利安·杜比 , 内维尔·格雷奇 , 安娜斯塔西奥斯·安东尼亚迪斯 , 亚尼斯·斯马拉格达基斯 :
TensorFlow程序中的形状静态分析（工件）。 06:1-06:3 萨姆·范登·冯德 , 蒂埃里·雷诺 , Bjarno Oeyen公司 , 乔里·德科斯特 , 沃尔夫冈·德梅特 :
应对反应式编程的尴尬团队：参与者-反应者模型（工件）。 07:1-07:4 布鲁诺·C·d·S·奥利维拉 , 崔绍波 , 巴伯·雷赫曼 :
分型的二重性（人工制品）。 08:1-08:6 黄雪晶 , 布鲁诺·C·d·S·奥利维拉 :
带有合并运算符的微积分的类型定向操作语义（工件）。 09:1-09:4 阿贝尔·尼托 , 玛丽安娜·拉波波特 , 格雷戈·理查兹 , Ondrej Lhoták :
空值责任（工件）。 10:1-10:2 拉斐尔·莫纳特 , 阿卜杜勒拉夫·乌阿贾奥特 , 安托万·米内 :
通过Python程序抽象解释进行静态类型分析（工件）。 11:1-11:6 朱莉娅·加贝 , 吉田信子 :
围棋程序的静态比赛检测和互斥安全与活力（人工制品）。 12:1-12:3 西蒙·福勒 :
模型-视图-更新-通信：会话类型符合Elm体系结构（工件）。 13:1-13:2 阿贝尔·尼托 , 赵耀宇 , Ondrej Lhoták , Angela Chang（张安琪） , 贾斯汀·普 :
带有显式Null的Scala（工件）。 14:1-14:2 萨代赫·达尔瓦迪 , 西蒙·多尔蒂 , 布里杰什·多戈尔 , 海克·韦尔海姆 :
Owicki-Gries C11 RAR推理（人工制品）。 15:1-15:2 希拉·佩莱 , 纳迪娅·波里卡波娃 :
完美是善的敌人：尽力而为的程序合成（人工制品）。 16:1-16:2 卢卡斯·迪克曼 , 劳伦斯·特拉特 :
不要惊慌！ LR解析器的更好、更少的语法错误（工件）。 17:1-17:2 Keigo Imai公司 , 鲁米亚纳·内科娃 , 吉田信子 , 袁绍基（Shoji Yuen） :
使用全局协议组合器的多方会话编程（工件）。 18:1-18:2 亚历山大·塔索斯 , 朱莉安娜·佛朗哥 , 索菲亚·德罗索波卢 , 托比亚斯·箭牌 , 苏珊·艾森巴赫 :
实施SHAPES案例研究（工件）。 19:1-19:3
