ASPLOS 2023
28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2 (ASPLOS 2023)
Powered by
Conference Publishing Consulting

28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2 (ASPLOS 2023), March 25–29, 2023, Vancouver, BC, Canada

ASPLOS 2023 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page


Article: asplosb23foreword-fm000-p doi:
ASPLOS 2023 Volume II Program Chairs’ Message


Article: asplosb23foreword-fm001-p doi:
Committees


Article: asplosb23foreword-fm002-p doi:

Papers

Achieving Sub-second Pairwise Query over Evolving Graphs
Hongtao Chen, Mingxing Zhang, Ke Yang, Kang Chen, Albert Zomaya, Yongwei Wu, and Xuehai Qian
(Tsinghua University, China; Beijing HaiZhi XingTu Technology, China; University of Sydney, Australia; Purdue University, USA)


Publisher's Version Article: asplosb23main-bp43-p doi:10.1145/3575693.3576173
AfterImage: Leaking Control Flow Data and Tracking Load Operations via the Hardware Prefetcher
Yun Chen, Lingfeng Pei, and Trevor E. Carlson
(National University of Singapore, Singapore)


Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: asplosb23main-p327-p doi:10.1145/3575693.3575719
A Generic Service to Provide In-Network Aggregation for Key-Value Streams
Yongchao He, Wenfei Wu, Yanfang Le, Ming Liu, and ChonLam Lao
(Tsinghua University, China; Peking University, China; Intel, USA; University of Wisconsin-Madison, USA; Harvard University, USA)


Publisher's Version Article: asplosb23main-p108-p doi:10.1145/3575693.3575708
A Prediction System Service
Zhizhou Zhang, Alvin Oliver Glova, Timothy Sherwood, and Jonathan Balkind
(University of California at Santa Barbara, USA)


Publisher's Version Article: asplosb23main-p254-p doi:10.1145/3575693.3575714
AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM
Martin Beck, Koustubha Bhat, Lazar Stričević, Geng Chen, Diogo Behrens, Ming Fu, Viktor Vafeiadis, Haibo Chen, and Hermann Härtig
(Huawei Dresden Research Center, Dresden, Germany; Huawei Fundamental Software Innovation Lab, Shenzhen, China; MPI-SWS, Kaiserslautern, Germany; Huawei Central Software Institute, Shenzhen, China; Shanghai Jiao Tong University, Shanghai, China; TU Dresden, Dresden, Germany)


Publisher's Version Article: asplosb23main-p547-p doi:10.1145/3575693.3579849
BeeHive: Sub-second Elasticity for Web Services with Semi-FaaS Execution
Ziming Zhao, Mingyu Wu, Jiawei Tang, Binyu Zang, Zhaoguo Wang, and Haibo Chen
(Shanghai Jiao Tong University, China; Shanghai AI Laboratory, China; Engineering Research Center for Domain-specific Operating Systems of the Ministry of Education of China, China)


Publisher's Version Article: asplosb23main-p160-p doi:10.1145/3575693.3575752
Better Than Worst-Case Decoding for Quantum Error Correction
Gokul Subramanian Ravi, Jonathan M. Baker, Arash Fayyazi, Sophia Fuhui Lin, Ali Javadi-Abhari, Massoud Pedram, and Frederic T. Chong
(University of Chicago, USA; University of Southern California, USA; IBM, USA)


Publisher's Version Article: asplosb23main-p667-p doi:10.1145/3575693.3575733
Betty: Enabling Large-Scale GNN Training with Batch-Level Graph Partitioning
Shuangyan Yang, Minjia Zhang, Wenqian Dong, and Dong Li
(University of California at Merced, USA; Microsoft Research, USA; Florida International University, USA)


Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: asplosb23main-p447-p doi:10.1145/3575693.3575725
Carbon Explorer: A Holistic Framework for Designing Carbon Aware Datacenters
Bilge Acun, Benjamin Lee, Fiodar Kazhamiaka, Kiwan Maeng, Udit Gupta, Manoj Chakkaravarthy, David Brooks, and Carole-Jean Wu
(Meta, USA; University of Pennsylvania, USA; Stanford University, USA; Harvard University, USA)


Publisher's Version Article: asplosb23main-p249-p doi:10.1145/3575693.3575754
CommonGraph: Graph Analytics on Evolving Data
Mahbod Afarin, Chao Gao, Shafiur Rahman, Nael Abu-Ghazaleh, and Rajiv Gupta
(University of California at Riverside, USA)


Publisher's Version Article: asplosb23main-p242-p doi:10.1145/3575693.3575713
Compilation Consistency Modulo Debug Information
Theodore Luo Wang, Yongqiang Tian, Yiwen Dong, Zhenyang Xu, and Chengnian Sun
(University of Waterloo, Canada)


Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: asplosb23main-p16-p doi:10.1145/3575693.3575740
Compiling Distributed System Models with PGo
Finn Hackett, Shayan Hosseini, Renato Costa, Matthew Do, and Ivan Beschastnikh
(University of British Columbia, Canada)


Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: asplosb23main-p12-p doi:10.1145/3575693.3575695
Copy-on-Pin: The Missing Piece for Correct Copy-on-Write
David Hildenbrand, Martin Schulz, and Nadav Amit
(TU Munich, Germany; Red Hat, Germany; VMware, USA)


Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: asplosb23main-p296-p doi:10.1145/3575693.3575716
Decker: Attack Surface Reduction via On-Demand Code Mapping
Chris Porter, Sharjeel Khan, and Santosh Pande
(Georgia Institute of Technology, USA)


Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: asplosb23main-p700-p doi:10.1145/3575693.3575734
DeepUM: Tensor Migration and Prefetching in Unified Memory
Jaehoon Jung, Jinpyo Kim, and Jaejin Lee
(Moreh, South Korea; Seoul National University, South Korea)


Publisher's Version Article: asplosb23main-p807-p doi:10.1145/3575693.3575736
Ditto: End-to-End Application Cloning for Networked Cloud Services
Mingyu Liang, Yu Gan, Yueying Li, Carlos Torres, Abhishek Dhanotia, Mahesh Ketkar, and Christina Delimitrou
(Cornell University, USA; Meta, USA; Intel, USA; Massachusetts Institute of Technology, USA)


Publisher's Version Article: asplosb23main-p147-p doi:10.1145/3575693.3575751
DPACS: Hardware Accelerated Dynamic Neural Network Pruning through Algorithm-Architecture Co-design
Yizhao Gao, Baoheng Zhang, Xiaojuan Qi, and Hayden Kwok-Hay So
(University of Hong Kong, Hong Kong)


Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: asplosb23main-p498-p doi:10.1145/3575693.3575728
Ecovisor: A Virtual Energy System for Carbon-Efficient Applications
Abel Souza, Noman Bashir, Jorge Murillo, Walid Hanafy, Qianlin Liang, David Irwin, and Prashant Shenoy
(University of Massachusetts at Amherst, USA)


Publisher's Version Article: asplosb23main-p111-p doi:10.1145/3575693.3575709
ElasticFlow: An Elastic Serverless Training Platform for Distributed Deep Learning
Diandian Gu, Yihao Zhao, Yinmin Zhong, Yifan Xiong, Zhenhua Han, Peng Cheng, Fan Yang, Gang Huang, Xin Jin, and Xuanzhe Liu
(Peking University, China; Microsoft Research, China)


Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: asplosb23main-p360-p doi:10.1145/3575693.3575721
EVStore: Storage and Caching Capabilities for Scaling Embedding Tables in Deep Recommendation Systems
Daniar H. Kurniawan, Ruipu Wang, Kahfi S. Zulkifli, Fandi A. Wiranata, John Bent, Ymir Vigfusson, and Haryadi S. Gunawi
(University of Chicago, USA; Beijing University of Technology, China; Bandung Institute of Technology, Indonesia; Seagate Technology, USA; Emory University, USA)


Publisher's Version Article: asplosb23main-p309-p doi:10.1145/3575693.3575718
FLAT: An Optimized Dataflow for Mitigating Attention Bottlenecks
Sheng-Chun Kao, Suvinay Subramanian, Gaurav Agrawal, Amir Yazdanbakhsh, and Tushar Krishna
(Georgia Institute of Technology, USA; Google, USA; Microsoft, USA)


Publisher's Version Article: asplosb23main-p81-p doi:10.1145/3575693.3575747
FrozenQubits: Boosting Fidelity of QAOA by Skipping Hotspot Nodes
Ramin Ayanzadeh, Narges Alavisamani, Poulami Das, and Moinuddin Qureshi
(Georgia Institute of Technology, USA)


Publisher's Version Article: asplosb23main-p24-p doi:10.1145/3575693.3575741
GPU-Initiated On-Demand High-Throughput Storage Access in the BaM System Architecture
Zaid Qureshi, Vikram Sharma Mailthody, Isaac Gelado, Seungwon Min, Amna Masood, Jeongmin Park, Jinjun Xiong, C. J. Newburn, Dmitri Vainbrand, I-Hsin Chung, Michael Garland, William Dally, and Wen-mei Hwu
(University of Illinois at Urbana-Champaign, USA; NVIDIA, USA; AMD, USA; University at Buffalo, USA; IBM Research, USA; Stanford University, USA)


Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: asplosb23main-p88-p doi:10.1145/3575693.3575748
GZKP: A GPU Accelerated Zero-Knowledge Proof System
Weiliang Ma, Qian Xiong, Xuanhua Shi, Xiaosong Ma, Hai Jin, Haozhao Kuang, Mingyu Gao, Ye Zhang, Haichen Shen, and Weifang Hu
(Huazhong University of Science and Technology, China; Hamad Bin Khalifa University, Qatar; Tsinghua University, China; Scroll Foundation, Seychelles)


Publisher's Version Article: asplosb23main-p197-p doi:10.1145/3575693.3575711
Hacky Racers: Exploiting Instruction-Level Parallelism to Generate Stealthy Fine-Grained Timers
Haocheng Xiao and Sam Ainsworth
(University of Edinburgh, UK)


Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: asplosb23main-p41-p doi:10.1145/3575693.3575700
Hidet: Task-Mapping Programming Paradigm for Deep Learning Tensor Programs
Yaoyao Ding, Cody Hao Yu, Bojian Zheng, Yizhi Liu, Yida Wang, and Gennady Pekhimenko
(University of Toronto, Canada; Vector Institute, Canada; Amazon Web Services, USA)


Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: asplosb23main-p47-p doi:10.1145/3575693.3575702
HuffDuff: Stealing Pruned DNNs from Sparse Accelerators
Dingqing Yang, Prashant J. Nair, and Mieszko Lis
(University of British Columbia, Canada)


Publisher's Version Article: asplosb23main-p905-p doi:10.1145/3575693.3575738
Junkyard Computing: Repurposing Discarded Smartphones to Minimize Carbon
Jennifer Switzer, Gabriel Marcano, Ryan Kastner, and Pat Pannuto
(University of California at San Diego, USA)


Publisher's Version Article: asplosb23main-p127-p doi:10.1145/3575693.3575710
Khuzdul: Efficient and Scalable Distributed Graph Pattern Mining Engine
Jingji Chen and Xuehai Qian
(Purdue University, USA)


Publisher's Version Article: asplosb23main-p51-p doi:10.1145/3575693.3575743
KIT: Testing OS-Level Virtualization for Functional Interference Bugs
Congyu Liu, Sishuai Gong, and Pedro Fonseca
(Purdue University, USA)


Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: asplosb23main-p607-p doi:10.1145/3575693.3575731
LeaFTL: A Learning-Based Flash Translation Layer for Solid-State Drives
Jinghan Sun, Shaobo Li, Yunxin Sun, Chao Sun, Dejan Vucinic, and Jian Huang
(University of Illinois at Urbana-Champaign, USA; ETH Zurich, Switzerland; Western Digital Research, USA)


Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: asplosb23main-p59-p doi:10.1145/3575693.3575744
Lucid: A Non-intrusive, Scalable and Interpretable Scheduler for Deep Learning Training Jobs
Qinghao Hu, Meng Zhang, Peng Sun, Yonggang Wen, and Tianwei Zhang
(Nanyang Technological University, Singapore; Shanghai AI Laboratory, China; SenseTime, China)


Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: asplosb23main-p73-p doi:10.1145/3575693.3575705
MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications
Reese Levine, Tianhao Guo, Mingun Cho, Alan Baker, Raph Levien, David Neto, Andrew Quinn, and Tyler Sorensen
(University of California at Santa Cruz, USA; New York University, USA; University of California at Davis, USA; Google, Canada; Google, USA)


Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: asplosb23main-p123-p doi:10.1145/3575693.3575750
Mobius: Fine Tuning Large-Scale Models on Commodity GPU Servers
Yangyang Feng, Minhui Xie, Zijie Tian, Shuo Wang, Youyou Lu, and Jiwu Shu
(Tsinghua University, China)


Publisher's Version Article: asplosb23main-p53-p doi:10.1145/3575693.3575703
MSCCLang: Microsoft Collective Communication Language
Meghan Cowan, Saeed Maleki, Madanlal Musuvathi, Olli Saarikivi, and Yifan Xiong
(Microsoft Research, USA; Microsoft Research, China)


Publisher's Version Article: asplosb23main-p423-p doi:10.1145/3575693.3575724
Navigating the Dynamic Noise Landscape of Variational Quantum Algorithms with QISMET
Gokul Subramanian Ravi, Kaitlin Smith, Jonathan M. Baker, Tejas Kannan, Nathan Earnest, Ali Javadi-Abhari, Henry Hoffmann, and Frederic T. Chong
(University of Chicago, USA; IBM, USA)


Publisher's Version Article: asplosb23main-p7-p doi:10.1145/3575693.3575739
NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers
Jiawei Liu, Jinkun Lin, Fabian Ruffy, Cheng Tan, Jinyang Li, Aurojit Panda, and Lingming Zhang
(University of Illinois at Urbana-Champaign, USA; New York University, USA; Northeastern University, USA)


Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: asplosb23main-p98-p doi:10.1145/3575693.3575707
NUBA: Non-Uniform Bandwidth GPUs
Xia Zhao, Magnus Jahre, Yuhua Tang, Guangda Zhang, and Lieven Eeckhout
(Academy of Military Sciences, China; NTNU, Norway; National University of Defense Technology, China; Ghent University, Belgium)


Publisher's Version Article: asplosb23main-p63-p doi:10.1145/3575693.3575745
Optimus-CC: Efficient Large NLP Model Training with 3D Parallelism Aware Communication Compression
Jaeyong Song, Jinkyu Yim, Jaewon Jung, Hongsun Jang, Hyung-Jin Kim, Youngsok Kim, and Jinho Lee
(Yonsei University, South Korea; Seoul National University, South Korea; Samsung Electronics, South Korea)


Publisher's Version Published Artifact Artifacts Available Article: asplosb23main-p200-p doi:10.1145/3575693.3575712
Pond: CXL-Based Memory Pooling Systems for Cloud Platforms
Huaicheng Li, Daniel S. Berger, Lisa Hsu, Daniel Ernst, Pantea Zardoshti, Stanko Novakovic, Monish Shah, Samir Rajadnya, Scott Lee, Ishwar Agarwal, Mark D. Hill, Marcus Fontoura, and Ricardo Bianchini
(Virginia Tech, USA; Carnegie Mellon University, USA; Microsoft Azure, USA; University of Washington, USA; Unaffiliated, USA; Google, USA; Microsoft, USA; Intel, USA; University of Wisconsin-Madison, USA; Stone, USA)


Publisher's Version Article: asplosb23main-p346-p doi:10.1145/3575693.3578835
Prism: Optimizing Key-Value Store for Modern Heterogeneous Storage Devices
Yongju Song, Wook-Hee Kim, Sumit Kumar Monga, Changwoo Min, and Young Ik Eom
(Sungkyunkwan University, South Korea; Konkuk University, South Korea; Virginia Tech, USA)


Publisher's Version Published Artifact Artifacts Available