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

Title Page

ASPLOS 2023 Volume II Program Chairs’ Message

Committees

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

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

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

A Prediction System Service
Zhizhou Zhang, Alvin Oliver Glova, Timothy Sherwood, and Jonathan Balkind
(University of California at Santa Barbara, USA)

Publisher's Version

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 Info

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

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

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

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

HuffDuff: Stealing Pruned DNNs from Sparse Accelerators
Dingqing Yang, Prashant J. Nair, and Mieszko Lis
(University of British Columbia, Canada)

Publisher's Version

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

Khuzdul: Efficient and Scalable Distributed Graph Pattern Mining Engine
Jingji Chen and Xuehai Qian
(Purdue University, USA)

Publisher's Version

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

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

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

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

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

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

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

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

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

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

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

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 Artifacts Functional Results Reproduced

Probabilistic Concurrency Testing for Weak Memory Programs
Mingyu Gao, Soham Chakraborty, and Burcu Kulahcioglu Ozkan
(Delft University of Technology, Netherlands)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced

Propeller: A Profile Guided, Relinking Optimizer for Warehouse-Scale Applications
Han Shen, Krzysztof Pszeniczny, Rahman Lavaee, Snehasish Kumar, Sriraman Tallam, and Xinliang David Li
(Google, USA; Google, Switzerland)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced

Protecting Data Integrity of Web Applications with Database Constraints Inferred from Application Code
Haochen Huang, Bingyu Shen, Li Zhong, and Yuanyuan Zhou
(University of California at San Diego, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced

Qompress: Efficient Compilation for Ququarts Exploiting Partial and Mixed Radix Operations for Communication Reduction
Andrew Litteken, Lennart Maximilian Seifert, Jason Chadwick, Natalia Nottingham, Frederic T. Chong, and Jonathan M. Baker
(University of Chicago, USA)

Publisher's Version

RAIZN: Redundant Array of Independent Zoned Namespaces
Thomas Kim, Jekyeom Jeon, Nikhil Arora, Huaicheng Li, Michael Kaminsky, David G. Andersen, Gregory R. Ganger, George Amvrosiadis, and Matias Bjørling
(Carnegie Mellon University, USA; Enriched Ag, USA; Western Digital, Denmark)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Revisiting Log-Structured Merging for KV Stores in Hybrid Memory Systems
Zhuohui Duan, Jiabo Yao, Haikun Liu, Xiaofei Liao, Hai Jin, and Yu Zhang
(Huazhong University of Science and Technology, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced

Scoped Buffered Persistency Model for GPUs
Shweta Pandey, Aditya K Kamath, and Arkaprava Basu
(IISc Bangalore, India; University of Washington, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced

ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators
Sungsoo Han, Minseong Jang, and Jeehoon Kang
(KAIST, South Korea)

Publisher's Version Published Artifact Artifacts Available

Sigma: Compiling Einstein Summations to Locality-Aware Dataflow
Tian Zhao, Alexander Rucker, and Kunle Olukotun
(Stanford University, USA)

Publisher's Version

SMAPPIC: Scalable Multi-FPGA Architecture Prototype Platform in the Cloud
Grigory Chirkov and David Wentzlaff
(Princeton University, USA)

Publisher's Version

Spada: Accelerating Sparse Matrix Multiplication with Adaptive Dataflow
Zhiyao Li, Jiaxiang Li, Taijie Chen, Dimin Niu, Hongzhong Zheng, Yuan Xie, and Mingyu Gao
(Tsinghua University, China; Northwestern University, USA; Alibaba DAMO Academy, China; Shanghai Qi Zhi Institute, China)

Publisher's Version

SpecPMT: Speculative Logging for Resolving Crash Consistency Overhead of Persistent Memory
Chencheng Ye, Yuanchao Xu, Xipeng Shen, Yan Sha, Xiaofei Liao, Hai Jin, and Yan Solihin
(Huazhong University of Science and Technology, China; North Carolina State University, USA; University of Central Florida, USA)

Publisher's Version

Stepwise Debugging for Hardware Accelerators
Griffin Berlstein, Rachit Nigam, Christophe Gyurgyik, and Adrian Sampson
(Cornell University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced

STI: Turbocharge NLP Inference at the Edge via Elastic Pipelining
Liwei Guo, Wonkyo Choe, and Felix Xiaozhu Lin
(University of Virginia, USA)

Publisher's Version

TensorIR: An Abstraction for Automatic Tensorized Program Optimization
Siyuan Feng, Bohan Hou, Hongyi Jin, Wuwei Lin, Junru Shao, Ruihang Lai, Zihao Ye, Lianmin Zheng, Cody Hao Yu, Yong Yu, and Tianqi Chen
(Shanghai Jiao Tong University, China; Carnegie Mellon University, USA; OctoML, USA; University of Washington, USA; University of California at Berkeley, USA; Amazon Web Services, USA)

Publisher's Version

TiLT: A Time-Centric Approach for Stream Query Optimization and Parallelization
Anand Jayarajan, Wei Zhao, Yudi Sun, and Gennady Pekhimenko
(University of Toronto, Canada)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced

TLP: A Deep Learning-Based Cost Model for Tensor Program Tuning
Yi Zhai, Yu Zhang, Shuo Liu, Xiaomeng Chu, Jie Peng, Jianmin Ji, and Yanyong Zhang
(University of Science and Technology of China, China)

Publisher's Version

Towards a Machine Learning-Assisted Kernel with LAKE
Henrique Fingler, Isha Tarte, Hangchen Yu, Ariel Szekely, Bodun Hu, Aditya Akella, and Christopher J. Rossbach
(University of Texas at Austin, USA; Meta, USA; Massachusetts Institute of Technology, USA; Katana Graph, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced

uBFT: Microsecond-Scale BFT using Disaggregated Memory
Marcos K. Aguilera, Naama Ben-David, Rachid Guerraoui, Antoine Murat, Athanasios Xygkis, and Igor Zablotchi
(VMware Research, USA; EPFL, Switzerland; Massachusetts Institute of Technology, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced

uGrapher: High-Performance Graph Operator Computation via Unified Abstraction for Graph Neural Networks
Yangjie Zhou, Jingwen Leng, Yaoxu Song, Shuwen Lu, Mian Wang, Chao Li, Minyi Guo, Wenting Shen, Yong Li, Wei Lin, Xiangwen Liu, and Hanqing Wu
(Shanghai Jiao Tong University, China; Alibaba Group, China)

Publisher's Version

VClinic: A Portable and Efficient Framework for Fine-Grained Value Profilers
Xin You, Hailong Yang, Kelun Lei, Zhongzhi Luan, and Depei Qian
(Beihang University, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced

VDom: Fast and Unlimited Virtual Domains on Multiple Architectures
Ziqi Yuan, Siyu Hong, Rui Chang, Yajin Zhou, Wenbo Shen, and Kui Ren
(Zhejiang University, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced

WACO: Learning Workload-Aware Co-optimization of the Format and Schedule of a Sparse Tensor Program
Jaeyeon Won, Charith Mendis, Joel S. Emer, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; University of Illinois at Urbana-Champaign, USA; NVIDIA, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Where Did My Variable Go? Poking Holes in Incomplete Debug Information
Cristian Assaiante, Daniele Cono D'Elia, Giuseppe Antonio Di Luna, and Leonardo Querzoni
(Sapienza University of Rome, Italy)

Publisher's Version