ASPLOS 2020:瑞士洛桑
詹姆斯·拉鲁斯 , 路易斯·塞兹 , 卡林·施特劳斯 :
《ASPLOS 20:编程语言和操作系统的架构支持》,瑞士洛桑,2020年3月16日至20日。 ACM公司 2020 ,国际标准图书编号 978-1-4503-7102-5 由于新冠肺炎,2020年ASPLOS被取消。
主题演讲1: 从威尼斯到欧洲,过去的大数据。
弗雷德里克·卡普兰 :
过去的大数据,从威尼斯到欧洲。 1
第1A部分: 机器学习中的隐私和安全-在ML中我们信任???
法特梅赫萨达特·米雷什哈拉 , 穆罕默德卡泽姆塔拉姆 , 普拉卡什·拉姆拉赫亚尼 , 加拉里 , 迪恩·M·塔尔森 , 哈迪·伊斯梅尔扎德 :
碎纸机:学习噪声分布以保护推理隐私。 3-18 王兴斌 , 芮侯 , 赵伯彦 , 袁丰凯 , Jun Zhang(张军) , 丹蒙 , 钱学海 :
DNNGuard:一种对抗对抗攻击的弹性异构DNN加速器体系结构。 19至34 何塞·罗德里戈·桑切斯·维卡特 , 本杰明·施赖伯 , 里卡多·帕卡涅拉 , 克里斯托弗·弗莱彻 :
线程游戏:启用异步中毒攻击。 35-52
第1B部分: 边缘/间歇计算支持-寿命太短!
贾斯珀·德温克尔 , 卡洛·德尔·多恩 , 卡西姆·西南·伊尔迪里姆 , 普尔泽米斯瓦夫·帕维尔恰克(Przemyslaw Pawelczak) , 约西亚·D·海斯特 :
间歇计算的可靠计时。 53-67 哈里森·威廉姆斯 , 荀坚 , 希克斯 :
忘记失败:利用SRAM数据剩余进行低覆盖间歇计算。 69-84 维托·科特比克 , 卡西姆·西南·伊尔迪里姆 , 阿布·巴卡尔 , 雅各布·索伯 , 约西亚·D·海斯特 , 普尔泽米斯瓦夫·帕维尔恰克(Przemyslaw Pawelczak) :
时间敏感的间歇计算与传统软件相遇。 85-99
第2A部分: 智能外围设备-机箱外。
伊戈尔·斯莫利亚尔 , 亚历克斯·马库泽 , 鲍里斯·皮斯门尼 , 哈盖·埃兰 , Gerd Zellweger公司 , 奥斯汀·博伦 , 利兰·利斯 , 亚当-莫里森 , 丹·萨弗里尔 :
IOctopus:超越非均匀DMA。 101-115 马龙·托克 , 利娜·莫德利 , 马克·西尔伯斯坦 :
Lynx:一种SmartNIC驱动的以加速器为中心的网络服务器体系结构。 117-131
第2B部分: 动态编译-谁动了我的奶酪?
大卫·威廉斯·金 , 小林秀内里 , 肯特·威廉斯·金 , 格雷厄姆·帕特森 , 弗兰克·斯潘诺 , 于建武 , 杨俊峰 , Vasileios P.Kemerlis公司 :
Egalito:布局-忽略二进制重新编译。 133-147年 萨拉·阿科尔 , 马丁·里纳德 :
使用Legno的模拟设备的噪声软件动态系统编译。 149-166
第3A节: 酸-绊倒!
奥马尔·纳瓦罗·莱贾 , 凯利·希普托斯基 , 瑞安·G·斯科特 , 王宝君 , 尼古拉斯·雷纳 , 瑞安·R·牛顿 , 约瑟夫·迪瓦蒂 :
可复制容器。 167-182 乌芒·马图尔 , 马赫什·维斯瓦纳坦 :
使用矢量时钟进行线性时间的原子性检查。 183-199 安东尼奥斯·卡萨拉基斯 , Gavrielatos瓦西里斯氏杆菌 , M.R.Siavash Katebzadeh先生 , Arpit Joshi公司 , Aleksandar Dragojevic公司 , 鲍里斯·格罗 , 维杰·纳加拉扬 :
Hermes:一种快速、容错和线性化的复制协议。 201-217
第3B部分: 自动化-在各州之间跳跃。
埃拉赫·萨德雷迪尼 , 雷扎·拉希米 , 马齐埃·伦贾尼 , 米尔恰·斯坦 , 凯文·斯卡德隆 :
FlexAmata:应用程序对空间自动处理加速器的通用高效适应。 219-234 凯文·昂斯塔特 , Jean-Baptiste珍妮 , 维斯特利·威默尔 :
通过有界自动机学习加速传统字符串内核。 235-249 刘洪源 , Sreepathi Pai公司 , Adwait慢跑 :
为什么GPU在执行NFA方面速度较慢以及如何使其更快。 251-265
第4A部分: 巨大的内存和分布式数据库-现在我记得了!
马克·曼西 , 迈克尔·斯威夫特 :
∅sim:为具有万亿级内存的世界准备系统软件。 267-282 雷托·阿赫尔曼 , 阿什什·潘瓦尔 , Abhishek Bhattacharjee公司 , 蒂莫西·罗斯科 , 杰内尔·甘地 :
有丝分裂:用于大内存机器的透明自我复制页表。 283-300 劳伦特·宾施凯德勒 , 阿什文·戈尔 , 威利·兹瓦尼波尔 :
冰雹风暴:基于LSM的分布式数据库的分解计算和存储。 301-316
第4B部分: 推测和一致性——脑筋急转弯。
Rui Zhang(张瑞) , 斯瓦南多·比斯瓦斯 , 维格内什·巴拉吉 , 迈克尔·D·邦德 , 布兰登·露西亚 :
Peacenik:在故障停止内存一致性下不发生故障的体系结构支持。 317-333 马达瓦·克里希南·拉马纳桑 , 金在浩 , 阿吉特·马修 , 辛威福(Xinwei Fu) , 安东尼·德梅里 , 昌宇敏 , 苏达顺·坎南 :
持久的事务性内存可以随Timestone扩展。 335至349 索蒂里斯·阿波斯托拉基斯 , 徐紫阳 , 格雷格·陈 , 西蒙·坎帕诺尼 , 戴维·奥古斯特 :
透视:投机性自动并行的合理方法。 351-367
第5A节: 深度学习框架-分层ML蛋糕。
宣扬 , 高明宇 , 刘巧怡 , 杰夫·塞特 , 景浦 , 安基塔·纳亚克 , 斯蒂文·贝尔 , 曹凯迪 , Heonjae哈 , 普里扬卡·雷纳 , 克里斯托斯·科兹拉基斯 , 马克·霍洛维茨 :
星际:使用Halide的调度语言分析DNN加速器。 369-383年 星虎 , 凌亮 , 李双晨 , 雷登 , 左鹏飞 , 虞姬 , 谢新峰 , 丁玉飞 , 刘畅(Chang Liu) , 蒂莫西·舍伍德 , 袁燮 :
DeepSniffer:一个基于学习体系结构提示的DNN模型提取框架。 385-399 秦一洛 , Jiao He公司 , 卓有为 , 钱学海 :
布拉格:高性能异构异步分散训练。 401-416
第5B部分: 异国情调的建筑——让建筑保持怪异!
埃利奥特·洛克曼 , 阿克塞尔·费尔德曼 , 穆罕默德·巴赫沙利波尔 , 亚历山大·斯坦内斯库 , 沙什瓦特·古普塔 , 丹尼尔·桑切斯 , 内森·贝克曼 :
Livia:整个内存层次的数据中心计算。 417-433 乔治·齐姆普拉戈斯 , 迪利普·瓦苏德万 , 内斯塔·齐斯卡里泽 , 乔治·米歇洛吉安纳基斯 , Advait Madhavan公司 , 詹妮弗·沃尔克 , 约翰·沙尔夫 , 蒂莫西·舍伍德 :
超导加速器的计算时间逻辑。 435-448年 Min东月 , 伊尔昆·拜恩 , 李久铉 , Seongmin Na公司 , 金章武 :
CryoCache:用于低温计算的快速、大型且经济高效的缓存体系结构。 449-464
主旨2: 高能物理实验的当前和预计需求(特别关注CERN LHC)
托马索·博卡利 :
高能物理实验的当前和预计需求(特别关注欧洲核子研究中心大型强子对撞机)。 465
第6A部分: 数据中心/云电源/性能-管理野兽。
董都 , 天一余 , 夏玉斌 , 藏彬宇 , Guanglu Yan公司 , 秦成钢 , 吴奇轩 , 陈海波 :
催化剂:通过无初始化引导实现无服务器计算的亚毫秒启动。 467-481 张贤涛 , 小郑 , 王志 , 杭阳 , 沈宜宾 , 新龙 :
高密度多租户裸金属云。 483-495 瓦伦·萨卡尔卡 , Vasileios Kontorinis公司 , 大卫·兰德休斯 , 李少红 , 达伦·德隆德 , 托马斯·布鲁明 , 阿南德·拉梅什 , 甘雅各 , 克里斯托弗·马隆 , 吉米·克利达拉斯 , 帕塔萨拉西·兰加纳坦 :
使用中压电源平面和优先级感知封顶的数据中心电源超额订购。 497-511
第6B部分: 记忆行为-我把它放在哪里了?
格兰特·艾尔斯 , 海纳·利茨 , 克里斯托斯·科兹拉基斯 , 帕塔萨拉西·兰加纳坦 :
为预取分类内存访问模式。 513-526 阿明·加塞马扎尔 , 普拉珊·奈尔 , Mieszko Lis公司 :
同义词库:通过动态集群实现高效缓存压缩。 527-540 马丁·马斯 , 大卫·安徒生 , 迈克尔·伊萨德 , 穆罕默德·马赫迪·贾马德 , 凯瑟琳·S·麦金利 , 科林·拉斐尔 :
C++服务器工作负载的基于学习的内存分配。 541至556
第7A课时: 虚拟化环境—服用蓝色药丸。
Jin Tack Lim公司 , 杰森·聂 :
使用直接虚拟硬件优化嵌套虚拟化性能。 557-574 Konstantinos Tovletoglou公司 , 列夫·穆哈诺夫 , 迪米特里奥斯·尼科洛普洛斯 , 乔治奥斯·卡拉康斯坦蒂斯 :
危害:虚拟服务器上的异构可靠性内存和QoS-Aware能源管理。 575-590 李怀成 , 明哲豪 , 斯坦科·诺瓦科维奇 , 瓦比哈夫·戈特 , 斯里拉姆·戈文丹 , 丹·R·K·波特 , 艾琳·张 , 里卡多·比安奇尼 , 哈里亚迪·S·古纳维 , 阿尼鲁德·巴达姆 :
LeapIO:ARM SoC上高效且可移植的虚拟NVMe存储。 591-605
第7B部分: 流计算模型-在流中!
邱俊桥 , 林江 , Zhijia Zhao(赵志佳) :
通过按位推测原理挑战顺序比特流处理。 607-621 卡森·哈内尔 , 阿里夫·阿尔曼 , 迪肖 , 约翰·基奇 , 德米特里·洛吉诺夫 :
Vortex:数据密集型流媒体应用的极致性能内存抽象。 623-638 唐建思 , 帕特·汉拉罕 , 马泰扎哈里亚 :
Fleet:FPGA上大规模并行流的框架。 639-651
第8A部分: 投机与安全——危机后的生活。
克里斯蒂安·德洛齐尔 , Kavya Lakshminarayanan公司 , 吉尔斯·波卡姆 , 约瑟夫·迪维蒂 :
跨栏:保护跳跃指令免受代码重用攻击。 653-666 张涛(Tao Zhang) , 肯尼思·科尔特曼 , 德米特里·埃夫图希金 :
探索构建瞬态执行特洛伊木马的分支预测器。 667-682 邓树文 , 熊文杰 , 雅库布·谢弗 :
用于评估缓存对定时攻击的脆弱性的基准套件。 683-697
第8B部分: 评估技术-加速加速器的采用。
乔纳森·巴尔金德 , 凯蒂·林 , 迈克尔·沙夫纳 , 费高 , 格里戈里·契科夫 , 李安(Ang Li) , 阿列克谢·拉夫罗夫 , Tri M.Nguyen先生 , 傅耀胜 , 弗洛里安·扎鲁巴 , 库纳尔·古拉蒂 , 卢卡·贝尼尼 , 大卫·温茨拉夫 :
BYOC:异构ISA研究的“自带核心”框架。 699-714 萨加尔·卡兰迪卡尔 , 阿尔伯特·J·欧 , 阿隆·阿米德 , 霍华德·毛 , 兰迪·H·卡茨 , 鲍里沃耶·尼科利奇 , 克里斯特·阿萨诺维奇 :
FirePerf:FPGA加速的全系统硬件/软件性能分析和协同设计。 715-731 Akshitha Sriraman公司 , 阿布谢克·达诺蒂亚 :
加速器:了解超大规模数据中心管理费用的加速机会。 733-750
第9A部分: 持久数据结构-记住所有猫!
腾马 , 张明兴(Mingxing Zhang) , 康晨 , 卓松 , 吴永伟 , 钱学海 :
AsymmetricNVM:在非对称NVM体系结构上实现持久数据结构的有效框架。 757-773 斯瓦普尼·哈里亚 , 马克·D·希尔 , 迈克尔·斯威夫特 :
MOD:持久内存的最低顺序持久数据结构。 775-788 阿米尔·萨曼·梅马里普尔 , 约瑟夫·伊兹拉列维茨 , 史蒂文·斯旺森 :
Pronto:易失性数据结构的简单快速持久性。 789-806
会话9B: 虚拟加速-不要让它成为现实!
杭晨余 , 亚瑟·迈克纳·彼得斯 , 阿莫·阿克什塔拉 , 克里斯托弗·罗斯巴赫 :
AvA:加速加速器虚拟化。 807-825 马嘉诚 , 左歌非 , 凯文·洛林 , 小河城 , 刘延强 , Abel Mulugeta Eneyew公司 , 郑维琪 , 巴里斯·卡西奇 :
共享内存FPGA平台的虚拟机监控程序。 827-844 越查 , 李静(音译) :
在云中虚拟化FPGA。 845-858
第10A部分: 张量计算和数据编配-玩音乐椅!
尺寸Zheng , 云亮(Yun Liang) , Shuo Wang(王朔) , 陈仁泽 , Kaiwen盛 :
FlexTensor:异构系统上张量计算的自动调度探索和优化框架。 859-873 马克·希尔德布兰德 , 贾瓦德·汗 , 桑杰夫·特里卡 , Jason Lowe-Power公司 , 文卡特斯·阿凯拉 :
AutoTM:使用整数线性规划的异构存储系统中的自动张量移动。 875-890 宣鹏 , 宣化市 , 戴虎林 , 海金 , 马伟良 , 钱雄 , 范扬 , 钱学海 :
Capuchin:基于张量的GPU深度学习记忆管理。 891-905
第10B部分: 移动/间歇应用程序-关闭然后再打开?
魏牛 , 马小龙 , 盛林(Sheng Lin) , 王世浩 , 钱学海 , 薛琳 , 王延之 , 任斌 :
PatDNN:通过基于模式的权重修剪在移动设备上实现实时DNN执行。 907-922年 孟嘉怡 , Sibendu Paul公司 , Y.Charlie Hu(胡锦涛) :
Coterie:利用帧相似性在商品移动设备上实现高质量的多人虚拟现实。 923-937 布拉德利·丹比 , 布兰登·露西亚 :
轨道边缘计算:纳米卫星星座作为一种新的计算机系统。 939-954
第11A节: 奴隶制和记忆安全——谁来保护警卫?
沈友仁 , 田洪亮 , 于晨 , 康晨 , 王润记 , 易旭 , 夏玉斌 , 寿梦岩 :
Occlu:在Intel SGX的单个飞地中实现安全高效的多任务处理。 955-970 穆斯塔基穆尔·拉赫曼·坎代克 , 程跃强 , 王志 , 陶伟 :
COIN攻击:关于SGX中Enclave非信任接口的不安全性。 971-985 徐元超 , 严索林 , 沈喜鹏 :
MERR:通过有效减少内存暴露和随机化提高持久性内存对象的安全性。 987-1000
第11B节: 量子计算-谁说你不能一次看两个演讲?
普拉卡什·穆拉利 , 大卫·C·麦凯 , 玛格丽特·马尔托诺西 , 阿里·贾瓦迪·阿巴哈里 :
噪声中等规模量子计算机上串扰的软件缓解。 1001-1016 Ji Liu(刘吉) , 格雷戈里·伯德 , 周惠阳 :
量子计算中用于动态运行时断言的量子电路。 1017-1030 李古书 , 丁宇飞 , 袁燮 :
高效超导量子处理器体系结构设计。 1031-1045
第12A部分: 存储-缓存是答案,问题是什么?
孙殿森 , 柴云鹏 :
SAC:一种用于新兴的基于SMR的高密度磁盘的协同设计缓存算法。 1047-1061 Wonil Choi先生 , Bhuvan Urgaonkar公司 , 马赫穆特·坎德米尔 , Myoungsoo Jung先生 , 大卫·埃文斯 :
整合闪存缓存的公平写入属性和分配。 1063-1076 陈友敏 , 陆友友 , 范扬 , 王庆(音) , 杨旺(Yang Wang) , 《纪武书》 :
FlatStore:一种高效的持久内存日志结构键值存储引擎。 1077-1091
第12B部分: 内存管理-我忘了。
迪米特里奥斯·斯卡拉托斯 , 阿波斯托洛斯·科科利斯 , 徐天音 , 约塞普·托雷拉斯 :
弹性杜鹃页面表:重新思考虚拟内存翻译的并行性。 1093-1108 Bongjoon Hyun先生 , 权永根 , Yujeong Choi先生 , 约翰·金 , 明秀·鲁 :
NeuMMU:神经处理单元中高效地址转换的体系结构支持。 1109-1124 蔡波安(Po-An Tsai) , 安德烈斯·桑切斯 , 克里斯托弗·弗莱彻 , 丹尼尔·桑切斯 :
窃贼:通过压缩缓存泄露秘密。 1125-1140
第13A部分: 持久性和正确性-或者。。。 持久正确性?
鑫浩源 , 杨俊峰 :
分布式系统的有效并发测试。 1141-1156 米查利斯·科科洛吉安纳基斯 , 维克托·瓦菲亚迪斯 :
HMC:硬件内存模型的模型检查。 1157-1171 马赫什·达南贾亚 , Gavrielatos瓦西里斯氏杆菌 , 阿尔皮特·乔希 , 维杰·纳加拉扬 :
延迟发布持久性。 1173-1186年 刘思航(Sihang Liu) , Korakit Seemakhupt公司 , 宜州卫 , 托马斯·韦尼施 , 阿希什·科利 , 萨米拉·马纳比汗 :
持久内存程序中的交叉故障错误检测。 1187-1202
第13B部分: 加速器-手拉手!
阿拉什·普尔哈比比·扎兰迪 , 悉达哈斯·古普塔 , 侯赛因·卡西尔 , 马克·萨瑟兰 , 田子璐 , 马里奥·保罗·德拉蒙德 , 巴巴克·法尔萨菲 , 克里斯托夫·科赫 :
擎天柱:加速服务器中的数据转换。 1203-1216 奥伦·卡林斯基 , 本尼·基梅尔菲尔德 , 尤夫·埃松(Yoav Etsion) :
TrieJax体系结构:通过关系连接加速图形操作。 1217-1231 Jun Heo先生 , Jaeyeon Won公司 , Yejin Lee公司 , 希瓦姆·巴鲁卡 , Jaeyoung Jang先生 , 泰俊火腿 , Jae W.Lee(李在伟) :
IIU:反向索引搜索的专用架构。 1233-1245 马琳·阿贝代拉 , 丹尼尔·桑切斯 :
计时:加速器的高效推测并行性。 1247-1262
第14A部分: 安全性高,性能损失小-速度快,速度快!
潘章 , 宋成玉 , 恒音 , 邹德清 , 伊莱恩·施 , 海金 :
Klotski:针对受控通道攻击的高效模糊执行。 1263年-1276年 萨姆·安斯沃思 , 蒂莫西·琼斯 :
监护委员会:并行可编程硬件安全。 1277-1293 M.Sadegh Riazi先生 , 金·莱恩 , 布莱克·佩尔顿 , 魏代 :
HEAX:加密数据计算架构。 1295-1309 Myungsuk Kim(金明硕) , Jisung公园 , 赵根熙 , 尤娜·金 , 路易斯·奥罗萨 , Onur Mutlu公司 , 金继红(Jihong Kim) :
Evanesco:为现代基于闪存的存储系统中的高效数据Sanitization提供体系结构支持。 1311-1326
第14B部分: SIMT-这么多指令,多技巧!
Tsung Tai Yeh(宗大业) , 罗兰·N·格林 , 蒂莫西·罗杰斯 :
维度感知冗余SIMT指令消除。 1327-1340 黄建钦 , 顾进 , 李金阳 :
SwapAdvisor:通过智能交换推动深度学习超越GPU内存限制。 1341-1355 金孝忠 , Jaewoong Sim先生 , Prasun Gera公司 , 拉米亚德·哈迪迪 , 金贤森 :
用于不规则工作负载的GPU中的Batch-Aware统一内存管理。 1357-1370 夏照 , 马格努斯·贾勒 , Lieven Eeckhout公司 :
HSM:多任务GPU的混合减速模型。 1371-1385
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)