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
ASPLOS 2023 Volume II Program Chairs’ Message
Committees

Papers

Achieving Sub-second Pairwise Query over Evolving Graphs
Hongtao Chen ORCID logo, Mingxing Zhang ORCID logo, Ke Yang ORCID logo, Kang Chen ORCID logo, Albert Zomaya ORCID logo, Yongwei Wu ORCID logo, and Xuehai Qian ORCID logo
(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 ORCID logo, Lingfeng Pei ORCID logo, and Trevor E. Carlson ORCID logo
(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 ORCID logo, Wenfei Wu ORCID logo, Yanfang Le ORCID logo, Ming Liu ORCID logo, and ChonLam Lao ORCID logo
(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 ORCID logo, Alvin Oliver Glova ORCID logo, Timothy SherwoodORCID logo, and Jonathan BalkindORCID logo
(University of California at Santa Barbara, USA)
Publisher's Version
AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM
Martin Beck ORCID logo, Koustubha Bhat ORCID logo, Lazar Stričević ORCID logo, Geng Chen ORCID logo, Diogo Behrens ORCID logo, Ming Fu ORCID logo, Viktor VafeiadisORCID logo, Haibo Chen ORCID logo, and Hermann Härtig ORCID logo
(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 ORCID logo, Mingyu Wu ORCID logo, Jiawei Tang ORCID logo, Binyu Zang ORCID logo, Zhaoguo Wang ORCID logo, and Haibo Chen ORCID logo
(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 ORCID logo, Jonathan M. BakerORCID logo, Arash Fayyazi ORCID logo, Sophia Fuhui Lin ORCID logo, Ali Javadi-Abhari ORCID logo, Massoud Pedram ORCID logo, and Frederic T. ChongORCID logo
(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 ORCID logo, Minjia Zhang ORCID logo, Wenqian Dong ORCID logo, and Dong Li ORCID logo
(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 ORCID logo, Benjamin Lee ORCID logo, Fiodar Kazhamiaka ORCID logo, Kiwan Maeng ORCID logo, Udit Gupta ORCID logo, Manoj Chakkaravarthy ORCID logo, David Brooks ORCID logo, and Carole-Jean Wu ORCID logo
(Meta, USA; University of Pennsylvania, USA; Stanford University, USA; Harvard University, USA)
Publisher's Version
CommonGraph: Graph Analytics on Evolving Data
Mahbod Afarin ORCID logo, Chao Gao ORCID logo, Shafiur Rahman ORCID logo, Nael Abu-Ghazaleh ORCID logo, and Rajiv Gupta ORCID logo
(University of California at Riverside, USA)
Publisher's Version
Compilation Consistency Modulo Debug Information
Theodore Luo Wang ORCID logo, Yongqiang Tian ORCID logo, Yiwen Dong ORCID logo, Zhenyang Xu ORCID logo, and Chengnian Sun ORCID logo
(University of Waterloo, Canada)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Compiling Distributed System Models with PGo
Finn Hackett ORCID logo, Shayan Hosseini ORCID logo, Renato Costa ORCID logo, Matthew Do ORCID logo, and Ivan Beschastnikh ORCID logo
(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 ORCID logo, Martin Schulz ORCID logo, and Nadav Amit ORCID logo
(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 ORCID logo, Sharjeel Khan ORCID logo, and Santosh Pande ORCID logo
(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 ORCID logo, Jinpyo Kim ORCID logo, and Jaejin Lee ORCID logo
(Moreh, South Korea; Seoul National University, South Korea)
Publisher's Version
Ditto: End-to-End Application Cloning for Networked Cloud Services
Mingyu Liang ORCID logo, Yu Gan ORCID logo, Yueying Li ORCID logo, Carlos Torres ORCID logo, Abhishek Dhanotia ORCID logo, Mahesh Ketkar ORCID logo, and Christina Delimitrou ORCID logo
(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 ORCID logo, Baoheng Zhang ORCID logo, Xiaojuan Qi ORCID logo, and Hayden Kwok-Hay So ORCID logo
(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 ORCID logo, Noman Bashir ORCID logo, Jorge Murillo ORCID logo, Walid Hanafy ORCID logo, Qianlin Liang ORCID logo, David Irwin ORCID logo, and Prashant Shenoy ORCID logo
(University of Massachusetts at Amherst, USA)
Publisher's Version
ElasticFlow: An Elastic Serverless Training Platform for Distributed Deep Learning
Diandian Gu ORCID logo, Yihao Zhao ORCID logo, Yinmin Zhong ORCID logo, Yifan Xiong ORCID logo, Zhenhua Han ORCID logo, Peng Cheng ORCID logo, Fan Yang ORCID logo, Gang Huang ORCID logo, Xin Jin ORCID logo, and Xuanzhe Liu ORCID logo
(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 ORCID logo, Ruipu Wang ORCID logo, Kahfi S. Zulkifli ORCID logo, Fandi A. Wiranata ORCID logo, John Bent ORCID logo, Ymir Vigfusson ORCID logo, and Haryadi S. Gunawi ORCID logo
(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 ORCID logo, Suvinay Subramanian ORCID logo, Gaurav Agrawal ORCID logo, Amir Yazdanbakhsh ORCID logo, and Tushar Krishna ORCID logo
(Georgia Institute of Technology, USA; Google, USA; Microsoft, USA)
Publisher's Version
FrozenQubits: Boosting Fidelity of QAOA by Skipping Hotspot Nodes
Ramin Ayanzadeh ORCID logo, Narges AlavisamaniORCID logo, Poulami Das ORCID logo, and Moinuddin QureshiORCID logo
(Georgia Institute of Technology, USA)
Publisher's Version Info
GPU-Initiated On-Demand High-Throughput Storage Access in the BaM System Architecture
Zaid Qureshi ORCID logo, Vikram Sharma Mailthody ORCID logo, Isaac Gelado ORCID logo, Seungwon Min ORCID logo, Amna Masood ORCID logo, Jeongmin Park ORCID logo, Jinjun Xiong ORCID logo, C. J. Newburn ORCID logo, Dmitri Vainbrand ORCID logo, I-Hsin Chung ORCID logo, Michael Garland ORCID logo, William Dally ORCID logo, and Wen-mei Hwu ORCID logo
(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 ORCID logo, Qian Xiong ORCID logo, Xuanhua Shi ORCID logo, Xiaosong Ma ORCID logo, Hai Jin ORCID logo, Haozhao Kuang ORCID logo, Mingyu Gao ORCID logo, Ye Zhang ORCID logo, Haichen Shen ORCID logo, and Weifang Hu ORCID logo
(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 ORCID logo and Sam AinsworthORCID logo
(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 ORCID logo, Cody Hao Yu ORCID logo, Bojian Zheng ORCID logo, Yizhi Liu ORCID logo, Yida Wang ORCID logo, and Gennady Pekhimenko ORCID logo
(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 ORCID logo, Prashant J. Nair ORCID logo, and Mieszko Lis ORCID logo
(University of British Columbia, Canada)
Publisher's Version
Junkyard Computing: Repurposing Discarded Smartphones to Minimize Carbon
Jennifer Switzer ORCID logo, Gabriel Marcano ORCID logo, Ryan Kastner ORCID logo, and Pat Pannuto ORCID logo
(University of California at San Diego, USA)
Publisher's Version
Khuzdul: Efficient and Scalable Distributed Graph Pattern Mining Engine
Jingji Chen ORCID logo and Xuehai Qian ORCID logo
(Purdue University, USA)
Publisher's Version
KIT: Testing OS-Level Virtualization for Functional Interference Bugs
Congyu LiuORCID logo, Sishuai GongORCID logo, and Pedro FonsecaORCID logo
(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 ORCID logo, Shaobo Li ORCID logo, Yunxin Sun ORCID logo, Chao Sun ORCID logo, Dejan Vucinic ORCID logo, and Jian Huang ORCID logo
(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 ORCID logo, Meng Zhang ORCID logo, Peng Sun ORCID logo, Yonggang Wen ORCID logo, and Tianwei Zhang ORCID logo
(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 ORCID logo, Tianhao Guo ORCID logo, Mingun Cho ORCID logo, Alan Baker ORCID logo, Raph Levien ORCID logo, David Neto ORCID logo, Andrew QuinnORCID logo, and Tyler Sorensen ORCID logo
(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 ORCID logo, Minhui Xie ORCID logo, Zijie Tian ORCID logo, Shuo Wang ORCID logo, Youyou Lu ORCID logo, and Jiwu Shu ORCID logo
(Tsinghua University, China)
Publisher's Version
MSCCLang: Microsoft Collective Communication Language
Meghan Cowan ORCID logo, Saeed MalekiORCID logo, Madanlal Musuvathi ORCID logo, Olli Saarikivi ORCID logo, and Yifan Xiong ORCID logo
(Microsoft Research, USA; Microsoft Research, China)
Publisher's Version
Navigating the Dynamic Noise Landscape of Variational Quantum Algorithms with QISMET
Gokul Subramanian Ravi ORCID logo, Kaitlin Smith ORCID logo, Jonathan M. BakerORCID logo, Tejas Kannan ORCID logo, Nathan Earnest ORCID logo, Ali Javadi-Abhari ORCID logo, Henry HoffmannORCID logo, and Frederic T. ChongORCID logo
(University of Chicago, USA; IBM, USA)
Publisher's Version
NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers
Jiawei LiuORCID logo, Jinkun LinORCID logo, Fabian RuffyORCID logo, Cheng Tan ORCID logo, Jinyang LiORCID logo, Aurojit Panda ORCID logo, and Lingming Zhang ORCID logo
(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 ORCID logo, Magnus Jahre ORCID logo, Yuhua Tang ORCID logo, Guangda Zhang ORCID logo, and Lieven Eeckhout ORCID logo
(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 ORCID logo, Jinkyu Yim ORCID logo, Jaewon Jung ORCID logo, Hongsun Jang ORCID logo, Hyung-Jin Kim ORCID logo, Youngsok Kim ORCID logo, and Jinho Lee ORCID logo
(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 ORCID logo, Daniel S. Berger ORCID logo, Lisa Hsu ORCID logo, Daniel Ernst ORCID logo, Pantea ZardoshtiORCID logo, Stanko Novakovic ORCID logo, Monish Shah ORCID logo, Samir Rajadnya ORCID logo, Scott Lee ORCID logo, Ishwar Agarwal ORCID logo, Mark D. HillORCID logo, Marcus Fontoura ORCID logo, and Ricardo Bianchini ORCID logo
(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 ORCID logo, Wook-Hee Kim ORCID logo, Sumit Kumar Monga ORCID logo, Changwoo Min ORCID logo, and Young Ik Eom ORCID logo
(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 ORCID logo, Soham Chakraborty ORCID logo, and Burcu Kulahcioglu Ozkan ORCID logo
(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 ORCID logo, Krzysztof Pszeniczny ORCID logo, Rahman Lavaee ORCID logo, Snehasish Kumar ORCID logo, Sriraman Tallam ORCID logo, and Xinliang David LiORCID logo
(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 ORCID logo, Bingyu Shen ORCID logo, Li Zhong ORCID logo, and Yuanyuan Zhou ORCID logo
(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 LittekenORCID logo, Lennart Maximilian Seifert ORCID logo, Jason Chadwick ORCID logo, Natalia Nottingham ORCID logo, Frederic T. ChongORCID logo, and Jonathan M. BakerORCID logo
(University of Chicago, USA)
Publisher's Version
RAIZN: Redundant Array of Independent Zoned Namespaces
Thomas Kim ORCID logo, Jekyeom Jeon ORCID logo, Nikhil Arora ORCID logo, Huaicheng LiORCID logo, Michael Kaminsky ORCID logo, David G. Andersen ORCID logo, Gregory R. Ganger ORCID logo, George Amvrosiadis ORCID logo, and Matias Bjørling ORCID logo
(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 ORCID logo, Jiabo Yao ORCID logo, Haikun Liu ORCID logo, Xiaofei Liao ORCID logo, Hai Jin ORCID logo, and Yu Zhang ORCID logo
(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 ORCID logo, Aditya K Kamath ORCID logo, and Arkaprava Basu ORCID logo
(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 ORCID logo, Minseong Jang ORCID logo, and Jeehoon KangORCID logo
(KAIST, South Korea)
Publisher's Version Published Artifact Artifacts Available
Sigma: Compiling Einstein Summations to Locality-Aware Dataflow
Tian Zhao ORCID logo, Alexander Rucker ORCID logo, and Kunle Olukotun ORCID logo
(Stanford University, USA)
Publisher's Version
SMAPPIC: Scalable Multi-FPGA Architecture Prototype Platform in the Cloud
Grigory Chirkov ORCID logo and David Wentzlaff ORCID logo
(Princeton University, USA)
Publisher's Version
Spada: Accelerating Sparse Matrix Multiplication with Adaptive Dataflow
Zhiyao Li ORCID logo, Jiaxiang Li ORCID logo, Taijie Chen ORCID logo, Dimin Niu ORCID logo, Hongzhong Zheng ORCID logo, Yuan Xie ORCID logo, and Mingyu Gao ORCID logo
(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 ORCID logo, Yuanchao Xu ORCID logo, Xipeng ShenORCID logo, Yan Sha ORCID logo, Xiaofei Liao ORCID logo, Hai Jin ORCID logo, and Yan Solihin ORCID logo
(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 ORCID logo, Rachit NigamORCID logo, Christophe Gyurgyik ORCID logo, and Adrian SampsonORCID logo
(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 ORCID logo, Wonkyo Choe ORCID logo, and Felix Xiaozhu Lin ORCID logo
(University of Virginia, USA)
Publisher's Version
TensorIR: An Abstraction for Automatic Tensorized Program Optimization
Siyuan Feng ORCID logo, Bohan Hou ORCID logo, Hongyi Jin ORCID logo, Wuwei Lin ORCID logo, Junru Shao ORCID logo, Ruihang Lai ORCID logo, Zihao Ye ORCID logo, Lianmin Zheng ORCID logo, Cody Hao Yu ORCID logo, Yong Yu ORCID logo, and Tianqi Chen ORCID logo
(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 JayarajanORCID logo, Wei Zhao ORCID logo, Yudi Sun ORCID logo, and Gennady Pekhimenko ORCID logo
(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 ORCID logo, Yu Zhang ORCID logo, Shuo Liu ORCID logo, Xiaomeng Chu ORCID logo, Jie Peng ORCID logo, Jianmin Ji ORCID logo, and Yanyong Zhang ORCID logo
(University of Science and Technology of China, China)
Publisher's Version
Towards a Machine Learning-Assisted Kernel with LAKE
Henrique Fingler ORCID logo, Isha Tarte ORCID logo, Hangchen Yu ORCID logo, Ariel Szekely ORCID logo, Bodun Hu ORCID logo, Aditya Akella ORCID logo, and Christopher J. Rossbach ORCID logo
(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 ORCID logo, Naama Ben-David ORCID logo, Rachid Guerraoui ORCID logo, Antoine Murat ORCID logo, Athanasios Xygkis ORCID logo, and Igor Zablotchi ORCID logo
(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 ORCID logo, Jingwen Leng ORCID logo, Yaoxu Song ORCID logo, Shuwen Lu ORCID logo, Mian Wang ORCID logo, Chao Li ORCID logo, Minyi Guo ORCID logo, Wenting Shen ORCID logo, Yong Li ORCID logo, Wei Lin ORCID logo, Xiangwen Liu ORCID logo, and Hanqing Wu ORCID logo
(Shanghai Jiao Tong University, China; Alibaba Group, China)
Publisher's Version
VClinic: A Portable and Efficient Framework for Fine-Grained Value Profilers
Xin You ORCID logo, Hailong Yang ORCID logo, Kelun Lei ORCID logo, Zhongzhi Luan ORCID logo, and Depei Qian ORCID logo
(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 ORCID logo, Siyu Hong ORCID logo, Rui Chang ORCID logo, Yajin Zhou ORCID logo, Wenbo Shen ORCID logo, and Kui Ren ORCID logo
(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 ORCID logo, Charith Mendis ORCID logo, Joel S. Emer ORCID logo, and Saman AmarasingheORCID logo
(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 ORCID logo, Daniele Cono D'Elia ORCID logo, Giuseppe Antonio Di Luna ORCID logo, and Leonardo Querzoni ORCID logo
(Sapienza University of Rome, Italy)
Publisher's Version

proc time: 15.07