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 Article Search
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 Article Search
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, Anna Goldie ORCID logo, and Azalia Mirhoseini
(Google Brain, USA; Google, USA; Stanford University, USA)
Publisher's Version Article Search
FINGERS: Exploiting Fine-Grained Parallelism in Graph Mining Accelerators
Qihang Chen, Boyu Tian, and Mingyu Gao ORCID logo
(Tsinghua University, China)
Publisher's Version Article Search
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 Article Search

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 Article Search
Parallel Virtualized Memory Translation with Nested Elastic Cuckoo Page Tables
Jovan Stojkovic, Dimitrios Skarlatos, Apostolos Kokolis, Tianyin Xu ORCID logo, and Josep Torrellas
(University of Illinois at Urbana-Champaign, USA; Carnegie Mellon University, USA)
Publisher's Version Article Search
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 ORCID logo, and Peter Dinda
(Northwestern University, USA)
Publisher's Version Article Search Artifacts Available
NVAlloc: Rethinking Heap Metadata Management in Persistent Memory Allocators
Zheng Dang ORCID logo, 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)
Publisher's Version Article Search
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 Article Search

Session 2A: GPU and Data Analytics

GPM: Leveraging Persistent Memory from a GPU
Shweta Pandey, Aditya K Kamath, and Arkaprava Basu
(IISc Bangalore, India)
Publisher's Version Article Search Artifacts Available Artifacts Functional Results Reproduced
GPUReplay: A 50-KB GPU Stack for Client ML
Heejin ParkORCID logo and Felix Xiaozhu Lin
(Purdue University, USA; University of Virginia, USA)
Publisher's Version Article Search
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)
Publisher's Version Article Search 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 Article Search
JSONSki: Streaming Semi-structured Data with Bit-Parallel Fast-Forwarding
Lin Jiang and Zhijia Zhao
(University of California at Riverside, USA)
Publisher's Version Article Search

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 Article Search 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 Article Search Artifacts Available Artifacts Functional Results Reproduced
Protecting Adaptive Sampling from Information Leakage on Low-Power Sensors
Tejas Kannan and Henry HoffmannORCID logo
(University of Chicago, USA)
Publisher's Version Article Search 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 Article Search 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 Article Search 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 Article Search Video Artifacts Available Artifacts Functional
CRISP: Critical Slice Prefetching
Heiner LitzORCID logo, Grant Ayers, and Parthasarathy Ranganathan
(University of California at Santa Cruz, USA; Google, USA)
Publisher's Version Article Search

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 Torrellas
(University of Illinois at Urbana-Champaign, USA; Tel Aviv University, Israel)
Publisher's Version Article Search 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, and Mengjia Yan
(Massachusetts Institute of Technology, USA; NVIDIA, USA)
Publisher's Version Article Search 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, Niket Agarwal, Christos Kozyrakis, Caroline TrippelORCID logo, and Carole-Jean Wu
(Stanford University, USA; Meta, USA)
Publisher's Version Article Search
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)
Publisher's Version Article Search 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, and Heming Cui
(University of Hong Kong, China; Huawei Technologies, China; University of Science and Technology of China, China)
Publisher's Version Article Search 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 Article Search
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 ORCID logo, 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)
Publisher's Version Article Search 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 Article Search 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
(ETH Zurich, Switzerland; University of British Columbia, Canada)
Publisher's Version Article Search 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 Article Search 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 Article Search 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 Article Search 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 Article Search
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 Article Search Artifacts Available Artifacts Functional
HAMMER: Boosting Fidelity of Noisy Quantum Circuits by Exploiting Hamming Behavior of Erroneous Outcomes
Swamit Tannu ORCID logo, Poulami Das, Ramin Ayanzadeh, and Moinuddin QureshiORCID logo
(University of Wisconsin-Madison, USA; Georgia Institute of Technology, USA)
Publisher's Version Article Search
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)
Publisher's Version Article Search
Paulihedral: A Generalized Block-Wise Compiler Optimization Framework for Quantum Simulation Kernels
Gushu LiORCID logo, Anbang Wu, Yunong Shi, Ali Javadi-Abhari, Yufei Ding ORCID logo, and Yuan Xie
(University of California at Santa Barbara, USA; Amazon, USA; IBM, USA)
Publisher's Version Article Search 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 Article Search
Memory-Harvesting VMs in Cloud Platforms
Alexander Fuerst ORCID logo, 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)
Publisher's Version Article Search
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 Article Search
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)
Publisher's Version Article Search
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)
Publisher's Version Article Search

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 Article Search
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 Article Search
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 Article Search 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 Article Search

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 Article Search Artifacts Available Artifacts Functional Results Reproduced
A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
Umang Mathur, Andreas PavlogiannisORCID logo, Hünkar Can Tunç ORCID logo, and Mahesh Viswanathan
(National University of Singapore, Singapore; Aarhus University, Denmark; University of Illinois at Urbana-Champaign, USA)
Publisher's Version Article Search Artifacts Available Artifacts Functional Results Reproduced
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)
Publisher's Version Article Search
Creating Concise and Efficient Dynamic Analyses with ALDA
Xiang Cheng and David Devecsery
(Georgia Institute of Technology, USA)
Publisher's Version Article Search 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 Article Search 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 Article Search 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 Article Search Artifacts Available Artifacts Functional Results Reproduced
Serverless Computing on Heterogeneous Computers
Dong DuORCID logo, Qingyuan Liu, Xueqiang Jiang, Yubin Xia, Binyu Zang, and Haibo Chen ORCID logo
(Shanghai Jiao Tong University, China; Shanghai Artificial Intelligence Laboratory, China)
Publisher's Version Article Search 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 Article Search

Session 7B: Bugs (2)

Yashme: Detecting Persistency Races
Hamed GorjiaraORCID logo, Guoqing Harry Xu, and Brian Demsky
(University of California at Irvine, USA; University of California at Los Angeles, USA)
Publisher's Version Article Search 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, Yufeng Hu, Ming Zhong, Lei Wu, Xiapu LuoORCID logo, and Kui Ren
(Hong Kong Polytechnic University, China; Zhejiang University, China)
Publisher's Version Article Search
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 Article Search
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 Article Search 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, and Hong Hu
(Pennsylvania State University, USA)
Publisher's Version Article Search 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 Article Search
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 Article Search 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 Article Search
Debugging in the Brave New World of Reconfigurable Hardware
Jiacheng MaORCID logo, Gefei ZuoORCID logo, Kevin Loughlin, Haoyang Zhang, Andrew Quinn, and Baris KasikciORCID logo
(University of Michigan, USA; University of California at Santa Cruz, USA)
Publisher's Version Article Search 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 Article Search 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 Article Search Artifacts Available Artifacts Functional Results Reproduced
CirFix: Automatically Repairing Defects in Hardware Design Code
Hammad Ahmad, Yu Huang, and Westley Weimer
(University of Michigan, USA)
Publisher's Version Article Search 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
(Adobe, USA; Massachusetts Institute of Technology, USA; University of California at Berkeley, USA)
Publisher's Version Article Search
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)
Publisher's Version Article Search Info Artifacts Available Artifacts Functional Results Reproduced
Tree Traversal Synthesis Using Domain-Specific Symbolic Compilation
Yanju Chen ORCID logo, Junrui Liu, Yu FengORCID logo, and Rastislav Bodik
(University of California at Santa Barbara, USA; University of Washington, USA)
Publisher's Version Article Search 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 Article Search
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
(Georgia Institute of Technology, USA; University of British Columbia, Canada)
Publisher's Version Article Search 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 Article Search 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 Article Search

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)
Publisher's Version Article Search 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 Article Search
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 Article Search 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 Article Search Info Artifacts Available Artifacts Functional Results Reproduced

proc time: 13.66