美国计算机学会编程语言与系统汇刊，第43卷
第43卷第1期，2021年4月
马可·帕特里格纳尼 
, Deepak Garg公司 :
健壮安全编译，一种高效的安全编译形式。 1:1-1:41 大卫·桑安 , 赵永旺 , 尚伟林 , 杨柳 :
CSim公司 2 ：使用可靠性保证对并发系统进行组合自顶向下验证。 2:1-2:46 大卫·J·皮尔斯 :
参考寿命和锈蚀借用的轻量级形式主义。 3:1-3:73 科林·S·戈登 :
多态可迭代序列效应系统。 4:1-4:79
第43卷第2期，2021年7月
Toru Takisaka公司 , Oyabu一郎 , 浦边夏树 , 哈朔一郎 :
在随机项目中对超市的可达性进行排名和排斥。 5:1-5:46 伊丽莎白·洛博·维斯加 , 亚历杭德罗·拉索 , 马可·加博阿迪 :
一种具有准确性估计的数据隐私编程语言。 6:1-6:42 伯纳多·托尼霍 , 吉田信子 :
关于多形会话和功能：两个（完全抽象的）编码的故事。 7:1-7:55 翡翠阿尔加莱 , 威尔·迪肯 , 理查德·格里森特瓦特 , 安托万提花机 , 吕克·马兰杰 :
武装猫：武装的正式并发建模。 8:1-8:54
第43卷第3期，2021年9月
张伟新 , 孙耀珠 , 布鲁诺·C·d·S·奥利维拉 :
组合编程。 9:1-9:61 刘伦（Lun Liu） , 托德·D·米尔斯坦 , 穆苏瓦蒂夫人 :
现代编程语言的安全默认并发。 10:1-10:50 格雷姆·甘格 , 马泽群 , 豪尔赫·纳瓦斯 , 彼得·沙赫特 , 哈拉尔德·森德加德 , 彼得·斯塔基 :
全新的分区和八角形。 11:1-11:51 马特奥·布西 , 约伯·诺曼 , 乔·范·布尔克 , Letterio Galletta公司 , 皮耶保罗·德加诺 , 扬·托拜厄斯·穆尔伯格 , 弗兰克·皮森斯 :
在小型微处理器上保护可中断的封装执行。 12:1-12:77
第43卷第4期，2021年12月
彼得·米勒 :
2020年员工持股计划专题介绍。 13:1 卡米娜·阿巴特 , 罗伯托·布兰科 , 斯特凡·西奥巴 , 阿德里安·杜里埃 , 迪帕克·加尔格 , Catalin Hritcu公司 , 马可·帕特里格纳尼 , 埃里克·坦特 , 杰雷米·蒂鲍特 :
跟踪编译正确性和安全编译的扩展说明。 14:1-14:48 松下优助 , 津田武史 , 小林直树 :
RustHorn：基于CHC的Rust程序验证。 15:1-15:54
伊曼纽尔·德奥斯瓦尔多 , 朱利安·萨瑟兰 , 阿扎德·法尔赞 , 菲利普·加德纳 :
TaDA Live：终止细粒度并发程序的组合推理。 16:1-16:134 弗兰克·S·德·波尔 , 汉斯·迪特·A·希普 :
Hoare逻辑中Call-by-Value推理的完整性和复杂性。 17:1至17:35
