


default search action
ASPLOS 2020: Lausanne, Switzerland
- James R. Larus, Luis Ceze, Karin Strauss:

ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, March 16-20, 2020. ACM 2020, ISBN 978-1-4503-7102-5ASPLOS 2020 was canceled because of COVID-19.
Keynote 1: Big Data of the Past, from Venice to Europe.
- Frédéric Kaplan:

Big Data of the Past, from Venice to Europe. 1
Session 1A: Privacy and security in machine learning - In ML we trust???
- Fatemehsadat Mireshghallah, Mohammadkazem Taram, Prakash Ramrakhyani, Ali Jalali, Dean M. Tullsen

, Hadi Esmaeilzadeh
:
Shredder: Learning Noise Distributions to Protect Inference Privacy. 3-18 - Xingbin Wang

, Rui Hou, Boyan Zhao, Fengkai Yuan, Jun Zhang, Dan Meng, Xuehai Qian:
DNNGuard: An Elastic Heterogeneous DNN Accelerator Architecture against Adversarial Attacks. 19-34 - Jose Rodrigo Sanchez Vicarte

, Benjamin Schreiber, Riccardo Paccagnella, Christopher W. Fletcher:
Game of Threads: Enabling Asynchronous Poisoning Attacks. 35-52
Session 1B: Edge/intermittent computing support - Life is too short!
- Jasper de Winkel

, Carlo Delle Donne, Kasim Sinan Yildirim
, Przemyslaw Pawelczak, Josiah D. Hester
:
Reliable Timekeeping for Intermittent Computing. 53-67 - Harrison Williams, Xun Jian

, Matthew Hicks:
Forget Failure: Exploiting SRAM Data Remanence for Low-overhead Intermittent Computation. 69-84 - Vito Kortbeek, Kasim Sinan Yildirim

, Abu Bakar, Jacob Sorber
, Josiah D. Hester
, Przemyslaw Pawelczak:
Time-sensitive Intermittent Computing Meets Legacy Software. 85-99
Session 2A: Smart peripherals - Outside the box.
- Igor Smolyar, Alex Markuze, Boris Pismenny

, Haggai Eran
, Gerd Zellweger, Austin Bolen, Liran Liss, Adam Morrison, Dan Tsafrir:
IOctopus: Outsmarting Nonuniform DMA. 101-115 - Maroun Tork, Lina Maudlej, Mark Silberstein:

Lynx: A SmartNIC-driven Accelerator-centric Architecture for Network Servers. 117-131
Session 2B: Dynamic compilation - Who moved my cheese?
- David Williams-King, Hidenori Kobayashi, Kent Williams-King

, Graham Patterson, Frank Spano, Yu Jian Wu, Junfeng Yang, Vasileios P. Kemerlis
:
Egalito: Layout-Agnostic Binary Recompilation. 133-147 - Sara Achour

, Martin C. Rinard:
Noise-Aware Dynamical System Compilation for Analog Devices with Legno. 149-166
Session 3A: ACID - Trippy!
- Omar S. Navarro Leija, Kelly Shiptoski, Ryan G. Scott, Baojun Wang, Nicholas Renner, Ryan R. Newton, Joseph Devietti

:
Reproducible Containers. 167-182 - Umang Mathur

, Mahesh Viswanathan:
Atomicity Checking in Linear Time using Vector Clocks. 183-199 - Antonios Katsarakis, Vasilis Gavrielatos, M. R. Siavash Katebzadeh, Arpit Joshi, Aleksandar Dragojevic, Boris Grot

, Vijay Nagarajan
:
Hermes: A Fast, Fault-Tolerant and Linearizable Replication Protocol. 201-217
Session 3B: Automata - Hopping around the states.
- Elaheh Sadredini

, Reza Rahimi, Marzieh Lenjani, Mircea Stan
, Kevin Skadron
:
FlexAmata: A Universal and Efficient Adaption of Applications to Spatial Automata Processing Accelerators. 219-234 - Kevin Angstadt

, Jean-Baptiste Jeannin, Westley Weimer:
Accelerating Legacy String Kernels via Bounded Automata Learning. 235-249 - Hongyuan Liu

, Sreepathi Pai
, Adwait Jog:
Why GPUs are Slow at Executing NFAs and How to Make them Faster. 251-265
Session 4A: Huge memories and distributed databases - Now I remember!
- Mark Mansi, Michael M. Swift:

∅sim: Preparing System Software for a World with Terabyte-scale Memories. 267-282 - Reto Achermann, Ashish Panwar, Abhishek Bhattacharjee

, Timothy Roscoe, Jayneel Gandhi
:
Mitosis: Transparently Self-Replicating Page-Tables for Large-Memory Machines. 283-300 - Laurent Bindschaedler

, Ashvin Goel, Willy Zwaenepoel:
Hailstorm: Disaggregated Compute and Storage for Distributed LSM-based Databases. 301-316
Session 4B: Speculation and consistency - Brain teasers.
- Rui Zhang, Swarnendu Biswas, Vignesh Balaji

, Michael D. Bond
, Brandon Lucia:
Peacenik: Architecture Support for Not Failing under Fail-Stop Memory Consistency. 317-333 - Madhava Krishnan Ramanathan

, Jaeho Kim, Ajit Mathew
, Xinwei Fu, Anthony Demeri, Changwoo Min, Sudarsun Kannan
:
Durable Transactional Memory Can Scale with Timestone. 335-349 - Sotiris Apostolakis, Ziyang Xu

, Greg Chan, Simone Campanoni, David I. August:
Perspective: A Sensible Approach to Speculative Automatic Parallelization. 351-367
Session 5A: Frameworks for deep learning - Layering the ML cake.
- Xuan Yang, Mingyu Gao, Qiaoyi Liu

, Jeff Setter, Jing Pu, Ankita Nayak, Steven Bell, Kaidi Cao, Heonjae Ha, Priyanka Raina, Christos Kozyrakis, Mark Horowitz:
Interstellar: Using Halide's Scheduling Language to Analyze DNN Accelerators. 369-383 - Xing Hu, Ling Liang, Shuangchen Li, Lei Deng

, Pengfei Zuo
, Yu Ji, Xinfeng Xie, Yufei Ding, Chang Liu, Timothy Sherwood
, Yuan Xie:
DeepSniffer: A DNN Model Extraction Framework Based on Learning Architectural Hints. 385-399 - Qinyi Luo, Jiaao He

, Youwei Zhuo, Xuehai Qian:
Prague: High-Performance Heterogeneity-Aware Asynchronous Decentralized Training. 401-416
Session 5B: Exotic architectures - Keep architecture weird!
- Elliot Lockerman, Axel Feldmann, Mohammad Bakhshalipour, Alexandru Stanescu, Shashwat Gupta, Daniel Sánchez, Nathan Beckmann:

Livia: Data-Centric Computing Throughout the Memory Hierarchy. 417-433 - Georgios Tzimpragos

, Dilip Vasudevan
, Nestan Tsiskaridze, George Michelogiannakis
, Advait Madhavan, Jennifer Volk, John Shalf
, Timothy Sherwood
:
A Computational Temporal Logic for Superconducting Accelerators. 435-448 - Dongmoon Min, Ilkwon Byun

, Gyu-hyeon Lee, Seongmin Na, Jangwoo Kim:
CryoCache: A Fast, Large, and Cost-Effective Cache Architecture for Cryogenic Computing. 449-464
Keynote 2: Current and projected needs for High Energy Physics Experiments (with a particular eye on CERN LHC)
- Tommaso Boccali:

Current and Projected Needs for High Energy Physics Experiments (with a Particular Eye on CERN LHC). 465
Session 6A: Datacenter/cloud power/performance - Managing the beast.
- Dong Du

, Tianyi Yu, Yubin Xia, Binyu Zang, Guanglu Yan, Chenggang Qin, Qixuan Wu, Haibo Chen:
Catalyzer: Sub-millisecond Startup for Serverless Computing with Initialization-less Booting. 467-481 - Xiantao Zhang, Xiao Zheng, Zhi Wang, Hang Yang, Yibin Shen

, Xin Long:
High-density Multi-tenant Bare-metal Cloud. 483-495 - Varun Sakalkar, Vasileios Kontorinis, David Landhuis, Shaohong Li, Darren De Ronde, Thomas Blooming, Anand Ramesh, James Kennedy, Christopher Malone, Jimmy Clidaras, Parthasarathy Ranganathan:

Data Center Power Oversubscription with a Medium Voltage Power Plane and Priority-Aware Capping. 497-511
Session 6B: Memory behavior - Where did I put it?
- Grant Ayers, Heiner Litz, Christos Kozyrakis, Parthasarathy Ranganathan:

Classifying Memory Access Patterns for Prefetching. 513-526 - Amin Ghasemazar, Prashant J. Nair, Mieszko Lis:

Thesaurus: Efficient Cache Compression via Dynamic Clustering. 527-540 - Martin Maas, David G. Andersen, Michael Isard, Mohammad Mahdi Javanmard, Kathryn S. McKinley, Colin Raffel:

Learning-based Memory Allocation for C++ Server Workloads. 541-556
Session 7A: Virtualized environments - Take the blue pill.
- Jin Tack Lim, Jason Nieh:

Optimizing Nested Virtualization Performance Using Direct Virtual Hardware. 557-574 - Konstantinos Tovletoglou

, Lev Mukhanov, Dimitrios S. Nikolopoulos, Georgios Karakonstantis:
HaRMony: Heterogeneous-Reliability Memory and QoS-Aware Energy Management on Virtualized Servers. 575-590 - Huaicheng Li, Mingzhe Hao, Stanko Novakovic, Vaibhav Gogte, Sriram Govindan, Dan R. K. Ports, Irene Zhang, Ricardo Bianchini, Haryadi S. Gunawi, Anirudh Badam:

LeapIO: Efficient and Portable Virtual NVMe Storage on ARM SoCs. 591-605
Session 7B: Streaming computational models - In the flow!
- Junqiao Qiu

, Lin Jiang, Zhijia Zhao:
Challenging Sequential Bitstream Processing via Principled Bitwise Speculation. 607-621 - Carson Hanel, Arif Arman, Di Xiao, John Keech, Dmitri Loguinov:

Vortex: Extreme-Performance Memory Abstractions for Data-Intensive Streaming Applications. 623-638 - James Thomas, Pat Hanrahan, Matei Zaharia

:
Fleet: A Framework for Massively Parallel Streaming on FPGAs. 639-651
Session 8A: Speculation and security - Life after meltdown.
- Christian DeLozier

, Kavya Lakshminarayanan, Gilles Pokam, Joseph Devietti
:
Hurdle: Securing Jump Instructions Against Code Reuse Attacks. 653-666 - Tao Zhang, Kenneth Koltermann, Dmitry Evtyushkin:

Exploring Branch Predictors for Constructing Transient Execution Trojans. 667-682 - Shuwen Deng, Wenjie Xiong

, Jakub Szefer:
A Benchmark Suite for Evaluating Caches' Vulnerability to Timing Attacks. 683-697
Session 8B: Evaluation techniques - Accelerating accelerator adoption.
- Jonathan Balkind, Katie Lim, Michael Schaffner, Fei Gao, Grigory Chirkov

, Ang Li
, Alexey Lavrov, Tri M. Nguyen, Yaosheng Fu, Florian Zaruba, Kunal Gulati, Luca Benini, David Wentzlaff:
BYOC: A "Bring Your Own Core" Framework for Heterogeneous-ISA Research. 699-714 - Sagar Karandikar, Albert J. Ou, Alon Amid

, Howard Mao, Randy H. Katz, Borivoje Nikolic
, Krste Asanovic:
FirePerf: FPGA-Accelerated Full-System Hardware/Software Performance Profiling and Co-Design. 715-731 - Akshitha Sriraman, Abhishek Dhanotia:

Accelerometer: Understanding Acceleration Opportunities for Data Center Overheads at Hyperscale. 733-750
Session 9A: Persistent data structures - Keep all cats in mind!
- Teng Ma

, Mingxing Zhang, Kang Chen, Zhuo Song, Yongwei Wu, Xuehai Qian:
AsymNVM: An Efficient Framework for Implementing Persistent Data Structures on Asymmetric NVM Architecture. 757-773 - Swapnil Haria, Mark D. Hill, Michael M. Swift:

MOD: Minimally Ordered Durable Datastructures for Persistent Memory. 775-788 - Amir Saman Memaripour, Joseph Izraelevitz, Steven Swanson

:
Pronto: Easy and Fast Persistence for Volatile Data Structures. 789-806
Session 9B: Virtualized acceleration - Don't keep it real!
- Hangchen Yu

, Arthur Michener Peters
, Amogh Akshintala, Christopher J. Rossbach
:
AvA: Accelerated Virtualization of Accelerators. 807-825 - Jiacheng Ma, Gefei Zuo

, Kevin Loughlin, Xiaohe Cheng, Yanqiang Liu, Abel Mulugeta Eneyew, Zhengwei Qi, Baris Kasikci
:
A Hypervisor for Shared-Memory FPGA Platforms. 827-844 - Yue Zha, Jing Li:

Virtualizing FPGAs in the Cloud. 845-858
Session 10A: Tensor computation and data orchestration - Playing musical chairs!
- Size Zheng, Yun Liang, Shuo Wang, Renze Chen, Kaiwen Sheng

:
FlexTensor: An Automatic Schedule Exploration and Optimization Framework for Tensor Computation on Heterogeneous System. 859-873 - Mark Hildebrand, Jawad Khan, Sanjeev Trika, Jason Lowe-Power

, Venkatesh Akella:
AutoTM: Automatic Tensor Movement in Heterogeneous Memory Systems using Integer Linear Programming. 875-890 - Xuan Peng

, Xuanhua Shi, Hulin Dai, Hai Jin, Weiliang Ma, Qian Xiong, Fan Yang, Xuehai Qian:
Capuchin: Tensor-based GPU Memory Management for Deep Learning. 891-905
Session 10B: Mobile/intermittent applications - Off and on again?
- Wei Niu

, Xiaolong Ma, Sheng Lin, Shihao Wang, Xuehai Qian, Xue Lin, Yanzhi Wang, Bin Ren:
PatDNN: Achieving Real-Time DNN Execution on Mobile Devices with Pattern-based Weight Pruning. 907-922 - Jiayi Meng, Sibendu Paul

, Y. Charlie Hu:
Coterie: Exploiting Frame Similarity to Enable High-Quality Multiplayer VR on Commodity Mobile Devices. 923-937 - Bradley Denby, Brandon Lucia:

Orbital Edge Computing: Nanosatellite Constellations as a New Class of Computer System. 939-954
Session 11A: Enclaves and memory security - Who will guard the guards?
- Youren Shen, Hongliang Tian, Yu Chen, Kang Chen, Runji Wang, Yi Xu, Yubin Xia, Shoumeng Yan

:
Occlum: Secure and Efficient Multitasking Inside a Single Enclave of Intel SGX. 955-970 - Mustakimur Rahman Khandaker

, Yueqiang Cheng, Zhi Wang, Tao Wei:
COIN Attacks: On Insecurity of Enclave Untrusted Interfaces in SGX. 971-985 - Yuanchao Xu

, Yan Solihin, Xipeng Shen
:
MERR: Improving Security of Persistent Memory Objects via Efficient Memory Exposure Reduction and Randomization. 987-1000
Session 11B: Quantum computing - Who says you can't watch two talks at once?
- Prakash Murali, David C. McKay, Margaret Martonosi, Ali Javadi-Abhari:

Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers. 1001-1016 - Ji Liu

, Gregory T. Byrd
, Huiyang Zhou
:
Quantum Circuits for Dynamic Runtime Assertions in Quantum Computation. 1017-1030 - Gushu Li

, Yufei Ding, Yuan Xie:
Towards Efficient Superconducting Quantum Processor Architecture Design. 1031-1045
Session 12A: Storage - Cache is the answer, what is the question?
- Diansen Sun, Yunpeng Chai:

SAC: A Co-Design Cache Algorithm for Emerging SMR-based High-Density Disks. 1047-1061 - Wonil Choi, Bhuvan Urgaonkar, Mahmut T. Kandemir, Myoungsoo Jung, David Evans:

Fair Write Attribution and Allocation for Consolidated Flash Cache. 1063-1076 - Youmin Chen, Youyou Lu, Fan Yang, Qing Wang

, Yang Wang, Jiwu Shu:
FlatStore: An Efficient Log-Structured Key-Value Storage Engine for Persistent Memory. 1077-1091
Session 12B: Memory management - I forgot.
- Dimitrios Skarlatos, Apostolos Kokolis

, Tianyin Xu, Josep Torrellas:
Elastic Cuckoo Page Tables: Rethinking Virtual Memory Translation for Parallelism. 1093-1108 - Bongjoon Hyun, Youngeun Kwon, Yujeong Choi, John Kim

, Minsoo Rhu:
NeuMMU: Architectural Support for Efficient Address Translations in Neural Processing Units. 1109-1124 - Po-An Tsai, Andrés Sánchez

, Christopher W. Fletcher, Daniel Sánchez:
Safecracker: Leaking Secrets through Compressed Caches. 1125-1140
Session 13A: Persistence and correctness - Or... persistent correctness?
- Xinhao Yuan, Junfeng Yang:

Effective Concurrency Testing for Distributed Systems. 1141-1156 - Michalis Kokologiannakis, Viktor Vafeiadis

:
HMC: Model Checking for Hardware Memory Models. 1157-1171 - Mahesh Dananjaya, Vasilis Gavrielatos, Arpit Joshi, Vijay Nagarajan

:
Lazy Release Persistency. 1173-1186 - Sihang Liu

, Korakit Seemakhupt, Yizhou Wei, Thomas F. Wenisch, Aasheesh Kolli, Samira Manabi Khan:
Cross-Failure Bug Detection in Persistent Memory Programs. 1187-1202
Session 13B: Accelerators - Holding hands!
- Arash Pourhabibi Zarandi

, Siddharth Gupta
, Hussein Kassir, Mark Sutherland, Zilu Tian, Mario Paulo Drumond, Babak Falsafi, Christoph Koch:
Optimus Prime: Accelerating Data Transformation in Servers. 1203-1216 - Oren Kalinsky, Benny Kimelfeld, Yoav Etsion

:
The TrieJax Architecture: Accelerating Graph Operations Through Relational Joins. 1217-1231 - Jun Heo, Jaeyeon Won, Yejin Lee, Shivam Bharuka, Jaeyoung Jang, Tae Jun Ham, Jae W. Lee:

IIU: Specialized Architecture for Inverted Index Search. 1233-1245 - Maleen Abeydeera, Daniel Sánchez:

Chronos: Efficient Speculative Parallelism for Accelerators. 1247-1262
Session 14A: Security with little performance loss - Fast and furious!
- Pan Zhang, Chengyu Song

, Heng Yin
, Deqing Zou, Elaine Shi, Hai Jin:
Klotski: Efficient Obfuscated Execution against Controlled-Channel Attacks. 1263-1276 - Sam Ainsworth

, Timothy M. Jones:
The Guardian Council: Parallel Programmable Hardware Security. 1277-1293 - M. Sadegh Riazi, Kim Laine, Blake Pelton, Wei Dai

:
HEAX: An Architecture for Computing on Encrypted Data. 1295-1309 - Myungsuk Kim, Jisung Park

, Genhee Cho, Yoona Kim
, Lois Orosa
, Onur Mutlu
, Jihong Kim:
Evanesco: Architectural Support for Efficient Data Sanitization in Modern Flash-Based Storage Systems. 1311-1326
Session 14B: SIMT - So many instructions, multiple tricks!
- Tsung Tai Yeh, Roland N. Green, Timothy G. Rogers

:
Dimensionality-Aware Redundant SIMT Instruction Elimination. 1327-1340 - Chien-Chin Huang, Gu Jin, Jinyang Li:

SwapAdvisor: Pushing Deep Learning Beyond the GPU Memory Limit via Smart Swapping. 1341-1355 - Hyojong Kim, Jaewoong Sim, Prasun Gera, Ramyad Hadidi, Hyesoon Kim:

Batch-Aware Unified Memory Management in GPUs for Irregular Workloads. 1357-1370 - Xia Zhao, Magnus Jahre

, Lieven Eeckhout:
HSM: A Hybrid Slowdown Model for Multitasking GPUs. 1371-1385

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














