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

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

ASPLOS 2023 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
ASPLOS 2023 Message from the General Chair
ASPLOS 2023 Volume III Program Chairs’ Message
Committees
Sponsors

Keynotes

Direct Mind-Machine Teaming (Keynote)
Abhishek Bhattacharjee ORCID logo
(Yale University, USA)
Publisher's Version
Language Models: The Most Important Compute Challenge of Our Time (Keynote)
Bryan Catanzaro ORCID logo
(NVIDIA, USA)
Publisher's Version

Papers

ABNDP: Co-optimizing Data Access and Load Balance in Near-Data Processing
Boyu Tian ORCID logo, Qihang Chen ORCID logo, and Mingyu Gao ORCID logo
(Tsinghua University, China; Shanghai Qi Zhi Institute, Shanghai, China)
Publisher's Version
Accelerating Sparse Data Orchestration via Dynamic Reflexive Tiling
Toluwanimi O. Odemuyiwa ORCID logo, Hadi Asghari-Moghaddam ORCID logo, Michael Pellauer ORCID logo, Kartik Hegde ORCID logo, Po-An Tsai ORCID logo, Neal C. Crago ORCID logo, Aamer Jaleel ORCID logo, John D. Owens ORCID logo, Edgar Solomonik ORCID logo, Joel S. Emer ORCID logo, and Christopher W. FletcherORCID logo
(University of California at Davis, Davis, USA; University of Illinois at Urbana-Champaign, USA; NVIDIA, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
APEX: A Framework for Automated Processing Element Design Space Exploration using Frequent Subgraph Analysis
Jackson Melchert ORCID logo, Kathleen Feng ORCID logo, Caleb Donovick ORCID logo, Ross Daly ORCID logo, Ritvik Sharma ORCID logo, Clark Barrett ORCID logo, Mark A. Horowitz ORCID logo, Pat Hanrahan ORCID logo, and Priyanka Raina ORCID logo
(Stanford University, USA)
Publisher's Version
Beyond Static Parallel Loops: Supporting Dynamic Task Parallelism on Manycore Architectures with Software-Managed Scratchpad Memories
Lin Cheng ORCID logo, Max Ruttenberg ORCID logo, Dai Cheol Jung ORCID logo, Dustin Richmond ORCID logo, Michael Taylor ORCID logo, Mark Oskin ORCID logo, and Christopher Batten ORCID logo
(Cornell University, USA; University of Washington, USA; University of California at Santa Cruz, Santa Cruz, USA)
Publisher's Version
CaQR: A Compiler-Assisted Approach for Qubit Reuse through Dynamic Circuit
Fei Hua ORCID logo, Yuwei Jin ORCID logo, Yanhao Chen ORCID logo, Suhas Vittal ORCID logo, Kevin Krsulich ORCID logo, Lev S. Bishop ORCID logo, John Lapeyre ORCID logo, Ali Javadi-Abhari ORCID logo, and Eddy Z. Zhang ORCID logo
(Rutgers University, USA; Georgia Institute of Technology, USA; IBM, USA)
Publisher's Version
CaT: A Solver-Aided Compiler for Packet-Processing Pipelines
Xiangyu Gao ORCID logo, Divya Raghunathan ORCID logo, Ruijie Fang ORCID logo, Tao Wang ORCID logo, Xiaotong Zhu ORCID logo, Anirudh Sivaraman ORCID logo, Srinivas Narayana ORCID logo, and Aarti Gupta ORCID logo
(New York University, USA; Princeton University, USA; Rutgers University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
Characterizing and Optimizing End-to-End Systems for Private Inference
Karthik Garimella ORCID logo, Zahra Ghodsi ORCID logo, Nandan Kumar Jha ORCID logo, Siddharth Garg ORCID logo, and Brandon Reagen ORCID logo
(New York University, USA; Purdue University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
Cohort: Software-Oriented Acceleration for Heterogeneous SoCs
Tianrui Wei ORCID logo, Nazerke Turtayeva ORCID logo, Marcelo Orenes-Vera ORCID logo, Omkar Lonkar ORCID logo, and Jonathan BalkindORCID logo
(University of California at Berkeley, Berkeley, USA; University of California at Santa Barbara, Santa Barbara, USA; Princeton University, Princeton, USA)
Publisher's Version
Coyote: A Compiler for Vectorizing Encrypted Arithmetic Circuits
Raghav Malik ORCID logo, Kabir Sheth ORCID logo, and Milind KulkarniORCID logo
(Purdue University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
DefT: Boosting Scalability of Deformable Convolution Operations on GPUs
Edward Hanson ORCID logo, Mark Horton ORCID logo, Hai (Helen) Li ORCID logo, and Yiran Chen ORCID logo
(Duke University, Durham, USA)
Publisher's Version
Disaggregated RAID Storage in Modern Datacenters
Junyi Shu ORCID logo, Ruidong Zhu ORCID logo, Yun Ma ORCID logo, Gang Huang ORCID logo, Hong Mei ORCID logo, Xuanzhe Liu ORCID logo, and Xin Jin ORCID logo
(Peking University, China)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
DrGPUM: Guiding Memory Optimization for GPU-Accelerated Applications
Mao Lin ORCID logo, Keren Zhou ORCID logo, and Pengfei Su ORCID logo
(University of California at Merced, Merced, USA; OpenAI, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
Efficient Compactions between Storage Tiers with PrismDB
Ashwini Raina ORCID logo, Jianan Lu ORCID logo, Asaf Cidon ORCID logo, and Michael J. Freedman ORCID logo
(Princeton University, USA; Columbia University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
Efficient Scheduler Live Update for Linux Kernel with Modularization
Teng Ma ORCID logo, Shanpei Chen ORCID logo, Yihao Wu ORCID logo, Erwei Deng ORCID logo, Zhuo Song ORCID logo, Quan Chen ORCID logo, and Minyi Guo ORCID logo
(Alibaba Group, China; Shanghai Jiao Tong University, China)
Publisher's Version Published Artifact Artifacts Available
eHDL: Turning eBPF/XDP Programs into Hardware Designs for the NIC
Alessandro Rivitti ORCID logo, Roberto Bifulco ORCID logo, Angelo Tulumello ORCID logo, Marco Bonola ORCID logo, and Salvatore Pontarelli ORCID logo
(Axbryd, Italy; University of Rome Tor Vergata, Italy; NEC Laboratories Europe, Germany; CNIT, Italy; Sapienza University of Rome, Italy)
Publisher's Version
Exit-Less, Isolated, and Shared Access for Virtual Machines
Kenichi Yasukata ORCID logo, Hajime Tazaki ORCID logo, and Pierre-Louis Aublin ORCID logo
(IIJ Research Laboratory, Japan)
Publisher's Version
Finding Unstable Code via Compiler-Driven Differential Testing
Shaohua Li ORCID logo and Zhendong Su ORCID logo
(ETH Zurich, Switzerland)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
Flexagon: A Multi-dataflow Sparse-Sparse Matrix Multiplication Accelerator for Efficient DNN Processing
Francisco Muñoz-Martínez ORCID logo, Raveesh Garg ORCID logo, Michael Pellauer ORCID logo, José L. AbellánORCID logo, Manuel E. Acacio ORCID logo, and Tushar Krishna ORCID logo
(Universidad de Murcia, Spain; Georgia Institute of Technology, USA; NVIDIA, USA)
Publisher's Version
Going beyond the Limits of SFI: Flexible and Secure Hardware-Assisted In-Process Isolation with HFI
Shravan Narayan ORCID logo, Tal Garfinkel ORCID logo, Mohammadkazem Taram ORCID logo, Joey Rudek ORCID logo, Daniel Moghimi ORCID logo, Evan Johnson ORCID logo, Chris Fallin ORCID logo, Anjo Vahldiek-Oberwagner ORCID logo, Michael LeMay ORCID logo, Ravi Sahita ORCID logo, Dean Tullsen ORCID logo, and Deian Stefan ORCID logo
(University of California at San Diego, San Diego, USA; University of Texas at Austin, Austin, USA; Purdue University, USA; Fastly, USA; Intel Labs, Germany; Intel Labs, USA; Rivos, USA)
Publisher's Version
GRACE: A Scalable Graph-Based Approach to Accelerating Recommendation Model Inference
Haojie Ye ORCID logo, Sanketh Vedula ORCID logo, Yuhan Chen ORCID logo, Yichen Yang ORCID logo, Alex Bronstein ORCID logo, Ronald Dreslinski ORCID logo, Trevor Mudge ORCID logo, and Nishil Talati ORCID logo
(University of Michigan, USA; Technion, Israel)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
Graphene: An IR for Optimized Tensor Computations on GPUs
Bastian Hagedorn ORCID logo, Bin Fan ORCID logo, Hanfeng Chen ORCID logo, Cris Cecka ORCID logo, Michael Garland ORCID logo, and Vinod Grover ORCID logo
(NVIDIA, Germany; NVIDIA, USA)
Publisher's Version
Heron: Automatically Constrained High-Performance Library Generation for Deep Learning Accelerators
Jun Bi ORCID logo, Qi Guo ORCID logo, Xiaqing Li ORCID logo, Yongwei Zhao ORCID logo, Yuanbo Wen ORCID logo, Yuxuan Guo ORCID logo, Enshuai Zhou ORCID logo, Xing Hu ORCID logo, Zidong Du ORCID logo, Ling Li ORCID logo, Huaping Chen ORCID logo, and Tianshi Chen ORCID logo
(University of Science and Technology of China, China; Institute of Computing Technology at Chinese Academy of Sciences, China; Cambricon Technologies, China; Institute of Software at Chinese Academy of Sciences, China)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Homunculus: Auto-Generating Efficient Data-Plane ML Pipelines for Datacenter Networks
Tushar Swamy ORCID logo, Annus Zulfiqar ORCID logo, Luigi Nardi ORCID logo, Muhammad Shahbaz ORCID logo, and Kunle Olukotun ORCID logo
(Stanford University, USA; Purdue University, USA; Lund University, Sweden)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
Hyperscale Hardware Optimized Neural Architecture Search
Sheng Li ORCID logo, Garrett Andersen ORCID logo, Tao Chen ORCID logo, Liqun Cheng ORCID logo, Julian Grady ORCID logo, Da Huang ORCID logo, Quoc V. Le ORCID logo, Andrew Li ORCID logo, Xin Li ORCID logo, Yang Li ORCID logo, Chen Liang ORCID logo, Yifeng Lu ORCID logo, Yun Ni ORCID logo, Ruoming Pang ORCID logo, Mingxing Tan ORCID logo, Martin Wicke ORCID logo, Gang Wu ORCID logo, Shengqi Zhu ORCID logo, Parthasarathy Ranganathan ORCID logo, and Norman P. Jouppi ORCID logo
(Google, USA; Apple, USA; Waymo, USA)
Publisher's Version
Infinity Stream: Portable and Programmer-Friendly In-/Near-Memory Fusion
Zhengrong Wang ORCID logo, Christopher Liu ORCID logo, Aman Arora ORCID logo, Lizy John ORCID logo, and Tony NowatzkiORCID logo
(University of California at Los Angeles, Los Angeles, USA; University of Texas at Austin, Austin, USA)
Publisher's Version
In-Network Aggregation with Transport Transparency for Distributed Training
Shuo Liu ORCID logo, Qiaoling Wang ORCID logo, Junyi Zhang ORCID logo, Wenfei Wu ORCID logo, Qinliang Lin ORCID logo, Yao Liu ORCID logo, Meng Xu ORCID logo, Marco Canini ORCID logo, Ray C. C. Cheung ORCID logo, and Jianfei He ORCID logo
(Huawei Technologies, China; Peking University, China; Sun Yat-sen University, China; King Abdullah University of Science and Technology, Saudi Arabia; City University of Hong Kong, China)
Publisher's Version
Kodan: Addressing the Computational Bottleneck in Space
Bradley Denby ORCID logo, Krishna Chintalapudi ORCID logo, Ranveer Chandra ORCID logo, Brandon Lucia ORCID logo, and Shadi Noghabi ORCID logo
(Carnegie Mellon University, USA; Microsoft Research, USA)
Publisher's Version
LEGO: Empowering Chip-Level Functionality Plug-and-Play for Next-Generation IoT Devices
Chong Zhang ORCID logo, Songfan Li ORCID logo, Yihang Song ORCID logo, Qianhe Meng ORCID logo, Minghua Chen ORCID logo, YanXu Bai ORCID logo, Li Lu ORCID logo, and Hongzi Zhu ORCID logo
(University of Electronic Science and Technology of China, China; Shanghai Jiao Tong University, China)
Publisher's Version
Mapping Very Large Scale Spiking Neuron Network to Neuromorphic Hardware
Ouwen Jin ORCID logo, Qinghui Xing ORCID logo, Ying LiORCID logo, Shuiguang Deng ORCID logo, Shuibing He ORCID logo, and Gang Pan ORCID logo
(Zhejiang University, China)
Publisher's Version
Mosaic Pages: Big TLB Reach with Small Pages
Krishnan Gosakan ORCID logo, Jaehyun Han ORCID logo, William Kuszmaul ORCID logo, Ibrahim N. Mubarek ORCID logo, Nirjhar Mukherjee ORCID logo, Karthik Sriram ORCID logo, Guido Tagliavini ORCID logo, Evan West ORCID logo, Michael A. Bender ORCID logo, Abhishek Bhattacharjee ORCID logo, Alex Conway ORCID logo, Martin Farach-Colton ORCID logo, Jayneel Gandhi ORCID logo, Rob Johnson ORCID logo, Sudarsun Kannan ORCID logo, and Donald E. Porter ORCID logo
(Rutgers University, USA; University of North Carolina at Chapel Hill, USA; Massachusetts Institute of Technology, USA; Carnegie Mellon University, USA; Yale University, USA; Stony Brook University, USA; VMware Research, USA; Meta, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
MP-Rec: Hardware-Software Co-design to Enable Multi-path Recommendation
Samuel Hsia ORCID logo, Udit Gupta ORCID logo, Bilge Acun ORCID logo, Newsha Ardalani ORCID logo, Pan Zhong ORCID logo, Gu-Yeon Wei ORCID logo, David Brooks ORCID logo, and Carole-Jean Wu ORCID logo
(Harvard University, USA; Meta AI, USA)
Publisher's Version
NosWalker: A Decoupled Architecture for Out-of-Core Random Walk Processing
Shuke Wang ORCID logo, Mingxing Zhang ORCID logo, Ke Yang ORCID logo, Kang Chen ORCID logo, Shaonan Ma ORCID logo, Jinlei Jiang ORCID logo, and Yongwei Wu ORCID logo
(Tsinghua University, China; Beijing HaiZhi XingTu Technology, China)
Publisher's Version
Occamy: Elastically Sharing a SIMD Co-processor across Multiple CPU Cores
Zhongcheng Zhang ORCID logo, Yan Ou ORCID logo, Ying Liu ORCID logo, Chenxi WangORCID logo, Yongbin Zhou ORCID logo, Xiaoyu Wang ORCID logo, Yuyang Zhang ORCID logo, Yucheng Ouyang ORCID logo, Jiahao Shan ORCID logo, Ying Wang ORCID logo, Jingling Xue ORCID logo, Huimin Cui ORCID logo, and Xiaobing Feng ORCID logo
(Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; HiSilicon Technologies, China; UNSW, Sydney, Australia)
Publisher's Version
Persistent Memory Disaggregation for Cloud-Native Relational Databases
Chaoyi Ruan ORCID logo, Yingqiang Zhang ORCID logo, Chao Bi ORCID logo, Xiaosong Ma ORCID logo, Hao Chen ORCID logo, Feifei Li ORCID logo, Xinjun Yang ORCID logo, Cheng Li ORCID logo, Ashraf Aboulnaga ORCID logo, and Yinlong Xu ORCID logo
(University of Science and Technology of China, China; Alibaba Group, China; Qatar Computing Research Institute, Qatar; Hamad Bin Khalifa University, Qatar)
Publisher's Version
PipeSynth: Automated Synthesis of Microarchitectural Axioms for Memory Consistency
Chase Norman ORCID logo, Adwait Godbole ORCID logo, and Yatin A. Manerkar ORCID logo
(University of California at Berkeley, Berkeley, USA; University of Michigan, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
Protect the System Call, Protect (Most of) the World with BASTION
Christopher Jelesnianski ORCID logo, Mohannad Ismail ORCID logo, Yeongjin Jang ORCID logo, Dan Williams ORCID logo, and Changwoo Min ORCID logo
(Virginia Tech, USA; Oregon State University, USA)
Publisher's Version
Re-architecting I/O Caches for Emerging Fast Storage Devices
Mohammadamin Ajdari ORCID logo, Pouria Peykani Sani ORCID logo, Amirhossein Moradi ORCID logo, Masoud Khanalizadeh Imani ORCID logo, Amir Hossein Bazkhanei ORCID logo, and Hossein Asadi ORCID logo
(HPDS Research, Iran; Sharif University of Technology, Iran)
Publisher's Version
Reconfigurable Virtual Memory for FPGA-Driven I/O
Joshua Landgraf ORCID logo, Matthew Giordano ORCID logo, Esther Yoon ORCID logo, and Christopher J. Rossbach ORCID logo
(University of Texas at Austin, USA; Katana Graph, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
RepCut: Superlinear Parallel RTL Simulation with Replication-Aided Partitioning
Haoyuan Wang ORCID logo and Scott Beamer ORCID logo
(University of California at Santa Cruz, Santa Cruz, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
Rosebud: Making FPGA-Accelerated Middlebox Development More Pleasant
Moein Khazraee ORCID logo, Alex Forencich ORCID logo, George C. Papen ORCID logo, Alex C. Snoeren ORCID logo, and Aaron Schulman ORCID logo
(Massachusetts Institute of Technology, USA; University of California at San Diego, San Diego, USA)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Functional
Simulator Independent Coverage for RTL Hardware Languages
Kevin LaeuferORCID logo, Vighnesh Iyer ORCID logo, David Biancolin ORCID logo, Jonathan Bachrach ORCID logo, Borivoje Nikolić ORCID logo, and Koushik Sen ORCID logo
(University of California at Berkeley, Berkeley, USA; SiFive, USA; JITX, USA)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Functional Results Reproduced
Skybox: Open-Source Graphic Rendering on Programmable RISC-V GPUs
Blaise Tine ORCID logo, Varun Saxena ORCID logo, Santosh Srivatsan ORCID logo, Joshua R. Simpson ORCID logo, Fadi Alzammar ORCID logo, Liam Cooper ORCID logo, and Hyesoon Kim ORCID logo
(Georgia Institute of Technology, USA; California Polytechnic State University, USA)
Publisher's Version
Snape: Reliable and Low-Cost Computing with Mixture of Spot and On-Demand VMs
Fangkai Yang ORCID logo, Lu Wang ORCID logo, Zhenyu Xu ORCID logo, Jue Zhang ORCID logo, Liqun Li ORCID logo, Bo Qiao ORCID logo, Camille Couturier ORCID logo, Chetan Bansal ORCID logo, Soumya Ram ORCID logo, Si Qin ORCID logo, Zhen Ma ORCID logo, Íñigo Goiri ORCID logo, Eli Cortez ORCID logo, Terry Yang ORCID logo, Victor Rühle ORCID logo, Saravan Rajmohan ORCID logo, Qingwei Lin ORCID logo, and Dongmei Zhang ORCID logo
(Microsoft Research, China; Microsoft 365, France; Microsoft 365, USA; Microsoft Azure, USA; Microsoft 365, China; Microsoft 365, UK)
Publisher's Version
Space-Efficient TREC for Enabling Deep Learning on Microcontrollers
Jiesong Liu ORCID logo, Feng Zhang ORCID logo, Jiawei Guan ORCID logo, Hsin-Hsuan Sung ORCID logo, Xiaoguang Guo ORCID logo, Xiaoyong Du ORCID logo, and Xipeng ShenORCID logo
(Renmin University of China, China; North Carolina State University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
SparseTIR: Composable Abstractions for Sparse Compilation in Deep Learning
Zihao Ye ORCID logo, Ruihang Lai ORCID logo, Junru Shao ORCID logo, Tianqi Chen ORCID logo, and Luis Ceze ORCID logo
(University of Washington, USA; Carnegie Mellon University, USA; OctoML, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
SPLENDID: Supporting Parallel LLVM-IR Enhanced Natural Decompilation for Interactive Development
Zujun Tan ORCID logo, Yebin Chon ORCID logo, Michael Kruse ORCID logo, Johannes Doerfert ORCID logo, Ziyang Xu ORCID logo, Brian Homerding ORCID logo, Simone Campanoni ORCID logo, and David I. August ORCID logo
(Princeton University, USA; Argonne National Laboratory, USA; Northwestern University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
TeraHeap: Reducing Memory Pressure in Managed Big Data Frameworks
Iacovos G. KolokasisORCID logo, Giannos Evdorou ORCID logo, Shoaib Akram ORCID logo, Christos Kozanitis ORCID logo, Anastasios Papagiannis ORCID logo, Foivos S. Zakkak ORCID logo, Polyvios Pratikakis ORCID logo, and Angelos Bilas ORCID logo
(University of Crete, Greece; ICS-FORTH, Greece; Australian National University, Australia; Isovalent, USA; Red Hat, UK)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional
The Sparse Abstract Machine
Olivia Hsu ORCID logo, Maxwell Strange ORCID logo, Ritvik Sharma ORCID logo, Jaeyeon Won ORCID logo, Kunle Olukotun ORCID logo, Joel S. Emer ORCID logo, Mark A. Horowitz ORCID logo, and Fredrik Kjølstad ORCID logo
(Stanford University, USA; Massachusetts Institute of Technology, USA; NVIDIA, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
Towards an Adaptable Systems Architecture for Memory Tiering at Warehouse-Scale
Padmapriya Duraisamy ORCID logo, Wei Xu ORCID logo, Scott Hare ORCID logo, Ravi Rajwar ORCID logo, David Culler ORCID logo, Zhiyi Xu ORCID logo, Jianing Fan ORCID logo, Christopher KennellyORCID logo, Bill McCloskey ORCID logo, Danijela Mijailovic ORCID logo, Brian Morris ORCID logo, Chiranjit Mukherjee ORCID logo, Jingliang Ren ORCID logo, Greg Thelen ORCID logo, Paul Turner ORCID logo, Carlos Villavieja ORCID logo, Parthasarathy Ranganathan ORCID logo, and Amin Vahdat ORCID logo
(Google, USA; University of California at Berkeley, Berkeley, USA)
Publisher's Version
TPP: Transparent Page Placement for CXL-Enabled Tiered-Memory
Hasan Al Maruf ORCID logo, Hao Wang ORCID logo, Abhishek Dhanotia ORCID logo, Johannes Weiner ORCID logo, Niket Agarwal ORCID logo, Pallab Bhattacharya ORCID logo, Chris Petersen ORCID logo, Mosharaf Chowdhury ORCID logo, Shobhit Kanaujia ORCID logo, and Prakash Chauhan ORCID logo
(University of Michigan, USA; NVIDIA, USA; Meta, USA)
Publisher's Version
Transparent Runtime Change Handling for Android Apps
Zizhan Chen ORCID logo and Zili Shao ORCID logo
(Chinese University of Hong Kong, China)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Functional Results Reproduced
Untangle: A Principled Framework to Design Low-Leakage, High-Performance Dynamic Partitioning Schemes
Zirui Neil Zhao ORCID logo, Adam MorrisonORCID logo, Christopher W. FletcherORCID logo, and Josep TorrellasORCID logo
(University of Illinois at Urbana-Champaign, USA; Tel Aviv University, Israel)
Publisher's Version
Verification of Nondeterministic Quantum Programs
Yuan Feng ORCID logo and Yingte Xu ORCID logo
(University of Technology Sydney, Australia)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced
Vidi: Record Replay for Reconfigurable Hardware
Gefei ZuoORCID logo, Jiacheng MaORCID logo, Andrew QuinnORCID logo, and Baris KasikciORCID logo
(University of Michigan, USA; University of California at Santa Cruz, Santa Cruz, USA; Google, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced

proc time: 14.28