


default search action
ASPLOS 2023: Vancouver, BC, Canada
- Tor M. Aamodt, Natalie D. Enright Jerger, Michael M. Swift:

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, ASPLOS 2023, Vancouver, BC, Canada, March 25-29, 2023. ACM 2023, ISBN 978-1-4503-9916-6 - Hongtao Chen, Mingxing Zhang, Ke Yang, Kang Chen, Albert Y. Zomaya, Yongwei Wu, Xuehai Qian:

Achieving Sub-second Pairwise Query over Evolving Graphs. 1-15 - Yun Chen

, Lingfeng Pei, Trevor E. Carlson:
AfterImage: Leaking Control Flow Data and Tracking Load Operations via the Hardware Prefetcher. 16-32 - Yongchao He, Wenfei Wu, Yanfang Le, Ming Liu, ChonLam Lao

:
A Generic Service to Provide In-Network Aggregation for Key-Value Streams. 33-47 - Zhizhou Zhang

, Alvin Oliver Glova, Timothy Sherwood
, Jonathan Balkind:
A Prediction System Service. 48-60 - Martin Beck, Koustubha Bhat, Lazar Stricevic, Geng Chen, Diogo Behrens, Ming Fu, Viktor Vafeiadis, Haibo Chen, Hermann Härtig

:
AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM. 61-73 - Ziming Zhao, Mingyu Wu, Jiawei Tang, Binyu Zang, Zhaoguo Wang, Haibo Chen:

BeeHive: Sub-second Elasticity for Web Services with Semi-FaaS Execution. 74-87 - Gokul Subramanian Ravi

, Jonathan M. Baker
, Arash Fayyazi, Sophia Fuhui Lin, Ali Javadi-Abhari, Massoud Pedram, Frederic T. Chong:
Better Than Worst-Case Decoding for Quantum Error Correction. 88-102 - Shuangyan Yang

, Minjia Zhang, Wenqian Dong, Dong Li:
Betty: Enabling Large-Scale GNN Training with Batch-Level Graph Partitioning. 103-117 - Bilge Acun, Benjamin C. Lee, Fiodar Kazhamiaka, Kiwan Maeng, Udit Gupta

, Manoj Chakkaravarthy, David Brooks, Carole-Jean Wu:
Carbon Explorer: A Holistic Framework for Designing Carbon Aware Datacenters. 118-132 - Mahbod Afarin

, Chao Gao, Shafiur Rahman, Nael B. Abu-Ghazaleh, Rajiv Gupta
:
CommonGraph: Graph Analytics on Evolving Data. 133-145 - Theodore Luo Wang, Yongqiang Tian, Yiwen Dong, Zhenyang Xu, Chengnian Sun:

Compilation Consistency Modulo Debug Information. 146-158 - A. Finn Hackett, Shayan Hosseini, Renato Costa, Matthew Do, Ivan Beschastnikh:

Compiling Distributed System Models with PGo. 159-175 - David Hildenbrand, Martin Schulz

, Nadav Amit
:
Copy-on-Pin: The Missing Piece for Correct Copy-on-Write. 176-191 - Chris Porter

, Sharjeel Khan
, Santosh Pande
:
Decker: Attack Surface Reduction via On-Demand Code Mapping. 192-206 - Jaehoon Jung, Jinpyo Kim, Jaejin Lee:

DeepUM: Tensor Migration and Prefetching in Unified Memory. 207-221 - Mingyu Liang, Yu Gan, Yueying Li, Carlos Torres, Abhishek Dhanotia, Mahesh Ketkar, Christina Delimitrou:

Ditto: End-to-End Application Cloning for Networked Cloud Services. 222-236 - Yizhao Gao, Baoheng Zhang, Xiaojuan Qi, Hayden Kwok-Hay So

:
DPACS: Hardware Accelerated Dynamic Neural Network Pruning through Algorithm-Architecture Co-design. 237-251 - Abel Souza, Noman Bashir

, Jorge Murillo, Walid A. Hanafy, Qianlin Liang, David E. Irwin, Prashant J. Shenoy
:
Ecovisor: A Virtual Energy System for Carbon-Efficient Applications. 252-265 - Diandian Gu, Yihao Zhao, Yinmin Zhong, Yifan Xiong, Zhenhua Han, Peng Cheng, Fan Yang, Gang Huang, Xin Jin, Xuanzhe Liu

:
ElasticFlow: An Elastic Serverless Training Platform for Distributed Deep Learning. 266-280 - Daniar Heri Kurniawan, Ruipu Wang, Kahfi S. Zulkifli, Fandi A. Wiranata, John Bent, Ymir Vigfusson, Haryadi S. Gunawi:

EVStore: Storage and Caching Capabilities for Scaling Embedding Tables in Deep Recommendation Systems. 281-294 - Sheng-Chun Kao, Suvinay Subramanian, Gaurav Agrawal, Amir Yazdanbakhsh, Tushar Krishna:

FLAT: An Optimized Dataflow for Mitigating Attention Bottlenecks. 295-310 - Ramin Ayanzadeh

, Narges Alavisamani
, Poulami Das, Moinuddin K. Qureshi:
FrozenQubits: Boosting Fidelity of QAOA by Skipping Hotspot Nodes. 311-324 - Zaid Qureshi, Vikram Sharma Mailthody, Isaac Gelado, Seungwon Min, Amna Masood, Jeongmin Brian Park, Jinjun Xiong, Chris J. Newburn, Dmitri Vainbrand, I-Hsin Chung, Michael Garland, William J. Dally, Wen-Mei W. Hwu:

GPU-Initiated On-Demand High-Throughput Storage Access in the BaM System Architecture. 325-339 - Weiliang Ma, Qian Xiong

, Xuanhua Shi, Xiaosong Ma, Hai Jin, Haozhao Kuang, Mingyu Gao, Ye Zhang, Haichen Shen, Weifang Hu:
GZKP: A GPU Accelerated Zero-Knowledge Proof System. 340-353 - Haocheng Xiao, Sam Ainsworth

:
Hacky Racers: Exploiting Instruction-Level Parallelism to Generate Stealthy Fine-Grained Timers. 354-369 - Yaoyao Ding, Cody Hao Yu, Bojian Zheng, Yizhi Liu, Yida Wang, Gennady Pekhimenko:

Hidet: Task-Mapping Programming Paradigm for Deep Learning Tensor Programs. 370-384 - Dingqing Yang, Prashant J. Nair, Mieszko Lis:

HuffDuff: Stealing Pruned DNNs from Sparse Accelerators. 385-399 - Jennifer Switzer, Gabriel Marcano

, Ryan Kastner, Pat Pannuto:
Junkyard Computing: Repurposing Discarded Smartphones to Minimize Carbon. 400-412 - Jingji Chen, Xuehai Qian:

Khuzdul: Efficient and Scalable Distributed Graph Pattern Mining Engine. 413-426 - Congyu Liu

, Sishuai Gong
, Pedro Fonseca:
KIT: Testing OS-Level Virtualization for Functional Interference Bugs. 427-441 - Jinghan Sun

, Shaobo Li
, Yunxin Sun
, Chao Sun, Dejan Vucinic, Jian Huang:
LeaFTL: A Learning-Based Flash Translation Layer for Solid-State Drives. 442-456 - Qinghao Hu

, Meng Zhang
, Peng Sun, Yonggang Wen
, Tianwei Zhang:
Lucid: A Non-intrusive, Scalable and Interpretable Scheduler for Deep Learning Training Jobs. 457-472 - Reese Levine, Tianhao Guo, Mingun Cho, Alan Baker, Raph Levien

, David Neto, Andrew Quinn
, Tyler Sorensen
:
MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications. 473-488 - Yangyang Feng, Minhui Xie, Zijie Tian, Shuo Wang, Youyou Lu, Jiwu Shu:

Mobius: Fine Tuning Large-Scale Models on Commodity GPU Servers. 489-501 - Meghan Cowan, Saeed Maleki, Madanlal Musuvathi, Olli Saarikivi, Yifan Xiong:

MSCCLang: Microsoft Collective Communication Language. 502-514 - Gokul Subramanian Ravi

, Kaitlin N. Smith, Jonathan M. Baker
, Tejas Kannan, Nathan Earnest, Ali Javadi-Abhari, Henry Hoffmann, Frederic T. Chong:
Navigating the Dynamic Noise Landscape of Variational Quantum Algorithms with QISMET. 515-529 - Jiawei Liu

, Jinkun Lin
, Fabian Ruffy
, Cheng Tan, Jinyang Li, Aurojit Panda, Lingming Zhang:
NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers. 530-543 - Xia Zhao, Magnus Jahre, Yuhua Tang, Guangda Zhang, Lieven Eeckhout:

NUBA: Non-Uniform Bandwidth GPUs. 544-559 - Jaeyong Song

, Jinkyu Yim, Jaewon Jung, Hongsun Jang, Hyung-Jin Kim, Youngsok Kim, Jinho Lee
:
Optimus-CC: Efficient Large NLP Model Training with 3D Parallelism Aware Communication Compression. 560-573 - 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, Ricardo Bianchini:

Pond: CXL-Based Memory Pooling Systems for Cloud Platforms. 574-587 - Yongju Song, Wook-Hee Kim, Sumit Kumar Monga, Changwoo Min, Young Ik Eom:

Prism: Optimizing Key-Value Store for Modern Heterogeneous Storage Devices. 588-602 - Mingyu Gao, Soham Chakraborty, Burcu Kulahcioglu Ozkan

:
Probabilistic Concurrency Testing for Weak Memory Programs. 603-616 - Han Shen, Krzysztof Pszeniczny, Rahman Lavaee, Snehasish Kumar, Sriraman Tallam, Xinliang David Li:

Propeller: A Profile Guided, Relinking Optimizer for Warehouse-Scale Applications. 617-631 - Haochen Huang, Bingyu Shen

, Li Zhong
, Yuanyuan Zhou:
Protecting Data Integrity of Web Applications with Database Constraints Inferred from Application Code. 632-645 - Andrew Litteken, Lennart Maximilian Seifert, Jason Chadwick

, Natalia Nottingham, Frederic T. Chong, Jonathan M. Baker
:
Qompress: Efficient Compilation for Ququarts Exploiting Partial and Mixed Radix Operations for Communication Reduction. 646-659 - Thomas Kim, Jekyeom Jeon, Nikhil Arora, Huaicheng Li, Michael Kaminsky, David G. Andersen, Gregory R. Ganger, George Amvrosiadis, Matias Bjørling:

RAIZN: Redundant Array of Independent Zoned Namespaces. 660-673 - Zhuohui Duan

, Jiabo Yao, Haikun Liu, Xiaofei Liao, Hai Jin, Yu Zhang:
Revisiting Log-Structured Merging for KV Stores in Hybrid Memory Systems. 674-687 - Shweta Pandey, Aditya K. Kamath

, Arkaprava Basu:
Scoped Buffered Persistency Model for GPUs. 688-701 - Sungsoo Han, Minseong Jang, Jeehoon Kang

:
ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators. 702-717 - Tian Zhao, Alexander Rucker, Kunle Olukotun

:
Sigma: Compiling Einstein Summations to Locality-Aware Dataflow. 718-732 - Grigory Chirkov

, David Wentzlaff:
SMAPPIC: Scalable Multi-FPGA Architecture Prototype Platform in the Cloud. 733-746 - Zhiyao Li, Jiaxiang Li, Taijie Chen, Dimin Niu, Hongzhong Zheng, Yuan Xie, Mingyu Gao:

Spada: Accelerating Sparse Matrix Multiplication with Adaptive Dataflow. 747-761 - Chencheng Ye, Yuanchao Xu, Xipeng Shen

, Yan Sha, Xiaofei Liao, Hai Jin, Yan Solihin:
SpecPMT: Speculative Logging for Resolving Crash Consistency Overhead of Persistent Memory. 762-777 - Griffin Berlstein, Rachit Nigam, Christophe Gyurgyik, Adrian Sampson

:
Stepwise Debugging for Hardware Accelerators. 778-790 - Liwei Guo, Wonkyo Choe, Felix Xiaozhu Lin:

STI: Turbocharge NLP Inference at the Edge via Elastic Pipelining. 791-803 - Siyuan Feng

, Bohan Hou, Hongyi Jin, Wuwei Lin
, Junru Shao, Ruihang Lai, Zihao Ye
, Lianmin Zheng, Cody Hao Yu, Yong Yu, Tianqi Chen:
TensorIR: An Abstraction for Automatic Tensorized Program Optimization. 804-817 - Anand Jayarajan

, Wei Zhao
, Yudi Sun, Gennady Pekhimenko:
TiLT: A Time-Centric Approach for Stream Query Optimization and Parallelization. 818-832 - Yi Zhai, Yu Zhang

, Shuo Liu, Xiaomeng Chu, Jie Peng, Jianmin Ji, Yanyong Zhang:
TLP: A Deep Learning-Based Cost Model for Tensor Program Tuning. 833-845 - Henrique Fingler, Isha Tarte, Hangchen Yu

, Ariel Szekely, Bodun Hu, Aditya Akella, Christopher J. Rossbach
:
Towards a Machine Learning-Assisted Kernel with LAKE. 846-861 - Marcos K. Aguilera, Naama Ben-David, Rachid Guerraoui, Antoine Murat, Athanasios Xygkis, Igor Zablotchi:

uBFT: Microsecond-Scale BFT using Disaggregated Memory. 862-877 - Yangjie Zhou, Jingwen Leng, Yaoxu Song, Shuwen Lu, Mian Wang, Chao Li, Minyi Guo, Wenting Shen, Yong Li, Wei Lin, Xiangwen Liu, Hanqing Wu:

uGrapher: High-Performance Graph Operator Computation via Unified Abstraction for Graph Neural Networks. 878-891 - Xin You, Hailong Yang, Kelun Lei

, Zhongzhi Luan, Depei Qian:
VClinic: A Portable and Efficient Framework for Fine-Grained Value Profilers. 892-904 - Ziqi Yuan, Siyu Hong, Rui Chang, Yajin Zhou, Wenbo Shen, Kui Ren:

VDom: Fast and Unlimited Virtual Domains on Multiple Architectures. 905-919 - Jaeyeon Won, Charith Mendis

, Joel S. Emer, Saman P. Amarasinghe:
WACO: Learning Workload-Aware Co-optimization of the Format and Schedule of a Sparse Tensor Program. 920-934 - Cristian Assaiante

, Daniele Cono D'Elia, Giuseppe Antonio Di Luna, Leonardo Querzoni:
Where Did My Variable Go? Poking Holes in Incomplete Debug Information. 935-947

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














