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)


@InProceedings{ASPLOS23p1, author = {Hongtao Chen and Mingxing Zhang and Ke Yang and Kang Chen and Albert Zomaya and Yongwei Wu and Xuehai Qian}, title = {Achieving Sub-second Pairwise Query over Evolving Graphs}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3575693.3576173}, year = {2023}, } 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)


@InProceedings{ASPLOS23p21, author = {Yun Chen and Lingfeng Pei and Trevor E. Carlson}, title = {AfterImage: Leaking Control Flow Data and Tracking Load Operations via the Hardware Prefetcher}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {21-20}, doi = {10.1145/3575693.3575719}, year = {2023}, } 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)


@InProceedings{ASPLOS23p41, author = {Yongchao He and Wenfei Wu and Yanfang Le and Ming Liu and ChonLam Lao}, title = {A Generic Service to Provide In-Network Aggregation for Key-Value Streams}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3575693.3575708}, year = {2023}, } Publisher's Version

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


@InProceedings{ASPLOS23p61, author = {Zhizhou Zhang and Alvin Oliver Glova and Timothy Sherwood and Jonathan Balkind}, title = {A Prediction System Service}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3575693.3575714}, year = {2023}, } 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)


@InProceedings{ASPLOS23p81, author = {Martin Beck and Koustubha Bhat and Lazar Stričević and Geng Chen and Diogo Behrens and Ming Fu and Viktor Vafeiadis and Haibo Chen and Hermann Härtig}, title = {AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3575693.3579849}, year = {2023}, } 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)


@InProceedings{ASPLOS23p101, author = {Ziming Zhao and Mingyu Wu and Jiawei Tang and Binyu Zang and Zhaoguo Wang and Haibo Chen}, title = {BeeHive: Sub-second Elasticity for Web Services with Semi-FaaS Execution}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {101-100}, doi = {10.1145/3575693.3575752}, year = {2023}, } 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)


@InProceedings{ASPLOS23p121, author = {Gokul Subramanian Ravi and Jonathan M. Baker and Arash Fayyazi and Sophia Fuhui Lin and Ali Javadi-Abhari and Massoud Pedram and Frederic T. Chong}, title = {Better Than Worst-Case Decoding for Quantum Error Correction}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {121-120}, doi = {10.1145/3575693.3575733}, year = {2023}, } 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)


@InProceedings{ASPLOS23p141, author = {Shuangyan Yang and Minjia Zhang and Wenqian Dong and Dong Li}, title = {Betty: Enabling Large-Scale GNN Training with Batch-Level Graph Partitioning}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {141-140}, doi = {10.1145/3575693.3575725}, year = {2023}, } 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)


@InProceedings{ASPLOS23p161, author = {Bilge Acun and Benjamin Lee and Fiodar Kazhamiaka and Kiwan Maeng and Udit Gupta and Manoj Chakkaravarthy and David Brooks and Carole-Jean Wu}, title = {Carbon Explorer: A Holistic Framework for Designing Carbon Aware Datacenters}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {161-160}, doi = {10.1145/3575693.3575754}, year = {2023}, } 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)


@InProceedings{ASPLOS23p181, author = {Mahbod Afarin and Chao Gao and Shafiur Rahman and Nael Abu-Ghazaleh and Rajiv Gupta}, title = {CommonGraph: Graph Analytics on Evolving Data}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {181-180}, doi = {10.1145/3575693.3575713}, year = {2023}, } Publisher's Version

Compilation Consistency Modulo Debug Information
Theodore Luo Wang, Yongqiang Tian, Yiwen Dong, Zhenyang Xu, and Chengnian Sun
(University of Waterloo, Canada)


@InProceedings{ASPLOS23p201, author = {Theodore Luo Wang and Yongqiang Tian and Yiwen Dong and Zhenyang Xu and Chengnian Sun}, title = {Compilation Consistency Modulo Debug Information}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {201-200}, doi = {10.1145/3575693.3575740}, year = {2023}, } 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)


@InProceedings{ASPLOS23p221, author = {Finn Hackett and Shayan Hosseini and Renato Costa and Matthew Do and Ivan Beschastnikh}, title = {Compiling Distributed System Models with PGo}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {221-220}, doi = {10.1145/3575693.3575695}, year = {2023}, } 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)


@InProceedings{ASPLOS23p241, author = {David Hildenbrand and Martin Schulz and Nadav Amit}, title = {Copy-on-Pin: The Missing Piece for Correct Copy-on-Write}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {241-240}, doi = {10.1145/3575693.3575716}, year = {2023}, } 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)


@InProceedings{ASPLOS23p261, author = {Chris Porter and Sharjeel Khan and Santosh Pande}, title = {Decker: Attack Surface Reduction via On-Demand Code Mapping}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {261-260}, doi = {10.1145/3575693.3575734}, year = {2023}, } 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)


@InProceedings{ASPLOS23p281, author = {Jaehoon Jung and Jinpyo Kim and Jaejin Lee}, title = {DeepUM: Tensor Migration and Prefetching in Unified Memory}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {281-280}, doi = {10.1145/3575693.3575736}, year = {2023}, } 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)


@InProceedings{ASPLOS23p301, author = {Mingyu Liang and Yu Gan and Yueying Li and Carlos Torres and Abhishek Dhanotia and Mahesh Ketkar and Christina Delimitrou}, title = {Ditto: End-to-End Application Cloning for Networked Cloud Services}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {301-300}, doi = {10.1145/3575693.3575751}, year = {2023}, } 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)


@InProceedings{ASPLOS23p321, author = {Yizhao Gao and Baoheng Zhang and Xiaojuan Qi and Hayden Kwok-Hay So}, title = {DPACS: Hardware Accelerated Dynamic Neural Network Pruning through Algorithm-Architecture Co-design}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {321-320}, doi = {10.1145/3575693.3575728}, year = {2023}, } 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)


@InProceedings{ASPLOS23p341, author = {Abel Souza and Noman Bashir and Jorge Murillo and Walid Hanafy and Qianlin Liang and David Irwin and Prashant Shenoy}, title = {Ecovisor: A Virtual Energy System for Carbon-Efficient Applications}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {341-340}, doi = {10.1145/3575693.3575709}, year = {2023}, } 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)


@InProceedings{ASPLOS23p361, author = {Diandian Gu and Yihao Zhao and Yinmin Zhong and Yifan Xiong and Zhenhua Han and Peng Cheng and Fan Yang and Gang Huang and Xin Jin and Xuanzhe Liu}, title = {ElasticFlow: An Elastic Serverless Training Platform for Distributed Deep Learning}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {361-360}, doi = {10.1145/3575693.3575721}, year = {2023}, } 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)


@InProceedings{ASPLOS23p381, author = {Daniar H. Kurniawan and Ruipu Wang and Kahfi S. Zulkifli and Fandi A. Wiranata and John Bent and Ymir Vigfusson and Haryadi S. Gunawi}, title = {EVStore: Storage and Caching Capabilities for Scaling Embedding Tables in Deep Recommendation Systems}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {381-380}, doi = {10.1145/3575693.3575718}, year = {2023}, } 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)


@InProceedings{ASPLOS23p401, author = {Sheng-Chun Kao and Suvinay Subramanian and Gaurav Agrawal and Amir Yazdanbakhsh and Tushar Krishna}, title = {FLAT: An Optimized Dataflow for Mitigating Attention Bottlenecks}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {401-400}, doi = {10.1145/3575693.3575747}, year = {2023}, } 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)


@InProceedings{ASPLOS23p421, author = {Ramin Ayanzadeh and Narges Alavisamani and Poulami Das and Moinuddin Qureshi}, title = {FrozenQubits: Boosting Fidelity of QAOA by Skipping Hotspot Nodes}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {421-420}, doi = {10.1145/3575693.3575741}, year = {2023}, } Publisher's Version

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)


@InProceedings{ASPLOS23p441, author = {Zaid Qureshi and Vikram Sharma Mailthody and Isaac Gelado and Seungwon Min and Amna Masood and Jeongmin Park and Jinjun Xiong and C. J. Newburn and Dmitri Vainbrand and I-Hsin Chung and Michael Garland and William Dally and Wen-mei Hwu}, title = {GPU-Initiated On-Demand High-Throughput Storage Access in the BaM System Architecture}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {441-440}, doi = {10.1145/3575693.3575748}, year = {2023}, } 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)


@InProceedings{ASPLOS23p461, author = {Weiliang Ma and Qian Xiong and Xuanhua Shi and Xiaosong Ma and Hai Jin and Haozhao Kuang and Mingyu Gao and Ye Zhang and Haichen Shen and Weifang Hu}, title = {GZKP: A GPU Accelerated Zero-Knowledge Proof System}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {461-460}, doi = {10.1145/3575693.3575711}, year = {2023}, } Publisher's Version

Hacky Racers: Exploiting Instruction-Level Parallelism to Generate Stealthy Fine-Grained Timers
Haocheng Xiao and Sam Ainsworth
(University of Edinburgh, UK)


@InProceedings{ASPLOS23p481, author = {Haocheng Xiao and Sam Ainsworth}, title = {Hacky Racers: Exploiting Instruction-Level Parallelism to Generate Stealthy Fine-Grained Timers}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {481-480}, doi = {10.1145/3575693.3575700}, year = {2023}, } 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)


@InProceedings{ASPLOS23p501, author = {Yaoyao Ding and Cody Hao Yu and Bojian Zheng and Yizhi Liu and Yida Wang and Gennady Pekhimenko}, title = {Hidet: Task-Mapping Programming Paradigm for Deep Learning Tensor Programs}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {501-500}, doi = {10.1145/3575693.3575702}, year = {2023}, } 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)


@InProceedings{ASPLOS23p521, author = {Dingqing Yang and Prashant J. Nair and Mieszko Lis}, title = {HuffDuff: Stealing Pruned DNNs from Sparse Accelerators}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {521-520}, doi = {10.1145/3575693.3575738}, year = {2023}, } 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)


@InProceedings{ASPLOS23p541, author = {Jennifer Switzer and Gabriel Marcano and Ryan Kastner and Pat Pannuto}, title = {Junkyard Computing: Repurposing Discarded Smartphones to Minimize Carbon}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {541-540}, doi = {10.1145/3575693.3575710}, year = {2023}, } Publisher's Version

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


@InProceedings{ASPLOS23p561, author = {Jingji Chen and Xuehai Qian}, title = {Khuzdul: Efficient and Scalable Distributed Graph Pattern Mining Engine}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {561-560}, doi = {10.1145/3575693.3575743}, year = {2023}, } Publisher's Version

KIT: Testing OS-Level Virtualization for Functional Interference Bugs
Congyu Liu, Sishuai Gong, and Pedro Fonseca
(Purdue University, USA)


@InProceedings{ASPLOS23p581, author = {Congyu Liu and Sishuai Gong and Pedro Fonseca}, title = {KIT: Testing OS-Level Virtualization for Functional Interference Bugs}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {581-580}, doi = {10.1145/3575693.3575731}, year = {2023}, } 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)


@InProceedings{ASPLOS23p601, author = {Jinghan Sun and Shaobo Li and Yunxin Sun and Chao Sun and Dejan Vucinic and Jian Huang}, title = {LeaFTL: A Learning-Based Flash Translation Layer for Solid-State Drives}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {601-600}, doi = {10.1145/3575693.3575744}, year = {2023}, } 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)


@InProceedings{ASPLOS23p621, author = {Qinghao Hu and Meng Zhang and Peng Sun and Yonggang Wen and Tianwei Zhang}, title = {Lucid: A Non-intrusive, Scalable and Interpretable Scheduler for Deep Learning Training Jobs}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {621-620}, doi = {10.1145/3575693.3575705}, year = {2023}, } 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)


@InProceedings{ASPLOS23p641, author = {Reese Levine and Tianhao Guo and Mingun Cho and Alan Baker and Raph Levien and David Neto and Andrew Quinn and Tyler Sorensen}, title = {MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {641-640}, doi = {10.1145/3575693.3575750}, year = {2023}, } 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)


@InProceedings{ASPLOS23p661, author = {Yangyang Feng and Minhui Xie and Zijie Tian and Shuo Wang and Youyou Lu and Jiwu Shu}, title = {Mobius: Fine Tuning Large-Scale Models on Commodity GPU Servers}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {661-660}, doi = {10.1145/3575693.3575703}, year = {2023}, } 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)


@InProceedings{ASPLOS23p681, author = {Meghan Cowan and Saeed Maleki and Madanlal Musuvathi and Olli Saarikivi and Yifan Xiong}, title = {MSCCLang: Microsoft Collective Communication Language}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {681-680}, doi = {10.1145/3575693.3575724}, year = {2023}, } 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)


@InProceedings{ASPLOS23p701, author = {Gokul Subramanian Ravi and Kaitlin Smith and Jonathan M. Baker and Tejas Kannan and Nathan Earnest and Ali Javadi-Abhari and Henry Hoffmann and Frederic T. Chong}, title = {Navigating the Dynamic Noise Landscape of Variational Quantum Algorithms with QISMET}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {701-700}, doi = {10.1145/3575693.3575739}, year = {2023}, } 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)


@InProceedings{ASPLOS23p721, author = {Jiawei Liu and Jinkun Lin and Fabian Ruffy and Cheng Tan and Jinyang Li and Aurojit Panda and Lingming Zhang}, title = {NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {721-720}, doi = {10.1145/3575693.3575707}, year = {2023}, } 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)


@InProceedings{ASPLOS23p741, author = {Xia Zhao and Magnus Jahre and Yuhua Tang and Guangda Zhang and Lieven Eeckhout}, title = {NUBA: Non-Uniform Bandwidth GPUs}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {741-740}, doi = {10.1145/3575693.3575745}, year = {2023}, } 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)


@InProceedings{ASPLOS23p761, author = {Jaeyong Song and Jinkyu Yim and Jaewon Jung and Hongsun Jang and Hyung-Jin Kim and Youngsok Kim and Jinho Lee}, title = {Optimus-CC: Efficient Large NLP Model Training with 3D Parallelism Aware Communication Compression}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {761-760}, doi = {10.1145/3575693.3575712}, year = {2023}, } 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)


@InProceedings{ASPLOS23p781, author = {Huaicheng Li and Daniel S. Berger and Lisa Hsu and Daniel Ernst and Pantea Zardoshti and Stanko Novakovic and Monish Shah and Samir Rajadnya and Scott Lee and Ishwar Agarwal and Mark D. Hill and Marcus Fontoura and Ricardo Bianchini}, title = {Pond: CXL-Based Memory Pooling Systems for Cloud Platforms}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {781-780}, doi = {10.1145/3575693.3578835}, year = {2023}, } 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)


@InProceedings{ASPLOS23p801, author = {Yongju Song and Wook-Hee Kim and Sumit Kumar Monga and Changwoo Min and Young Ik Eom}, title = {Prism: Optimizing Key-Value Store for Modern Heterogeneous Storage Devices}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {801-800}, doi = {10.1145/3575693.3575722}, year = {2023}, } 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)


@InProceedings{ASPLOS23p821, author = {Mingyu Gao and Soham Chakraborty and Burcu Kulahcioglu Ozkan}, title = {Probabilistic Concurrency Testing for Weak Memory Programs}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {821-820}, doi = {10.1145/3575693.3575729}, year = {2023}, } 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)


@InProceedings{ASPLOS23p841, author = {Han Shen and Krzysztof Pszeniczny and Rahman Lavaee and Snehasish Kumar and Sriraman Tallam and Xinliang David Li}, title = {Propeller: A Profile Guided, Relinking Optimizer for Warehouse-Scale Applications}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {841-840}, doi = {10.1145/3575693.3575727}, year = {2023}, } 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)


@InProceedings{ASPLOS23p861, author = {Haochen Huang and Bingyu Shen and Li Zhong and Yuanyuan Zhou}, title = {Protecting Data Integrity of Web Applications with Database Constraints Inferred from Application Code}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {861-860}, doi = {10.1145/3575693.3575699}, year = {2023}, } 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)


@InProceedings{ASPLOS23p881, author = {Andrew Litteken and Lennart Maximilian Seifert and Jason Chadwick and Natalia Nottingham and Frederic T. Chong and Jonathan M. Baker}, title = {Qompress: Efficient Compilation for Ququarts Exploiting Partial and Mixed Radix Operations for Communication Reduction}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {881-880}, doi = {10.1145/3575693.3575726}, year = {2023}, } 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)


@InProceedings{ASPLOS23p901, author = {Thomas Kim and Jekyeom Jeon and Nikhil Arora and Huaicheng Li and Michael Kaminsky and David G. Andersen and Gregory R. Ganger and George Amvrosiadis and Matias Bjørling}, title = {RAIZN: Redundant Array of Independent Zoned Namespaces}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {901-900}, doi = {10.1145/3575693.3575746}, year = {2023}, } 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)


@InProceedings{ASPLOS23p921, author = {Zhuohui Duan and Jiabo Yao and Haikun Liu and Xiaofei Liao and Hai Jin and Yu Zhang}, title = {Revisiting Log-Structured Merging for KV Stores in Hybrid Memory Systems}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {921-920}, doi = {10.1145/3575693.3575715}, year = {2023}, } 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)


@InProceedings{ASPLOS23p941, author = {Shweta Pandey and Aditya K Kamath and Arkaprava Basu}, title = {Scoped Buffered Persistency Model for GPUs}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {941-940}, doi = {10.1145/3575693.3575749}, year = {2023}, } 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)


@InProceedings{ASPLOS23p961, author = {Sungsoo Han and Minseong Jang and Jeehoon Kang}, title = {ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {961-960}, doi = {10.1145/3575693.3575701}, year = {2023}, } 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)


@InProceedings{ASPLOS23p981, author = {Tian Zhao and Alexander Rucker and Kunle Olukotun}, title = {Sigma: Compiling Einstein Summations to Locality-Aware Dataflow}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {981-980}, doi = {10.1145/3575693.3575694}, year = {2023}, } Publisher's Version

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


@InProceedings{ASPLOS23p1001, author = {Grigory Chirkov and David Wentzlaff}, title = {SMAPPIC: Scalable Multi-FPGA Architecture Prototype Platform in the Cloud}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {1001-1000}, doi = {10.1145/3575693.3575753}, year = {2023}, } 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)


@InProceedings{ASPLOS23p1021, author = {Zhiyao Li and Jiaxiang Li and Taijie Chen and Dimin Niu and Hongzhong Zheng and Yuan Xie and Mingyu Gao}, title = {Spada: Accelerating Sparse Matrix Multiplication with Adaptive Dataflow}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {1021-1020}, doi = {10.1145/3575693.3575706}, year = {2023}, } 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)


@InProceedings{ASPLOS23p1041, author = {Chencheng Ye and Yuanchao Xu and Xipeng Shen and Yan Sha and Xiaofei Liao and Hai Jin and Yan Solihin}, title = {SpecPMT: Speculative Logging for Resolving Crash Consistency Overhead of Persistent Memory}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {1041-1040}, doi = {10.1145/3575693.3575696}, year = {2023}, } Publisher's Version

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


@InProceedings{ASPLOS23p1061, author = {Griffin Berlstein and Rachit Nigam and Christophe Gyurgyik and Adrian Sampson}, title = {Stepwise Debugging for Hardware Accelerators}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {1061-1060}, doi = {10.1145/3575693.3575717}, year = {2023}, } 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)


@InProceedings{ASPLOS23p1081, author = {Liwei Guo and Wonkyo Choe and Felix Xiaozhu Lin}, title = {STI: Turbocharge NLP Inference at the Edge via Elastic Pipelining}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {1081-1080}, doi = {10.1145/3575693.3575698}, year = {2023}, } 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)


@InProceedings{ASPLOS23p1101, author = {Siyuan Feng and Bohan Hou and Hongyi Jin and Wuwei Lin and Junru Shao and Ruihang Lai and Zihao Ye and Lianmin Zheng and Cody Hao Yu and Yong Yu and Tianqi Chen}, title = {TensorIR: An Abstraction for Automatic Tensorized Program Optimization}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {1101-1100}, doi = {10.1145/3575693.3576933}, year = {2023}, } 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)


@InProceedings{ASPLOS23p1121, author = {Anand Jayarajan and Wei Zhao and Yudi Sun and Gennady Pekhimenko}, title = {TiLT: A Time-Centric Approach for Stream Query Optimization and Parallelization}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {1121-1120}, doi = {10.1145/3575693.3575704}, year = {2023}, } 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)


@InProceedings{ASPLOS23p1141, author = {Yi Zhai and Yu Zhang and Shuo Liu and Xiaomeng Chu and Jie Peng and Jianmin Ji and Yanyong Zhang}, title = {TLP: A Deep Learning-Based Cost Model for Tensor Program Tuning}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {1141-1140}, doi = {10.1145/3575693.3575737}, year = {2023}, } 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)


@InProceedings{ASPLOS23p1161, author = {Henrique Fingler and Isha Tarte and Hangchen Yu and Ariel Szekely and Bodun Hu and Aditya Akella and Christopher J. Rossbach}, title = {Towards a Machine Learning-Assisted Kernel with LAKE}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {1161-1160}, doi = {10.1145/3575693.3575697}, year = {2023}, } 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)


@InProceedings{ASPLOS23p1181, author = {Marcos K. Aguilera and Naama Ben-David and Rachid Guerraoui and Antoine Murat and Athanasios Xygkis and Igor Zablotchi}, title = {uBFT: Microsecond-Scale BFT using Disaggregated Memory}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {1181-1180}, doi = {10.1145/3575693.3575732}, year = {2023}, } 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)


@InProceedings{ASPLOS23p1201, author = {Yangjie Zhou and Jingwen Leng and Yaoxu Song and Shuwen Lu and Mian Wang and Chao Li and Minyi Guo and Wenting Shen and Yong Li and Wei Lin and Xiangwen Liu and Hanqing Wu}, title = {uGrapher: High-Performance Graph Operator Computation via Unified Abstraction for Graph Neural Networks}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {1201-1200}, doi = {10.1145/3575693.3575723}, year = {2023}, } 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)


@InProceedings{ASPLOS23p1221, author = {Xin You and Hailong Yang and Kelun Lei and Zhongzhi Luan and Depei Qian}, title = {VClinic: A Portable and Efficient Framework for Fine-Grained Value Profilers}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {1221-1220}, doi = {10.1145/3575693.3576934}, year = {2023}, } 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)


@InProceedings{ASPLOS23p1241, author = {Ziqi Yuan and Siyu Hong and Rui Chang and Yajin Zhou and Wenbo Shen and Kui Ren}, title = {VDom: Fast and Unlimited Virtual Domains on Multiple Architectures}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {1241-1240}, doi = {10.1145/3575693.3575735}, year = {2023}, } 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)


@InProceedings{ASPLOS23p1261, author = {Jaeyeon Won and Charith Mendis and Joel S. Emer and Saman Amarasinghe}, title = {WACO: Learning Workload-Aware Co-optimization of the Format and Schedule of a Sparse Tensor Program}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {1261-1260}, doi = {10.1145/3575693.3575742}, year = {2023}, } 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)


@InProceedings{ASPLOS23p1281, author = {Cristian Assaiante and Daniele Cono D'Elia and Giuseppe Antonio Di Luna and Leonardo Querzoni}, title = {Where Did My Variable Go? Poking Holes in Incomplete Debug Information}, booktitle = {Proc.\ ASPLOS}, publisher = {ACM}, pages = {1281-1280}, doi = {10.1145/3575693.3575720}, year = {2023}, } Publisher's Version