ASPLOS 2022
27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2022)
Powered by
Conference Publishing Consulting

27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2022), February 28 – March 4, 2022, Lausanne, Switzerland

ASPLOS 2022 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Message from the General Chairs
Message from the Program Chairs
ASPLOS 2022 Organization
Report from the Artifact Evaluation Committee

Session 1A: Accelerators

TaskStream: Accelerating Task-Parallel Workloads by Recovering Program Structure
Vidushi DaduORCID logo and Tony NowatzkiORCID logo
(University of California at Los Angeles, USA)
Publisher's Version
DOTA: Detect and Omit Weak Attentions for Scalable Transformer Acceleration
Zheng Qu ORCID logo, Liu Liu ORCID logo, Fengbin Tu ORCID logo, Zhaodong Chen ORCID logo, Yufei Ding ORCID logo, and Yuan Xie ORCID logo
(University of California at Santa Barbara, USA)
Publisher's Version
A Full-Stack Search Technique for Domain Optimized Deep Learning Accelerators
Dan Zhang ORCID logo, Safeen Huda, Ebrahim Songhori ORCID logo, Kartik Prabhu, Quoc Le ORCID logo, Anna Goldie ORCID logo, and Azalia Mirhoseini
(Google Brain, USA; Google, USA; Stanford University, USA)
Publisher's Version
FINGERS: Exploiting Fine-Grained Parallelism in Graph Mining Accelerators
Qihang Chen ORCID logo, Boyu Tian ORCID logo, and Mingyu Gao ORCID logo
(Tsinghua University, China)
Publisher's Version
BiSon-e: A Lightweight and High-Performance Accelerator for Narrow Integer Linear Algebra Computing on the Edge
Enrico Reggiani ORCID logo, Cristóbal Ramírez Lazo ORCID logo, Roger Figueras Bagué ORCID logo, Adrián Cristal ORCID logo, Mauro Olivieri ORCID logo, and Osman Sabri Unsal ORCID logo
(Polytechnic University of Catalonia, Spain; Barcelona Supercomputing Center, Spain; Sapienza University of Rome, Italy)
Publisher's Version

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)
Publisher's Version
Parallel Virtualized Memory Translation with Nested Elastic Cuckoo Page Tables
Jovan Stojkovic, Dimitrios Skarlatos, Apostolos Kokolis, Tianyin Xu ORCID logo, and Josep TorrellasORCID logo
(University of Illinois at Urbana-Champaign, USA; Carnegie Mellon University, USA)
Publisher's Version
CARAT CAKE: Replacing Paging via Compiler/Kernel Cooperation
Brian Suchy ORCID logo, Souradip Ghosh, Drew Kersnar, Siyuan Chai, Zhen Huang, Aaron Nelson, Michael Cuevas, Alex Bernat ORCID logo, Gaurav Chaudhary, Nikos Hardavellas ORCID logo, Simone Campanoni ORCID logo, and Peter Dinda ORCID logo
(Northwestern University, USA)
Publisher's Version Published Artifact Artifacts Available
NVAlloc: Rethinking Heap Metadata Management in Persistent Memory Allocators
Zheng Dang ORCID logo, Shuibing He ORCID logo, Peiyi Hong, Zhenxin Li, Xuechen Zhang, Xian-He Sun, and Gang Chen
(Zhejiang University, China; Washington State University, USA; Illinois Institute of Technology, USA)
Publisher's Version
Every Walk’s a Hit: Making Page Walks Single-Access Cache Hits
Chang Hyun ParkORCID logo, Ilias Vougioukas ORCID logo, Andreas Sandberg ORCID logo, and David Black-Schaffer ORCID logo
(Uppsala University, Sweden; Arm Research, UK)
Publisher's Version

Session 2A: GPU and Data Analytics

GPM: Leveraging Persistent Memory from a GPU
Shweta Pandey ORCID logo, Aditya K Kamath, and Arkaprava Basu ORCID logo
(IISc Bangalore, India)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
GPUReplay: A 50-KB GPU Stack for Client ML
Heejin ParkORCID logo and Felix Xiaozhu Lin ORCID logo
(Purdue University, USA; University of Virginia, USA)
Publisher's Version
ValueExpert: Exploring Value Patterns in GPU-Accelerated Applications
Keren Zhou ORCID logo, Yueming Hao, John Mellor-Crummey, Xiaozhu Meng, and Xu Liu ORCID logo
(Rice University, USA; North Carolina State University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
SparseCore: Stream ISA and Processor Specialization for Sparse Computation
Gengyu Rao, Jingji Chen, Jason Yik, and Xuehai Qian
(University of Southern California, USA)
Publisher's Version
JSONSki: Streaming Semi-structured Data with Bit-Parallel Fast-Forwarding
Lin Jiang and Zhijia Zhao ORCID logo
(University of California at Riverside, USA)
Publisher's Version

Session 2B: Privacy and Software Security

MineSweeper: A “Clean Sweep” for Drop-In Use-after-Free Prevention
Márton Erdős ORCID logo, Sam AinsworthORCID logo, and Timothy M. JonesORCID logo
(University of Cambridge, UK; University of Edinburgh, UK)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
Revizor: Testing Black-Box CPUs against Speculation Contracts
Oleksii Oleksenko, Christof Fetzer, Boris Köpf, and Mark Silberstein ORCID logo
(TU Dresden, Germany; Microsoft Research, UK; Technion, Israel)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
Protecting Adaptive Sampling from Information Leakage on Low-Power Sensors
Tejas Kannan ORCID logo and Henry HoffmannORCID logo
(University of Chicago, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
One Size Does Not Fit All: Security Hardening of MIPS Embedded Systems via Static Binary Debloating for Shared Libraries
Haotian Zhang ORCID logo, Mengfei Ren ORCID logo, Yu Lei, and Jiang Ming ORCID logo
(University of Texas at Arlington, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
ViK: Practical Mitigation of Temporal Memory Safety Violations through Object ID Inspection
Haehyun Cho ORCID logo, 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)
Publisher's Version Artifacts Functional

Session 3A: Hardware Security (1)

Eavesdropping User Credentials via GPU Side Channels on Smartphones
Boyuan Yang ORCID logo, Ruirong Chen ORCID logo, Kai Huang, Jun Yang ORCID logo, and Wei GaoORCID logo
(University of Pittsburgh, USA)
Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional
CRISP: Critical Slice Prefetching
Heiner LitzORCID logo, Grant Ayers, and Parthasarathy Ranganathan ORCID logo
(University of California at Santa Cruz, USA; Google, USA)
Publisher's Version

Session 3B: Misc.

Pinned Loads: Taming Speculative Loads in Secure Processors
Zirui Neil Zhao ORCID logo, Houxiang Ji, Adam MorrisonORCID logo, Darko MarinovORCID logo, and Josep TorrellasORCID logo
(University of Illinois at Urbana-Champaign, USA; Tel Aviv University, Israel)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
DAGguise: Mitigating Memory Timing Side Channels
Peter W. Deutsch ORCID logo, Yuheng Yang ORCID logo, Thomas Bourgeat, Jules Drean, Joel S. Emer ORCID logo, and Mengjia Yan
(Massachusetts Institute of Technology, USA; NVIDIA, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced

Session 4A: Systems for Machine Learning

RecShard: Statistical Feature-Based Memory Optimization for Industry-Scale Neural Recommendation
Geet Sethi, Bilge Acun ORCID logo, Niket Agarwal, Christos Kozyrakis, Caroline TrippelORCID logo, and Carole-Jean Wu ORCID logo
(Stanford University, USA; Meta, USA)
Publisher's Version
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 ORCID logo
(Alibaba Group, China; Tsinghua University, China; University of Sydney, Australia)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
NASPipe: High Performance and Reproducible Pipeline Parallel Supernet Training via Causal Synchronous Parallelism
Shixiong Zhao ORCID logo, Fanxin Li, Xusheng Chen, Tianxiang Shen, Li Chen, Sen Wang, Nicholas Zhang, Cheng Li ORCID logo, and Heming Cui ORCID logo
(University of Hong Kong, China; Huawei Technologies, China; University of Science and Technology of China, China)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
VELTAIR: Towards High-Performance Multi-tenant Deep Learning Services via Adaptive Compilation and Scheduling
Zihan Liu ORCID logo, Jingwen Leng ORCID logo, Zhihui Zhang ORCID logo, Quan Chen ORCID logo, Chao Li ORCID logo, and Minyi Guo ORCID logo
(Shanghai Jiao Tong University, China; Shanghai Qi Zhi Institute, China)
Publisher's Version
Breaking the Computation and Communication Abstraction Barrier in Distributed Machine Learning Workloads
Abhinav Jangda, Jun Huang, Guodong Liu, Amir Hossein Nodehi Sabet, Saeed MalekiORCID logo, Youshan Miao ORCID logo, Madanlal Musuvathi ORCID logo, Todd Mytkowicz, and Olli Saarikivi ORCID logo
(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)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional

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)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional
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 ORCID logo
(ETH Zurich, Switzerland; University of British Columbia, Canada)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
Efficient and Scalable Core Multiplexing with M³v
Nils Asmussen ORCID logo, Sebastian Haas ORCID logo, Carsten Weinhold, Till Miemietz, and Michael Roitzsch ORCID logo
(Barkhausen Institut, Germany)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
FlexOS: Towards Flexible OS Isolation
Hugo Lefeuvre ORCID logo, Vlad-Andrei Bădoiu, Alexander Jung ORCID logo, 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)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Functional Results Reproduced
Adelie: Continuous Address Space Layout Re-randomization for Linux Drivers
Ruslan Nikolaev, Hassan Nadeem, Cathlyn Stone, and Binoy Ravindran ORCID logo
(Pennsylvania State University, USA; Virginia Tech, USA)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Functional Results Reproduced

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 ORCID logo
(Tsinghua University, China; Tencent Quantum Laboratory, China)
Publisher's Version
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)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional
HAMMER: Boosting Fidelity of Noisy Quantum Circuits by Exploiting Hamming Behavior of Erroneous Outcomes
Swamit Tannu ORCID logo, Poulami Das ORCID logo, Ramin Ayanzadeh ORCID logo, and Moinuddin QureshiORCID logo
(University of Wisconsin-Madison, USA; Georgia Institute of Technology, USA)
Publisher's Version
LILLIPUT: A Lightweight Low-Latency Lookup-Table Decoder for Near-Term Quantum Error Correction
Poulami Das ORCID logo, Aditya Locharla, and Cody Jones
(Georgia Institute of Technology, USA; Google, USA)
Publisher's Version
Paulihedral: A Generalized Block-Wise Compiler Optimization Framework for Quantum Simulation Kernels
Gushu LiORCID logo, Anbang Wu, Yunong Shi, Ali Javadi-Abhari ORCID logo, Yufei Ding ORCID logo, and Yuan Xie
(University of California at Santa Barbara, USA; Amazon, USA; IBM, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced

Session 5B: Data Center and Cloud Services

Astraea: Towards QoS-Aware and Resource-Efficient Multi-stage GPU Services
Wei Zhang, Quan Chen ORCID logo, Kaihua Fu, Ningxin Zheng, Zhiyi Huang, Jingwen Leng ORCID logo, and Minyi Guo ORCID logo
(Shanghai Jiao Tong University, China; Microsoft Research, China; University of Otago, New Zealand)
Publisher's Version
Memory-Harvesting VMs in Cloud Platforms
Alexander Fuerst ORCID logo, Stanko Novaković ORCID logo, Íñigo Goiri ORCID logo, Gohar Irfan Chaudhry, Prateek Sharma, Kapil Arya, Kevin Broas, Eugene Bak, Mehmet Iyigun, and Ricardo Bianchini ORCID logo
(Indiana University, USA; Microsoft Research, USA; Microsoft Azure, USA)
Publisher's Version
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)
Publisher's Version
TMO: Transparent Memory Offloading in Datacenters
Johannes Weiner ORCID logo, Niket Agarwal, Dan Schatzberg, Leon Yang, Hao Wang ORCID logo, Blaise Sanouillet, Bikash Sharma, Tejun Heo, Mayank Jain, Chunqiang Tang, and Dimitrios Skarlatos
(Meta, USA; Carnegie Mellon University, USA)
Publisher's Version
SOL: Safe On-Node Learning in Cloud Platforms
Yawen Wang, Daniel Crankshaw, Neeraja J. Yadwadkar, Daniel Berger ORCID logo, Christos Kozyrakis, and Ricardo Bianchini ORCID logo
(Stanford University, USA; Microsoft Research, USA; University of Texas at Austin, USA)
Publisher's Version

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)
Publisher's Version
ProSE: The Architecture and Design of a Protein Discovery Engine
Eyes Robson ORCID logo, Ceyu XuORCID logo, and Lisa Wu WillsORCID logo
(University of California at Berkeley, USA; Duke University, USA)
Publisher's Version
A One-for-All and O(V log(V ))-Cost Solution for Parallel Merge Style Operations on Sorted Key-Value Arrays
Bangyan Wang ORCID logo, Lei Deng, Fei Sun, Guohao Dai, Liu Liu ORCID logo, Yu Wang, and Yuan Xie
(University of California at Santa Barbara, USA; Tsinghua University, China; Alibaba DAMO Academy, China)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
Client-Optimized Algorithms and Acceleration for Encrypted Compute Offloading
McKenzie van der HagenORCID logo and Brandon Lucia ORCID logo
(Carnegie Mellon University, USA)
Publisher's Version

Session 6B: Bugs (1)

Finding Missed Optimizations through the Lens of Dead Code Elimination
Theodoros Theodoridis ORCID logo, Manuel Rigger ORCID logo, and Zhendong Su ORCID logo
(ETH Zurich, Switzerland)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
Umang Mathur ORCID logo, Andreas PavlogiannisORCID logo, Hünkar Can Tunç ORCID logo, and Mahesh Viswanathan ORCID logo
(National University of Singapore, Singapore; Aarhus University, Denmark; University of Illinois at Urbana-Champaign, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
RSSD: Defend against Ransomware with Hardware-Isolated Network-Storage Codesign and Post-Attack Analysis
Benjamin Reidys, Peng Liu ORCID logo, and Jian Huang ORCID logo
(University of Illinois at Urbana-Champaign, USA; Pennsylvania State University, USA)
Publisher's Version
Creating Concise and Efficient Dynamic Analyses with ALDA
Xiang Cheng and David Devecsery
(Georgia Institute of Technology, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced

Session 7A: Serverless

IceBreaker: Warming Serverless Functions Better with Heterogeneity
Rohan Basu Roy, Tirthak Patel, and Devesh Tiwari
(Northeastern University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
INFless: A Native Serverless System for Low-Latency, High-Throughput Inference
Yanan Yang ORCID logo, Laiping Zhao, Yiming Li, Huanyu Zhang, Jie Li, Mingyang Zhao, Xingzhen Chen, and Keqiu Li
(Tianjin University, China; 58.com, China)
Publisher's Version Published Artifact Artifacts Available
FaaSFlow: Enable Efficient Workflow Execution for Function-as-a-Service
Zijun Li ORCID logo, Yushi Liu ORCID logo, Linsong GuoORCID logo, Quan Chen ORCID logo, Jiagan Cheng ORCID logo, Wenli Zheng ORCID logo, and Minyi Guo ORCID logo
(Shanghai Jiao Tong University, China)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
Serverless Computing on Heterogeneous Computers
Dong DuORCID logo, Qingyuan Liu, Xueqiang Jiang, Yubin Xia, Binyu Zang ORCID logo, and Haibo Chen ORCID logo
(Shanghai Jiao Tong University, China; Shanghai Artificial Intelligence Laboratory, China)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
CoolEdge: Hotspot-Relievable Warm Water Cooling for Energy-Efficient Edge Datacenters
Qiangyu Pei ORCID logo, Shutong Chen ORCID logo, Qixia Zhang ORCID logo, Xinhui Zhu, Fangming LiuORCID logo, Ziyang Jia, Yishuo Wang, and Yongjie Yuan
(Huazhong University of Science and Technology, China)
Publisher's Version

Session 7B: Bugs (2)

Yashme: Detecting Persistency Races
Hamed GorjiaraORCID logo, Guoqing Harry Xu ORCID logo, and Brian Demsky
(University of California at Irvine, USA; University of California at Los Angeles, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
EXAMINER: Automatically Locating Inconsistent Instructions between Real Devices and CPU Emulators for ARM
Muhui Jiang, Tianyi Xu, Yajin Zhou ORCID logo, Yufeng Hu, Ming Zhong, Lei Wu ORCID logo, Xiapu LuoORCID logo, and Kui Ren ORCID logo
(Hong Kong Polytechnic University, China; Zhejiang University, China)
Publisher's Version
Path-Sensitive and Alias-Aware Typestate Analysis for Detecting OS Bugs
Tuo Li, Jia-Ju Bai, Yulei SuiORCID logo, and Shi-Min Hu
(Tsinghua University, China; University of Technology Sydney, Australia)
Publisher's Version
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)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
Who Goes First? Detecting Go Concurrency Bugs via Message Reordering
Ziheng Liu ORCID logo, Shihao Xia, Yu Liang, Linhai Song ORCID logo, and Hong Hu
(Pennsylvania State University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Session 8A: Non-traditional Computing and Reconfigurable Hardware

CryoWire: Wire-Driven Microarchitecture Designs for Cryogenic Computing
Dongmoon Min ORCID logo, Yujin Chung ORCID logo, Ilkwon Byun ORCID logo, Junpyo Kim ORCID logo, and Jangwoo Kim ORCID logo
(Seoul National University, South Korea)
Publisher's Version
REVAMP: A Systematic Framework for Heterogeneous CGRA Realization
Thilini Kaushalya Bandara ORCID logo, Dhananjaya Wijerathne ORCID logo, Tulika Mitra ORCID logo, and Li-Shiuan Peh ORCID logo
(National University of Singapore, Singapore)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
PLD: Fast FPGA Compilation to Make Reconfigurable Acceleration Compatible with Modern Incremental Refinement Software Development
Yuanlong Xiao ORCID logo, Eric Micallef, Andrew Butt ORCID logo, Matthew Hofmann, Marc Alston, Matthew Goldsmith, Andrew Merczynski-Hait, and André DeHon ORCID logo
(University of Pennsylvania, USA)
Publisher's Version
Debugging in the Brave New World of Reconfigurable Hardware
Jiacheng MaORCID logo, Gefei ZuoORCID logo, Kevin Loughlin, Haoyang Zhang, Andrew QuinnORCID logo, and Baris KasikciORCID logo
(University of Michigan, USA; University of California at Santa Cruz, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
Temporal and SFQ Pulse-Streams Encoding for Area-Efficient Superconducting Accelerators
Patricia Gonzalez-GuerreroORCID logo, Meriam Gay Bautista, Darren Lyles, and George Michelogiannakis
(Lawrence Berkeley National Laboratory, USA)
Publisher's Version Published Artifact Artifacts Available

Session 8B: Synthesis and Compilation

Understanding and Exploiting Optimal Function Inlining
Theodoros Theodoridis ORCID logo, Tobias Grosser ORCID logo, and Zhendong Su ORCID logo
(ETH Zurich, Switzerland; University of Edinburgh, UK)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
CirFix: Automatically Repairing Defects in Hardware Design Code
Hammad AhmadORCID logo, Yu Huang, and Westley Weimer ORCID logo
(University of Michigan, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
Vector Instruction Selection for Digital Signal Processors using Program Synthesis
Maaz Bin Safeer Ahmad, Alexander J. Root, Andrew Adams, Shoaib Kamil, and Alvin Cheung ORCID logo
(Adobe, USA; Massachusetts Institute of Technology, USA; University of California at Berkeley, USA)
Publisher's Version
HeteroGen: Transpiling C to Heterogeneous HLS Code with Automated Test Generation and Program Repair
Qian Zhang, Jiyuan Wang ORCID logo, Guoqing Harry Xu ORCID logo, and Miryung Kim ORCID logo
(University of California at Los Angeles, USA)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Functional Results Reproduced
Tree Traversal Synthesis Using Domain-Specific Symbolic Compilation
Yanju Chen ORCID logo, Junrui Liu ORCID logo, Yu FengORCID logo, and Rastislav Bodik
(University of California at Santa Barbara, USA; University of Washington, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional

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)
Publisher's Version
Randomized Row-Swap: Mitigating Row Hammer by Breaking Spatial Correlation between Aggressor and Victim Rows
Gururaj SaileshwarORCID logo, Bolin Wang, Moinuddin QureshiORCID logo, and Prashant J. Nair ORCID logo
(Georgia Institute of Technology, USA; University of British Columbia, Canada)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
ShEF: Shielded Enclaves for Cloud FPGAs
Mark Zhao ORCID logo, Mingyu Gao ORCID logo, and Christos Kozyrakis
(Stanford University, USA; Tsinghua University, China)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Invisible Bits: Hiding Secret Messages in SRAM’s Analog Domain
Jubayer Mahmod and Matthew Hicks
(Virginia Tech, USA)
Publisher's Version

Session 9B: Smart Networking

Taurus: A Data Plane Architecture for Per-Packet ML
Tushar Swamy ORCID logo, Alexander Rucker ORCID logo, Muhammad Shahbaz ORCID logo, Ishan Gaur, and Kunle Olukotun ORCID logo
(Stanford University, USA; Purdue University, USA)
Publisher's Version Published Artifact Info Artifacts Available
FlexDriver: A Network Driver for Your Accelerator
Haggai EranORCID logo, Maxim Fudim, Gabi Malka, Gal Shalom, Noam Cohen, Amit Hermony, Dotan Levi, Liran Liss, and Mark Silberstein ORCID logo
(NVIDIA, Israel; Technion, Israel)
Publisher's Version
The Benefits of General-Purpose On-NIC Memory
Boris Pismenny, Liran Liss, Adam MorrisonORCID logo, and Dan Tsafrir
(Technion, Israel; NVIDIA, Israel; Tel Aviv University, Israel; VMware Research, Israel)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
Domain Specific Run Time Optimization for Software Data Planes
Sebastiano MianoORCID logo, Alireza Sanaee ORCID logo, Fulvio Risso ORCID logo, Gábor Rétvári ORCID logo, and Gianni Antichi ORCID logo
(Queen Mary University of London, UK; Politecnico di Torino, Italy; Budapest University of Technology and Economics, Hungary)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Functional Results Reproduced

proc time: 15.18