ASPLOS 2022 – Proceedings

DOTA: Detect and Omit Weak Attentions for Scalable Transformer Acceleration
Zheng Qu, Liu Liu, Fengbin Tu, Zhaodong Chen, Yufei Ding, and Yuan Xie
(University of California at Santa Barbara, USA)

A Full-Stack Search Technique for Domain Optimized Deep Learning Accelerators
Dan Zhang, Safeen Huda, Ebrahim Songhori, Kartik Prabhu, Quoc Le, Anna Goldie, and Azalia Mirhoseini
(Google Brain, USA; Google, USA; Stanford University, USA)

FINGERS: Exploiting Fine-Grained Parallelism in Graph Mining Accelerators
Qihang Chen, Boyu Tian, and Mingyu Gao
(Tsinghua University, China)

BiSon-e: A Lightweight and High-Performance Accelerator for Narrow Integer Linear Algebra Computing on the Edge
Enrico Reggiani, Cristóbal Ramírez Lazo, Roger Figueras Bagué, Adrián Cristal, Mauro Olivieri, and Osman Sabri Unsal
(Polytechnic University of Catalonia, Spain; Barcelona Supercomputing Center, Spain; Sapienza University of Rome, Italy)

Session 1B: Address and Memory

Software-Defined Address Mapping: A Case on 3D Memory
Jialiang Zhang, Michael Swift, and Jing (Jane) Li
(University of Pennsylvania, USA; University of Wisconsin-Madison, USA)

Parallel Virtualized Memory Translation with Nested Elastic Cuckoo Page Tables
Jovan Stojkovic, Dimitrios Skarlatos, Apostolos Kokolis, Tianyin Xu, and Josep Torrellas
(University of Illinois at Urbana-Champaign, USA; Carnegie Mellon University, USA)

CARAT CAKE: Replacing Paging via Compiler/Kernel Cooperation
Brian Suchy, Souradip Ghosh, Drew Kersnar, Siyuan Chai, Zhen Huang, Aaron Nelson, Michael Cuevas, Alex Bernat, Gaurav Chaudhary, Nikos Hardavellas, Simone Campanoni, and Peter Dinda
(Northwestern University, USA)

NVAlloc: Rethinking Heap Metadata Management in Persistent Memory Allocators
Zheng Dang, Shuibing He, Peiyi Hong, Zhenxin Li, Xuechen Zhang, Xian-He Sun, and Gang Chen
(Zhejiang University, China; Washington State University, USA; Illinois Institute of Technology, USA)

Every Walk’s a Hit: Making Page Walks Single-Access Cache Hits
Chang Hyun Park, Ilias Vougioukas, Andreas Sandberg, and David Black-Schaffer
(Uppsala University, Sweden; Arm Research, UK)

Session 2A: GPU and Data Analytics

GPM: Leveraging Persistent Memory from a GPU
Shweta Pandey, Aditya K Kamath, and Arkaprava Basu
(IISc Bangalore, India)

GPUReplay: A 50-KB GPU Stack for Client ML
Heejin Park and Felix Xiaozhu Lin
(Purdue University, USA; University of Virginia, USA)

ValueExpert: Exploring Value Patterns in GPU-Accelerated Applications
Keren Zhou, Yueming Hao, John Mellor-Crummey, Xiaozhu Meng, and Xu Liu
(Rice University, USA; North Carolina State University, USA)

SparseCore: Stream ISA and Processor Specialization for Sparse Computation
Gengyu Rao, Jingji Chen, Jason Yik, and Xuehai Qian
(University of Southern California, USA)

JSONSki: Streaming Semi-structured Data with Bit-Parallel Fast-Forwarding
Lin Jiang and Zhijia Zhao
(University of California at Riverside, USA)

Session 2B: Privacy and Software Security

MineSweeper: A “Clean Sweep” for Drop-In Use-after-Free Prevention
Márton Erdős, Sam Ainsworth, and Timothy M. Jones
(University of Cambridge, UK; University of Edinburgh, UK)

Revizor: Testing Black-Box CPUs against Speculation Contracts
Oleksii Oleksenko, Christof Fetzer, Boris Köpf, and Mark Silberstein
(TU Dresden, Germany; Microsoft Research, UK; Technion, Israel)

Protecting Adaptive Sampling from Information Leakage on Low-Power Sensors
Tejas Kannan and Henry Hoffmann
(University of Chicago, USA)

One Size Does Not Fit All: Security Hardening of MIPS Embedded Systems via Static Binary Debloating for Shared Libraries
Haotian Zhang, Mengfei Ren, Yu Lei, and Jiang Ming
(University of Texas at Arlington, USA)

ViK: Practical Mitigation of Temporal Memory Safety Violations through Object ID Inspection
Haehyun Cho, Jinbum Park, Adam Oest, Tiffany Bao, Ruoyu Wang, Yan Shoshitaishvili, Adam Doupé, and Gail-Joon Ahn
(Soongsil University, South Korea; Samsung Research, South Korea; PayPal, USA; Arizona State University, USA; Samsung Research, USA)

Session 3A: Hardware Security (1)

Eavesdropping User Credentials via GPU Side Channels on Smartphones
Boyuan Yang, Ruirong Chen, Kai Huang, Jun Yang, and Wei Gao
(University of Pittsburgh, USA)

Video

CRISP: Critical Slice Prefetching
Heiner Litz, Grant Ayers, and Parthasarathy Ranganathan
(University of California at Santa Cruz, USA; Google, USA)

Session 3B: Misc.

Pinned Loads: Taming Speculative Loads in Secure Processors
Zirui Neil Zhao, Houxiang Ji, Adam Morrison, Darko Marinov, and Josep Torrellas
(University of Illinois at Urbana-Champaign, USA; Tel Aviv University, Israel)

DAGguise: Mitigating Memory Timing Side Channels
Peter W. Deutsch, Yuheng Yang, Thomas Bourgeat, Jules Drean, Joel S. Emer, and Mengjia Yan
(Massachusetts Institute of Technology, USA; NVIDIA, USA)

Session 4A: Systems for Machine Learning

RecShard: Statistical Feature-Based Memory Optimization for Industry-Scale Neural Recommendation
Geet Sethi, Bilge Acun, Niket Agarwal, Christos Kozyrakis, Caroline Trippel, and Carole-Jean Wu
(Stanford University, USA; Meta, USA)

AStitch: Enabling a New Multi-dimensional Optimization Space for Memory-Intensive ML Training and Inference on Modern SIMT Architectures
Zhen Zheng, Xuanda Yang, Pengzhan Zhao, Guoping Long, Kai Zhu, Feiwen Zhu, Wenyi Zhao, Xiaoyong Liu, Jun Yang, Jidong Zhai, Shuaiwen Leon Song, and Wei Lin
(Alibaba Group, China; Tsinghua University, China; University of Sydney, Australia)

NASPipe: High Performance and Reproducible Pipeline Parallel Supernet Training via Causal Synchronous Parallelism
Shixiong Zhao, Fanxin Li, Xusheng Chen, Tianxiang Shen, Li Chen, Sen Wang, Nicholas Zhang, Cheng Li, and Heming Cui
(University of Hong Kong, China; Huawei Technologies, China; University of Science and Technology of China, China)

VELTAIR: Towards High-Performance Multi-tenant Deep Learning Services via Adaptive Compilation and Scheduling
Zihan Liu, Jingwen Leng, Zhihui Zhang, Quan Chen, Chao Li, and Minyi Guo
(Shanghai Jiao Tong University, China; Shanghai Qi Zhi Institute, China)

Breaking the Computation and Communication Abstraction Barrier in Distributed Machine Learning Workloads
Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed Maleki, Youshan Miao, Madanlal Musuvathi, Todd Mytkowicz, and Olli Saarikivi
(University of Massachusetts at Amherst, USA; Ohio State University, USA; Chinese Academy of Sciences, China; University of California at Riverside, USA; Microsoft Research, USA; Microsoft Research, China)

Session 4B: Operating System

Clio: A Hardware-Software Co-Designed Disaggregated Memory System
Zhiyuan Guo, Yizhou Shan, Xuhao Luo, Yutong Huang, and Yiying Zhang
(University of California at San Diego, USA)

Enzian: An Open, General, CPU/FPGA Platform for Systems Software Research
David Cock, Abishek Ramdas, Daniel Schwyn, Michael Giardino, Adam Turowski, Zhenhao He, Nora Hossle, Dario Korolija, Melissa Licciardello, Kristina Martsenko, Reto Achermann, Gustavo Alonso, and Timothy Roscoe
(ETH Zurich, Switzerland; University of British Columbia, Canada)

Efficient and Scalable Core Multiplexing with M³v
Nils Asmussen, Sebastian Haas, Carsten Weinhold, Till Miemietz, and Michael Roitzsch
(Barkhausen Institut, Germany)

FlexOS: Towards Flexible OS Isolation
Hugo Lefeuvre, Vlad-Andrei Bădoiu, Alexander Jung, Stefan Lucian Teodorescu, Sebastian Rauch, Felipe Huici, Costin Raiciu, and Pierre Olivier
(University of Manchester, UK; University Politehnica of Bucharest, Romania; Lancaster University, UK; unikraft.io, Germany; KIT, Germany; NEC Laboratories, Germany; Correct Networks, Romania)

Info

Adelie: Continuous Address Space Layout Re-randomization for Linux Drivers
Ruslan Nikolaev, Hassan Nadeem, Cathlyn Stone, and Binoy Ravindran
(Pennsylvania State University, USA; Virginia Tech, USA)

Info

Session 5A: Quantum Computing

Suppressing ZZ Crosstalk of Quantum Computers through Pulse and Scheduling Co-Optimization
Lei Xie, Jidong Zhai, ZhenXing Zhang, Jonathan Allcock, Shengyu Zhang, and Yi-Cong Zheng
(Tsinghua University, China; Tencent Quantum Laboratory, China)

QUEST: Systematically Approximating Quantum Circuits for Higher Output Fidelity
Tirthak Patel, Ed Younis, Costin Iancu, Wibe de Jong, and Devesh Tiwari
(Northeastern University, USA; Lawrence Berkeley National Laboratory, USA)

HAMMER: Boosting Fidelity of Noisy Quantum Circuits by Exploiting Hamming Behavior of Erroneous Outcomes
Swamit Tannu, Poulami Das, Ramin Ayanzadeh, and Moinuddin Qureshi
(University of Wisconsin-Madison, USA; Georgia Institute of Technology, USA)

LILLIPUT: A Lightweight Low-Latency Lookup-Table Decoder for Near-Term Quantum Error Correction
Poulami Das, Aditya Locharla, and Cody Jones
(Georgia Institute of Technology, USA; Google, USA)

Paulihedral: A Generalized Block-Wise Compiler Optimization Framework for Quantum Simulation Kernels
Gushu Li, Anbang Wu, Yunong Shi, Ali Javadi-Abhari, Yufei Ding, and Yuan Xie
(University of California at Santa Barbara, USA; Amazon, USA; IBM, USA)

Session 5B: Data Center and Cloud Services

Astraea: Towards QoS-Aware and Resource-Efficient Multi-stage GPU Services
Wei Zhang, Quan Chen, Kaihua Fu, Ningxin Zheng, Zhiyi Huang, Jingwen Leng, and Minyi Guo
(Shanghai Jiao Tong University, China; Microsoft Research, China; University of Otago, New Zealand)

Memory-Harvesting VMs in Cloud Platforms
Alexander Fuerst, Stanko Novaković, Íñigo Goiri, Gohar Irfan Chaudhry, Prateek Sharma, Kapil Arya, Kevin Broas, Eugene Bak, Mehmet Iyigun, and Ricardo Bianchini
(Indiana University, USA; Microsoft Research, USA; Microsoft Azure, USA)

IOCost: Block IO Control for Containers in Datacenters
Tejun Heo, Dan Schatzberg, Andrew Newell, Song Liu, Saravanan Dhakshinamurthy, Iyswarya Narayanan, Josef Bacik, Chris Mason, Chunqiang Tang, and Dimitrios Skarlatos
(Meta, USA; Carnegie Mellon University, USA)

TMO: Transparent Memory Offloading in Datacenters
Johannes Weiner, Niket Agarwal, Dan Schatzberg, Leon Yang, Hao Wang, Blaise Sanouillet, Bikash Sharma, Tejun Heo, Mayank Jain, Chunqiang Tang, and Dimitrios Skarlatos
(Meta, USA; Carnegie Mellon University, USA)

SOL: Safe On-Node Learning in Cloud Platforms
Yawen Wang, Daniel Crankshaw, Neeraja J. Yadwadkar, Daniel Berger, Christos Kozyrakis, and Ricardo Bianchini
(Stanford University, USA; Microsoft Research, USA; University of Texas at Austin, USA)

Session 6A: Accelerating Emerging Applications

GenStore: A High-Performance In-Storage Processing System for Genome Sequence Analysis
Nika Mansouri Ghiasi, Jisung Park, Harun Mustafa, Jeremie Kim, Ataberk Olgun, Arvid Gollwitzer, Damla Senol Cali, Can Firtina, Haiyu Mao, Nour Almadhoun Alserr, Rachata Ausavarungnirun, Nandita Vijaykumar, Mohammed Alser, and Onur Mutlu
(ETH Zurich, Switzerland; Bionano Genomics, USA; King Mongkut's University of Technology North Bangkok, Thailand; University of Toronto, Canada)

ProSE: The Architecture and Design of a Protein Discovery Engine
Eyes Robson, Ceyu Xu, and Lisa Wu Wills
(University of California at Berkeley, USA; Duke University, USA)

A One-for-All and O(V log(V ))-Cost Solution for Parallel Merge Style Operations on Sorted Key-Value Arrays
Bangyan Wang, Lei Deng, Fei Sun, Guohao Dai, Liu Liu, Yu Wang, and Yuan Xie
(University of California at Santa Barbara, USA; Tsinghua University, China; Alibaba DAMO Academy, China)

Client-Optimized Algorithms and Acceleration for Encrypted Compute Offloading
McKenzie van der Hagen and Brandon Lucia
(Carnegie Mellon University, USA)

Session 6B: Bugs (1)

Finding Missed Optimizations through the Lens of Dead Code Elimination
Theodoros Theodoridis, Manuel Rigger, and Zhendong Su
(ETH Zurich, Switzerland)

A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç, and Mahesh Viswanathan
(National University of Singapore, Singapore; Aarhus University, Denmark; University of Illinois at Urbana-Champaign, USA)

RSSD: Defend against Ransomware with Hardware-Isolated Network-Storage Codesign and Post-Attack Analysis
Benjamin Reidys, Peng Liu, and Jian Huang
(University of Illinois at Urbana-Champaign, USA; Pennsylvania State University, USA)

Creating Concise and Efficient Dynamic Analyses with ALDA
Xiang Cheng and David Devecsery
(Georgia Institute of Technology, USA)

Session 7A: Serverless

IceBreaker: Warming Serverless Functions Better with Heterogeneity
Rohan Basu Roy, Tirthak Patel, and Devesh Tiwari
(Northeastern University, USA)

INFless: A Native Serverless System for Low-Latency, High-Throughput Inference
Yanan Yang, Laiping Zhao, Yiming Li, Huanyu Zhang, Jie Li, Mingyang Zhao, Xingzhen Chen, and Keqiu Li
(Tianjin University, China; 58.com, China)

FaaSFlow: Enable Efficient Workflow Execution for Function-as-a-Service
Zijun Li, Yushi Liu, Linsong Guo, Quan Chen, Jiagan Cheng, Wenli Zheng, and Minyi Guo
(Shanghai Jiao Tong University, China)

Serverless Computing on Heterogeneous Computers
Dong Du, Qingyuan Liu, Xueqiang Jiang, Yubin Xia, Binyu Zang, and Haibo Chen
(Shanghai Jiao Tong University, China; Shanghai Artificial Intelligence Laboratory, China)

CoolEdge: Hotspot-Relievable Warm Water Cooling for Energy-Efficient Edge Datacenters
Qiangyu Pei, Shutong Chen, Qixia Zhang, Xinhui Zhu, Fangming Liu, Ziyang Jia, Yishuo Wang, and Yongjie Yuan
(Huazhong University of Science and Technology, China)

Session 7B: Bugs (2)

Yashme: Detecting Persistency Races
Hamed Gorjiara, Guoqing Harry Xu, and Brian Demsky
(University of California at Irvine, USA; University of California at Los Angeles, USA)

EXAMINER: Automatically Locating Inconsistent Instructions between Real Devices and CPU Emulators for ARM
Muhui Jiang, Tianyi Xu, Yajin Zhou, Yufeng Hu, Ming Zhong, Lei Wu, Xiapu Luo, and Kui Ren
(Hong Kong Polytechnic University, China; Zhejiang University, China)

Path-Sensitive and Alias-Aware Typestate Analysis for Detecting OS Bugs
Tuo Li, Jia-Ju Bai, Yulei Sui, and Shi-Min Hu
(Tsinghua University, China; University of Technology Sydney, Australia)

Efficiently Detecting Concurrency Bugs in Persistent Memory Programs
Zhangyu Chen, Yu Hua, Yongle Zhang, and Luochangqi Ding
(Huazhong University of Science and Technology, China; Purdue University, USA)

Who Goes First? Detecting Go Concurrency Bugs via Message Reordering
Ziheng Liu, Shihao Xia, Yu Liang, Linhai Song, and Hong Hu
(Pennsylvania State University, USA)

Session 8A: Non-traditional Computing and Reconfigurable Hardware

CryoWire: Wire-Driven Microarchitecture Designs for Cryogenic Computing
Dongmoon Min, Yujin Chung, Ilkwon Byun, Junpyo Kim, and Jangwoo Kim
(Seoul National University, South Korea)

REVAMP: A Systematic Framework for Heterogeneous CGRA Realization
Thilini Kaushalya Bandara, Dhananjaya Wijerathne, Tulika Mitra, and Li-Shiuan Peh
(National University of Singapore, Singapore)

PLD: Fast FPGA Compilation to Make Reconfigurable Acceleration Compatible with Modern Incremental Refinement Software Development
Yuanlong Xiao, Eric Micallef, Andrew Butt, Matthew Hofmann, Marc Alston, Matthew Goldsmith, Andrew Merczynski-Hait, and André DeHon
(University of Pennsylvania, USA)

Debugging in the Brave New World of Reconfigurable Hardware
Jiacheng Ma, Gefei Zuo, Kevin Loughlin, Haoyang Zhang, Andrew Quinn, and Baris Kasikci
(University of Michigan, USA; University of California at Santa Cruz, USA)

Temporal and SFQ Pulse-Streams Encoding for Area-Efficient Superconducting Accelerators
Patricia Gonzalez-Guerrero, Meriam Gay Bautista, Darren Lyles, and George Michelogiannakis
(Lawrence Berkeley National Laboratory, USA)

Session 8B: Synthesis and Compilation

Understanding and Exploiting Optimal Function Inlining
Theodoros Theodoridis, Tobias Grosser, and Zhendong Su
(ETH Zurich, Switzerland; University of Edinburgh, UK)

CirFix: Automatically Repairing Defects in Hardware Design Code
Hammad Ahmad, Yu Huang, and Westley Weimer
(University of Michigan, USA)

Vector Instruction Selection for Digital Signal Processors using Program Synthesis
Maaz Bin Safeer Ahmad, Alexander J. Root, Andrew Adams, Shoaib Kamil, and Alvin Cheung
(Adobe, USA; Massachusetts Institute of Technology, USA; University of California at Berkeley, USA)

HeteroGen: Transpiling C to Heterogeneous HLS Code with Automated Test Generation and Program Repair
Qian Zhang, Jiyuan Wang, Guoqing Harry Xu, and Miryung Kim
(University of California at Los Angeles, USA)

Info

Tree Traversal Synthesis Using Domain-Specific Symbolic Compilation
Yanju Chen, Junrui Liu, Yu Feng, and Rastislav Bodik
(University of California at Santa Barbara, USA; University of Washington, USA)

Session 9A: Hardware Security (2)

SRAM Has No Chill: Exploiting Power Domain Separation to Steal On-Chip Secrets
Jubayer Mahmod and Matthew Hicks
(Virginia Tech, USA)

Randomized Row-Swap: Mitigating Row Hammer by Breaking Spatial Correlation between Aggressor and Victim Rows
Gururaj Saileshwar, Bolin Wang, Moinuddin Qureshi, and Prashant J. Nair
(Georgia Institute of Technology, USA; University of British Columbia, Canada)

ShEF: Shielded Enclaves for Cloud FPGAs
Mark Zhao, Mingyu Gao, and Christos Kozyrakis
(Stanford University, USA; Tsinghua University, China)

Invisible Bits: Hiding Secret Messages in SRAM’s Analog Domain
Jubayer Mahmod and Matthew Hicks
(Virginia Tech, USA)

Session 9B: Smart Networking

Taurus: A Data Plane Architecture for Per-Packet ML
Tushar Swamy, Alexander Rucker, Muhammad Shahbaz, Ishan Gaur, and Kunle Olukotun
(Stanford University, USA; Purdue University, USA)

Info

FlexDriver: A Network Driver for Your Accelerator
Haggai Eran, Maxim Fudim, Gabi Malka, Gal Shalom, Noam Cohen, Amit Hermony, Dotan Levi, Liran Liss, and Mark Silberstein
(NVIDIA, Israel; Technion, Israel)

The Benefits of General-Purpose On-NIC Memory
Boris Pismenny, Liran Liss, Adam Morrison, and Dan Tsafrir
(Technion, Israel; NVIDIA, Israel; Tel Aviv University, Israel; VMware Research, Israel)

Domain Specific Run Time Optimization for Software Data Planes
Sebastiano Miano, Alireza Sanaee, Fulvio Risso, Gábor Rétvári, and Gianni Antichi
(Queen Mary University of London, UK; Politecnico di Torino, Italy; Budapest University of Technology and Economics, Hungary)

Info