美国计算机学会编程语言与系统汇刊,第41卷
第41卷第1期,2019年3月
蒂亚戈·科古姆布雷罗 , 雷蒙德·胡 , 弗朗西斯科·马丁斯 , 吉田信子 :
通用安全栅同步的动态死锁验证。 1:1-1:38 阿列克谢·索洛维耶夫 , 马雷克·巴拉诺夫斯基 , 伊恩·布里格斯 , 查尔斯·雅各布森 , 兹沃尼米尔·拉卡马利奇 , 加内什·戈帕拉克里什南 :
用符号泰勒展开严格估计浮点舍入误差。 2:1-2:39 尼古拉斯·杰切克 , 孟雪秋 , 本杰明·M·马林 , J.艾略特·莫斯 :
垃圾收集时间的最佳选择。 3:1-3:35 莱夫·安徒生 , 文森特·圣穆尔 , 扬·维泰克 , 马提亚斯·费莱森 :
特定于功能的配置文件。 4:1-4:34 鲁道夫·勒皮格雷 , 克里斯托夫·拉法利 :
Curry-Style语言的实用子类型。 5:1-5:58 刘伯珍 , 黄立成 , 劳伦斯·劳什沃格 :
重新思考增量和并行指针分析。 6:1-6:31
第41卷第2期,2019年6月
安德鲁·迈尔斯 :
编辑。 7:1 埃蒂安·米奎 :
具有依赖类型的经典序列微积分。 8:1-8:47 卢卡·帕多瓦尼 :
无上下文会话类型推断。 9:1-9:37 乌戈·达尔·拉戈 , 查尔斯·格雷洛伊斯 :
通过单数仿射大小键入进行概率终止。 10:1-10:65 康拉德·科顿-巴雷特 , 安德烈·穆拉夫斯基 , C.-H.卢克·翁 :
ML、可视下推类记忆自动机和带状态的扩展分支向量加法系统。 11:1-11:38
马修·黑格 , 安东尼·W·林 , Chih-Duo Hong先生 :
通过约束求解缩小CSS。 12:1-12:76 Minseok Jeon公司 , Sehun Jeong公司 , 宋德查 , Hakjoo噢 :
一种用于数据驱动程序分析的带析取模型的机器学习算法。 13:1-13:41
第41卷第3期,2019年7月
莱安德罗·法奇内蒂 , 扎卡里·帕尔默 , 斯科特·史密斯 :
高阶需求驱动程序分析。 14:1-14:53 大卫·格罗夫 , 萨拉·哈穆达 , 本杰明·赫塔 , 阿伦·艾扬格 , 川谷清子 , 乔什·米尔索普 , 维杰·萨拉斯瓦特 , Avraham Shinnar公司 , Mikio Takeuchi先生 , 奥利维尔·塔迪厄 :
弹性X10中的故障恢复。 15:1-15:30 玛纳斯·塔库尔 , V.克里斯纳·南迪瓦达 :
PYE:用于Java程序的精确Yet-Efficient实时分析的框架。 16:1-16:37 罗伯托·卡斯塔涅达·洛扎诺 , Mats Carlsson公司 , 加布里埃尔·霍特·布林德尔 , 克里斯蒂安·舒尔特 :
组合寄存器分配和指令调度。 17:1-17:53 福斯托·斯波托 , 伊丽莎·布拉托 , 迈克尔·D·恩斯特 , 彼得罗·费拉拉 , 阿尔贝托·洛瓦托 , 达米亚诺·马其顿 , Ciprian Spiridon公司 :
Java中注入攻击的静态标识。 18:1-18:58 安德烈亚·罗莎 , 爱德华多·罗萨莱斯 , 沃尔特·宾德 :
Java虚拟机任务粒度分析与优化。 19:1-19:47
第41卷第4期,2019年12月
克里希南德·查特吉 , 傅鸿飞 , 阿米尔·卡夫什达尔·戈哈沙迪 :
递归程序的非多项式最坏情况分析。 20:1-20:52 埃默里·伯杰 , 塞莱斯特·霍伦贝克 , 彼得·马吉 , 奥尔加·维泰克 , 扬·维泰克 :
关于程序设计语言对代码质量的影响:一项再现研究。 21:1-21:24 戴维德·桑吉奥吉 , 瓦莱丽亚·维格努德利 :
概率高阶语言的环境互模拟。 22:1-22:64 克里希南德·查特吉 , 阿米尔·卡夫什达尔·戈哈沙迪 , 普拉蒂什·戈亚尔 , 拉斯穆斯·易卜生-延森 , 安德烈亚斯·帕夫罗甘尼斯 :
恒定树宽基本RSM中动态代数查询的快速算法。 23:1-23:46