ASPLOS 2019:普罗维登斯,RI,美国
艾丽斯·巴哈尔 , 赫利希 , 埃米特·维切尔 , 阿尔文·R·勒贝克 以下为:
第二十四届程序设计语言和操作系统体系结构支持国际会议论文集,ASPLOS 2019,美国罗得岛普罗维登斯,2019年4月13-17日。 ACM公司 2019 ,国际标准图书编号 978-1-4503-6240-5
主题演讲
芭芭拉·利斯科夫 以下为:
主旨:多核编程。 1 Krysta M.Svore公司 以下为:
主旨:发展我们的量子未来。 2
云I
于干 , 张彦琦(Yanqi Zhang) , 程代伦 , 安基莎·谢蒂 , Priyal Rathi公司 , 纳扬·卡塔基 , 阿里亚娜·布鲁诺 , 胡贾斯汀(Justin Hu) , 布莱恩·里奇肯 , 布伦登·杰克逊 , 凯文·胡(Kelvin Hu) , 梅格纳·潘科利 , 袁和 , 布雷特·克兰西 , 克里斯·科尔恩 , 富康文 , 凯瑟琳·梁 , 王思源(Siyuan Wang) , 列昂·扎鲁文斯基 , 马特奥·埃斯皮诺萨 , 瑞克·林 , 刘忠玲 , 杰克·帕迪拉 , 克里斯蒂娜·德利米特鲁 以下为:
微服务的开源基准套件及其对云和边缘系统的软硬件影响。 3-18 于干 , 张彦琦(Yanqi Zhang) , 凯文·胡(Kelvin Hu) , 郑代伦 , 袁和 , 梅格纳·潘科利 , 克里斯蒂娜·德利米特鲁 以下为:
Seer:利用大数据导航云微服务性能调试的复杂性。 19-33 亚历山大·达格利斯 , 马克·萨瑟兰 , 巴巴克·法尔萨菲 以下为:
RPCValet:NI驱动的µs-Scale RPC的尾部软件平衡。 35-48
数据移动I
陈丽 , 拉查塔·奥萨瓦隆尼伦 , 克里斯托弗·罗斯巴赫 , 张友涛 , Onur Mutlu公司 , 杨果(Yang Guo) , 杨军(Jun Yang) 以下为:
图形处理单元中的内存超额订阅管理框架。 49至63 Phitchaya Mangpo Phothilimthana公司 , 阿奇博尔德·塞缪尔·埃利奥特 , 王安(An Wang) , 阿比纳夫·扬达 , 巴斯蒂安·哈格多恩 , 亨利克·巴瑟尔斯 , 塞缪尔·考夫曼 , 维诺德·格罗弗 , 埃米娜·托拉克 , 拉斯蒂斯拉夫·博迪克 以下为:
Swizzle Inventor:GPU内核的数据移动合成。 65-78 林江 , 孙晓凡 , 奥马尔·法鲁克 , Zhijia Zhao(赵志佳) 以下为:
商品并行处理器上当代半结构化数据的可伸缩处理——基于编译的方法。 79-92
云II
张仙桃 , 小郑 , 王志 , 齐丽 , 傅君康 , 杨章 , 沈宜宾 以下为:
大型云基础设施中的快速可扩展VMM实时升级。 93-105 陈爽(音译) , 克里斯蒂娜·德利米特鲁 , 何塞·马丁内斯 以下为:
参与方:多交互服务的QoS-Aware资源分区。 107-120 沈志明 , 甄孙 , 古尔·埃亚尔·塞拉 , 尤金·巴格达萨利安 , 克里斯蒂娜·德利米特鲁 , 罗伯特·范·雷内西 , 哈基姆威瑟斯彭 以下为:
X容器:打破障碍以提高云容器的性能和隔离。 121-135
数据移动II
迈克尔·佩劳尔 , 邵雅坤 , 杰森·克莱蒙斯 , 尼尔·克莱顿·克拉戈 , 卡提克·赫格德 , Rangharajan Venkatesan先生 , 斯蒂芬·凯克勒 , 克里斯托弗·弗莱彻 , 乔尔·埃默 以下为:
自助餐:用于显式解耦数据编排的高效可组合存储习惯用法。 137-151 甄正 , Chanyoung噢 , 冀东寨 , 沈喜鹏 , Yongmin一 , 陈文光 以下为:
HiWayLib:为异构管道计算实现高性能通信的软件框架。 153-166 苗宏宇 , 明治Jeon , Gennady Pekhimenko先生 , 凯瑟琳·麦金利 , 林小珠(Felix Xiaozhu Lin) 以下为:
StreamBox-HBM:高带宽混合内存的流分析。 167-181
新兴范式
马克斯·威尔西 , 阿什利·P·斯蒂芬森 , 克里斯·高桥 , 普拉纳夫·瓦伊德 , Bichlien H.Nguyen女士 , 米查尔·皮斯克 , 克里斯汀·贝茨 , 莎朗·纽曼 , Sarang Joshi公司 , 卡琳·施特劳斯 , 路易斯·塞兹 以下为:
Puddle:一个动态、纠错、全堆叠微流体平台。 183-197 格雷厄姆·戈比斯基 , 布兰登·露西亚 , 内森·贝克曼 以下为:
超越边缘的智能:间歇嵌入式系统的推断。 199-213 乔治·齐姆普拉戈斯 , Advait Madhavan公司 , 迪利普·瓦苏德万 , 德米特里·B·斯特鲁科夫 , 蒂莫西·舍伍德 以下为:
用于低能量分类的增强种族树。 215-228
内存系统
蔡波安(Po-An Tsai) , 丹尼尔·桑切斯 以下为:
压缩对象,而不是缓存线:基于对象的压缩内存层次结构。 229-242 李鹏程 , 科林·普罗诺弗斯特 , 威廉·威尔逊 , 本杰明·泰特 , 周杰(音译) , 陈丁 , 约翰·克里斯维尔 以下为:
使用统计透视和可变大小缓存击败OPT。 243-256年 丹尼尔·卢斯蒂格 , 萨米尔·萨哈斯拉布德(Sameer Sahasrabuddhe) , 奥利维尔·吉鲁 以下为:
NVIDIA PTX内存一致性模型的形式化分析。 257-270
Potpourri公司
埃里克·施库夫扎 , 迈克尔·魏 , 克里斯托弗·罗斯巴赫 以下为:
Verilog实时编译:一种改进FPGA编程体验的新技术。 271-286 加居白 , 朱莉娅·劳尔 , 温德·谭 , 胡世民 以下为:
DCNS:自动检测Linux内核中的保守非睡眠缺陷。 287-299 胡一公 , 刘素怡 , 彭黄 以下为:
移动设备上基于租赁的实用资源管理案例。 301-315
VM/内存
安德烈斯·拉加尔·卡维拉 , 安俊华 , 苏莱曼·苏拉尔 , 内哈·阿加瓦尔 , Radoslaw伯尼 , 沙克尔黄油 , 张吉川 , 阿什温·乔古勒 , 南登 , 朱奈德·沙希德 , 格雷格·塞伦 , 卡米尔·亚当·尤尔采弗 , 于昭 , 帕塔萨拉西·兰加纳坦 以下为:
仓库规模计算机中的软件定义远内存。 317-330 紫嫣 , 丹尼尔·卢斯蒂格 , 大卫·W·内兰(David W.Nellans) , Abhishek Bhattacharjee公司 以下为:
分层内存系统的灵活页面管理。 331-345 阿什什·潘瓦尔 , 索拉夫·班萨尔 , K.戈皮纳斯 以下为:
鹰眼:对巨大页面的高效细粒度操作系统支持。 347-360
安全I
张海森先生 , 苏米亚迪普·戈什 , Jordan Fix公司 , 索蒂里斯·阿波斯托拉基斯 , 斯蒂芬·R·比尔德 , 纳亚纳·纳根德拉(Nayana P.Nagendra) , Taewook哦 , 戴维·奥古斯特 以下为:
基于遏制的安全体系结构支持。 361-377 布鲁克斯·戴维斯 , 罗伯特·N·M·沃森 , 亚历山大·理查森 , 彼得·G·诺依曼 , 西蒙·摩尔 , 约翰·鲍德温 , 大卫·奇斯纳尔 , 杰西卡·克拉克 , 纳撒尼尔·韦斯利·费拉多 , 希兰·古德卡 , Alexandre Joannou , 本·劳里 , A.西奥多市场 , J.爱德华·马斯特 , 阿尔弗雷多·马津吉 , 爱德华·托马斯·纳皮埃拉拉 , 罗伯特·M·诺顿 , 迈克尔·罗 , 彼得·苏厄尔 , 斯泰西·D·儿子 , 乔纳森·伍德拉夫 以下为:
CheriABI:在POSIX C运行时环境中实施有效的指针起源和最小化指针权限。 379-393 穆罕默德卡泽姆塔拉姆 , 阿什什·文卡特 , 院长M.Tullsen 以下为:
上下文敏感围栏:通过微代码定制确保推测执行。 395-410
持久内存
刘思航(Sihang Liu) , 宜州卫 , 赵纪深(Jishen Zhao) , 阿希什·科利 , 萨米拉·马纳比汗 以下为:
PMTest:持久内存程序的快速灵活测试框架。 411-425 徐健(Jian Xu) , 朱诺·金 , 阿米尔·萨曼·梅马里普尔 , 史蒂文·斯旺森 以下为:
查找并修复持久性内存软件堆栈中的性能病理。 427-439 纳克肖恩·科恩 , 大卫·T·阿克森 , 希勒尔·阿夫尼 , 詹姆斯·拉鲁斯 以下为:
使用缓存线内日志记录的细粒度检查点。 441-454
安全II
Insu Jang公司 , 阿德里安·唐 , Taehoon Kim公司 , Simha Sethumadhavan公司 , Jaehyuk Huh先生 以下为:
商品GPU的异构隔离执行。 455-468 马克·加拉赫 , 劳伦·比尔纳基 , 陈世波 , Zelalem Birhanu Aweke公司 , Salessawi Ferede Yitbarek公司 , Misiker Tadesse Aga公司 , 奥斯汀·哈里斯 , 徐志兴 , 巴里斯·卡西奇 , 瓦莱丽亚·贝塔科 , 莎拉·马利克 , 莫希特·蒂瓦里 , 托德·奥斯汀 以下为:
Morpheus:一种基于移动目标攻击防御系统的漏洞容忍安全体系结构。 469-484 比塔·达维什·鲁哈尼 , 陈慧丽 , 法里纳兹·库沙法尔 以下为:
DeepSigns:Deep Neural Networks所有权保护的端到端水印框架。 485至497
加速器
Cho Hyungmin , 平朔哦 , 济阳公园 , Wookeun Jung公司 , 李政宰 以下为:
FA3C:FPGA——加速深度强化学习。 499-513 Subho S.Banerjee公司 , Zbigniew T.Kalbarczyk公司 , 拉维尚卡·K·伊耶 以下为:
AcMC公司 2 :概率模型的加速马尔可夫链蒙特卡罗算法。 515-528 斯科特·帕金 以下为:
将经典代码指向量子退火器。 529-543
安全III
库斯图巴·巴特 , 埃里克·范德库韦 , 赫伯特·博斯 , 克里斯蒂亚诺·朱弗里达 以下为:
ProbeGuard:通过被动程序转换缓解探测攻击。 545-558 塞巴斯蒂安·斯特伦德 , 孔孔宁 , 皮埃尔·奥利维尔 , 安东尼奥·巴巴拉斯 , 赫伯特·博斯 , 克里斯蒂亚诺·朱弗里达 以下为:
kMVX:使用多变量执行检测内核信息泄漏。 559-572 路易斯·皮纳 , 安娜斯塔西奥斯·安德罗尼迪斯 , 迈克尔·希克斯 , 克里斯蒂安·卡达尔 以下为:
MVEDSUA:通过多版本执行实现更高可用性的动态软件更新。 573-585
图形处理
徐成硕 , 凯瓦尔·沃拉 , 拉吉夫·古普塔 以下为:
PnP:点到点迭代图分析的剪枝和预测。 587-600 于章 , 廖晓飞 , 海金 , 何炳生 , 刘海昆 , 林谷(Lin Gu) 以下为:
DiGraph:一个高效的基于路径的多GPU迭代有向图处理系统。 601-614 Roshan Dathathri公司 , 古宾德·吉尔 , 黄湖 , 凯沙夫·平加里 以下为:
Phoenix:弹性分布式图形分析的基础。 615-630
安全内存
张彤(音译) , 东洋·李 , 郑昌熙(Changhee Jung) 以下为:
BOGO:购买空间内存安全,获得时间内存安全(几乎)免费。 631-644 吴新川 , 蒂莫西·舍伍德 , 弗雷德里克·T·冲 , 李燕京 以下为:
在DRAM True-Cells中使用单调指针保护页表免受RowHammer攻击。 645-657 Chandrasekhar Nagarajan公司 , 阿里·沙菲 , Rajeev Balasubramonian公司 , 莫希特·蒂瓦里 以下为:
ρ: 宽松的分层ORAM。 659-671
微体系结构
安德烈亚斯·阿贝尔 , 简·雷内克 以下为:
uops.info:描述英特尔微体系结构上指令的延迟、吞吐量和端口使用情况。 673-686 苏珊·孔杜利 , 迈克尔·C·黄 以下为:
引导:使用SMT硬件提高单线程性能。 687至700 霍贾特·阿斯加里·埃斯费登 , Farzad Khorasani公司 , Hyeran Jeon公司 , 糖城市议员黄安祥 , Nael B.Abu-Ghazaleh公司 以下为:
CORF:GPU的合并操作数寄存器文件。 701-714
机器学习I
Aayush Ankit公司 , 伊扎特·埃尔·哈吉 , 赛·拉胡尔·查拉马拉塞蒂 , 杰弗里·恩杜 , 马丁·福尔廷 , R.斯坦利·威廉姆斯 , 保罗·法拉博斯基 , 文美·W·Hwu , 约翰·保罗·斯特拉坎 , 考希克·罗伊 , 德扬·S·米洛希奇 以下为:
PUMA:一种用于机器学习推理的可编程超高效Memristor加速器。 715-731 于吉 , 张友阳 , 谢新峰 , 李双晨 , 王培琪 , 星虎 , 张友慧 , 袁燮 以下为:
FPSA:基于可重构ReRAM的NN加速器体系结构的完整系统堆栈解决方案。 733-747 阿尔贝托·德尔马斯·拉斯科兹 , 帕特里克·贾德 , 迪伦·马隆·斯图亚特 , 齐西斯·普洛斯 , 穆斯塔法·马哈茂德 , 萨耶赫·谢里菲 , 米洛斯·尼科利奇 , 凯文·萧 , 安德烈亚斯·莫绍沃斯 以下为:
双策略:在神经网络中利用价值和比特稀疏性的软件/硬件方法。 749-763
同步
熊巢汤 , 冀东寨 , 钱学海 , 陈文光 以下为:
pLock:具有显式内核间消息传递的架构快速锁。 765-778 杰霍·金 , 阿吉特·马修 , 萨尼迪亚·卡西亚普 , Madhava Krishnan Ramanathan女士 , Min昌宇 以下为:
MV-RLU:使用多版本扩展读日志更新。 779-792 王凯(Kai Wang) , 唐·福塞尔 , 卡尔文·林 以下为:
GPU上的快速细粒度全局同步。 793-806
机器学习II
高明宇 , 宣扬 , 景普 , 马克·霍洛维茨 , 克里斯托斯·科兹拉基斯 以下为:
TANGRAM:针对可扩展NN加速器的优化粗训练数据流。 807-820 H.T.Kung(香港) , 布拉德利·麦克丹尼尔 , 赛谦张 以下为:
封装稀疏卷积神经网络以实现高效收缩阵列:联合优化下的列组合。 821-834 天津 , Seokin Hong公司 以下为:
Split-CNN:用于记忆系统优化的卷积神经网络中基于窗口的分割操作。 835-847
并发
维穆斯·费尔南多 , 安东尼奥·弗兰克斯 , 塞尔吉·阿巴达尔 , 萨萨·米塞洛维奇 , 约瑟普·托雷拉斯 以下为:
副本:用于通信密集型和近似数据的无线多核。 849-863 腾飞图 , 刘晓宇 , 林海松 , 张一英 以下为:
了解Go中的Real-World并发错误。 865-878 蒂莫西·梅里菲尔德 , 塞皮德·罗汉奇 , 约瑟夫·迪维蒂 , 雅各布·埃里克森 以下为:
快速确定性多线程的懒惰确定性。 879-891
机器学习III
秦一洛 , 林金坤 , 卓有为 , 钱学海 以下为:
Hop:意识到异质性的分散培训。 893-907 穆提安·西瓦塔努 , 塔潘·丘格 , 桑杰·辛加普拉姆 , 周立东 以下为:
阿斯特拉:利用可预测性优化深度学习。 909-923 奥仁 , 张天云 , 叶绍凯 , 李嘉玉 , 徐文耀 , 钱学海 , 薛琳 , 王彦之(Yanzhi Wang) 以下为:
ADMM-NN:一种使用乘数交替方向方法的DNN算法-硬件协同设计框架。 925-938
存储系统
Chanwoo Chung先生 , 金永古 , Junsu进出口 , 阿尔文德 , Sungjin Lee(李成金) 以下为:
LightStore:软件定义的网络连接键值驱动器。 939-953 刘春怡 , 贾加迪什·科特拉 , Myoungsoo Jung先生 , 马赫穆特·坎德米尔 , 奇塔·R·达斯 以下为:
SOML读取:重新思考3D NAND SSD的读取操作粒度。 955-969 艾哈迈德·H·M·O·阿布利拉 , 维克拉姆·夏尔马·梅特霍迪 , 扎伊德·库雷希 , 黄健 , 南宋金 , 熊进军 , 文美·W·Hwu 以下为:
FlatFlash:在统一内存存储层次结构中利用SSD的字节可访问性。 971-985
量子计算
斯瓦米特·斯坦努 , 莫努丁·库雷希 以下为:
并非所有的量子比特都是平等的:NISQ时代量子计算机的变量感知策略案例。 987-999 李古书 , 丁玉飞 , 袁燮 以下为:
解决NISQ时代量子器件的量子比特映射问题。 1001-1014 普拉卡什·穆拉利 , 乔纳森·贝克 , 阿里·贾瓦迪·阿巴哈里 , 弗雷德里克·T·冲 , 玛格丽特·马托诺西 以下为:
噪声中间尺度量子计算机的噪声自适应编译器映射。 1015-1029 Yunong Shi公司 , Nelson Leung先生 , 普拉纳夫·戈哈勒 , 赞恩·罗西 , 戴维·舒斯特 , 亨利·霍夫曼 , 弗雷德里克·T·庄 以下为:
现实量子计算机聚合指令的优化编译。 1031-1044年
工具和方法
丹尼尔·莱曼 , 迈克尔·普拉德尔 以下为:
Wasabi:动态分析WebAssembly的框架。 1045-1058 Deeksha Dangwal公司 , 崔伟龙 , 约瑟夫·麦克马汉 , 蒂莫西·舍伍德 以下为:
通过跟踪写入实现更安全的程序行为共享。 1059-1072 马修·卡西亚斯 , 凯文·昂斯塔特 , 汤米·特雷西二世 , 凯文·斯卡德隆 , 维斯特利·威默尔 以下为:
对模式匹配语言和加速器的调试支持。 1073-1086 阿卜杜拉赫曼·马哈茂德 , 拉德哈·文卡塔吉里 , 哈立克·艾哈迈德 , 萨萨·米塞洛维奇 , 达科·马里诺夫 , 克里斯托弗·弗莱彻 , 莎莉塔V.Adve 以下为:
牛头怪:针对硬件错误调整软件测试技术。 1087-1103