Table of Contents

• Tetris: Memory-efficient Serverless Inference through Tensor SharingJie Li, Laiping Zhao, Yanan Yang, Kunlin Zhan, Keqiu Li. [doi]
• Margaret Martonosi, National Science FoundationMargaret Martonosi. [doi]
• Privbox: Faster System Calls Through Sandboxed Privileged ExecutionDmitry Kuznetsov, Adam Morrison 0001. [doi]
• Surprise-Inspired NetworkingDavid L. Tennenhouse. [doi]
• Eric Brewer, VP Infrastructure, Google Fellow and Professor Emeritus, UC BerkeleyEric A. Brewer. [doi]
• ZNSwap: un-Block your SwapShai Bergman, Niklas Cassel, Matias Bjørling, Mark Silberstein. 1-18 [doi]
• Building a High-performance Fine-grained Deduplication Framework for Backup Storage with High Deduplication RatioXiangyu Zou, Wen Xia, Philip Shilane, Haijun Zhang 0002, Xuan Wang 0002. 19-36 [doi]
• Secure and Lightweight Deduplicated Storage via Shielded Deduplication-Before-EncryptionZuoru Yang, Jingwei Li 0001, Patrick P. C. Lee. 37-52 [doi]
• RunD: A Lightweight Secure Container Runtime for High-density Deployment and High-concurrency Startup in Serverless ComputingZijun Li, Jiagan Cheng, Quan Chen 0002, Eryu Guan, Zizheng Bian, Yi Tao, Bin Zha, Qiang Wang, Weidong Han, Minyi Guo. 53-68 [doi]
• Help Rather Than Recycle: Alleviating Cold Startup in Serverless Computing Through Inter-Function Container SharingZijun Li, Linsong Guo, Quan Chen 0002, Jiagan Cheng, Chuhao Xu, Deze Zeng, Zhuo Song, Tao Ma, Yong Yang, Chao Li 0009, Minyi Guo. 69-84 [doi]
• RRC: Responsive Replicated ContainersDiyu Zhou, Yuval Tamir. 85-100 [doi]
• uKharon: A Membership Service for Microsecond ApplicationsRachid Guerraoui, Antoine Murat, Javier Picorel, Athanasios Xygkis, Huabing Yan, Pengfei Zuo. 101-120 [doi]
• KRCORE: A Microsecond-scale RDMA Control Plane for Elastic ComputingXingda Wei, Fangming Lu, Rong Chen 0001, Haibo Chen 0001. 121-136 [doi]
• Zero-Change Object Transmission for Distributed Big Data AnalyticsMingyu Wu 0001, Shuaiwei Wang, Haibo Chen 0001, Binyu Zang. 137-150 [doi]
• Sift: Using Refinement-guided Automation to Verify Complex Distributed SystemsHaojun Ma, Hammad Ahmad, Aman Goel, Eli Goldweber, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci. 151-166 [doi]
• Faith: An Efficient Framework for Transformer Verification on GPUsBoyuan Feng, Tianqi Tang 0001, Yuke Wang, Zhaodong Chen, Zheng Wang, Shu Yang, Yuan Xie 0001, Yufei Ding. 167-182 [doi]
• DVABatch: Diversity-aware Multi-Entry Multi-Exit Batching for Efficient Processing of DNN Services on GPUsWeihao Cui, Han Zhao 0005, Quan Chen 0002, Hao Wei, Zirui Li, Deze Zeng, Chao Li 0009, Minyi Guo. 183-198 [doi]
• Serving Heterogeneous Machine Learning Models on Multi-GPU Servers with Spatio-Temporal SharingSeungbeom Choi, Sunho Lee, Yeonjae Kim, Jongse Park, Youngjin Kwon, Jaehyuk Huh. 199-216 [doi]
• PilotFish: Harvesting Free Cycles of Cloud Gaming with Deep Learning TrainingWei Zhang 0149, Binghao Chen, Zhenhua Han, Quan Chen 0002, Peng Cheng 0005, Fan Yang 0024, Ran Shu, YuQing Yang, Minyi Guo. 217-232 [doi]
• BBQ: A Block-based Bounded Queue for Exchanging Data and ProfilingJiawei Wang, Diogo Behrens, Ming Fu, Lilith Oberhauser, Jonas Oberhauser, Jitang Lei, Geng Chen, Hermann Härtig, Haibo Chen 0001. 249-262 [doi]
• Sibylla: To Retry or Not To Retry on Deep Learning Job FailureTaeyoon Kim, Suyeon Jeong, Jongseop Lee, Soobee Lee, Myeongjae Jeon. 263-270 [doi]
• Speculative Recovery: Cheap, Highly Available Fault Tolerance with Disaggregated StorageNanqinqin Li, Anja Kalaba, Michael J. Freedman, Wyatt Lloyd, Amit Levy. 271-286 [doi]
• Direct Access, High-Performance Memory Disaggregation with DirectCXLDonghyun Gouk, Sangwon Lee, Miryeong Kwon, Myoungsoo Jung. 287-294 [doi]
• Not that Simple: Email Delivery in the 21st CenturyFlorian Holzbauer, Johanna Ullrich, Martina Lindorfer, Tobias Fiebig. 295-308 [doi]
• AddrMiner: A Comprehensive Global Active IPv6 Address Discovery SystemGuanglei Song, Jiahai Yang, Lin He 0004, Zhiliang Wang, Guo Li, Chenxin Duan, Yaozhong Liu, Zhongxiang Sun. 309-326 [doi]
• Co-opting Linux Processes for High-Performance Network SimulationRob Jansen, James Newsome, Ryan Wails. 327-350 [doi]
• KSG: Augmenting Kernel Fuzzing with System Call Specification GenerationHao Sun, Yuheng Shen, Jianzhong Liu, Yiru Xu, Yu Jiang. 351-366 [doi]
• DLOS: Effective Static Detection of Deadlocks in OS KernelsJia-Ju Bai, Tuo Li, Shi-Min Hu 0001. 367-382 [doi]
• Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync ModelsBeom Heyn Kim, Taesoo Kim, David Lie. 383-398 [doi]
• SoftTRR: Protect Page Tables against Rowhammer Attacks using Software-only Target Row RefreshZhi Zhang 0001, Yueqiang Cheng, Minghua Wang, Wei He, Wenhao Wang, Surya Nepal, Yansong Gao, Kang Li, Zhe Wang 0017, Chenggang Wu 0002. 399-414 [doi]
• Hardening Hypervisors with OmbroEthan Johnson, Colin Pronovost, John Criswell. 415-436 [doi]
• HyperEnclave: An Open and Cross-platform Trusted Execution EnvironmentYuekai Jia, Shuang Liu, Wenhao Wang, Yu Chen, Zhengde Zhai, Shoumeng Yan, Zhengyu He. 437-454 [doi]
• PRIDWEN: Universally Hardening SGX Programs via Load-Time SynthesisFan Sang, Ming-Wei Shih, Sangho Lee 0001, Xiaokuan Zhang, Michael Steiner 0001, Mona Vij, Taesoo Kim. 455-472 [doi]
• PetS: A Unified Framework for Parameter-Efficient Transformers ServingZhe Zhou, Xuechao Wei, Jiejing Zhang, Guangyu Sun. 489-504 [doi]
• Campo: Cost-Aware Performance Optimization for Mixed-Precision Neural Network TrainingXin He, Jianhua Sun 0002, Hao Chen 0002, Dong Li 0001. 505-518 [doi]
• Primo: Practical Learning-Augmented Systems with Interpretable ModelsQinghao Hu, Harsha Nori, Peng Sun 0006, Yonggang Wen 0001, Tianwei Zhang 0004. 519-538 [doi]
• Meces: Latency-efficient Rescaling via Prioritized State Migration for Stateful Distributed Stream Processing SystemsRong Gu, Han Yin, Weichang Zhong, Chunfeng Yuan, Yihua Huang. 539-556 [doi]
• DepFast: Orchestrating Code of Quorum SystemsXuhao Luo, Weihai Shen, Shuai Mu 0001, Tianyin Xu. 557-574 [doi]
• High Throughput Replication with Integrated Membership ManagementPedro Fouto, Nuno M. Preguiça, João Leitão 0001. 575-592 [doi]
• CBMM: Financial Advice for Kernel Memory ManagersMark Mansi, Bijan Tabatabai, Michael M. Swift. 593-608 [doi]
• EPK: Scalable and Efficient Memory Protection KeysJinyu Gu 0001, Hao Li, Wentai Li, Yubin Xia, Haibo Chen 0001. 609-624 [doi]
• Memory Harvesting in Multi-GPU Systems with Hierarchical Unified Virtual MemorySangjin Choi, Taeksoo Kim, Jinwoo Jeong, Rachata Ausavarungnirun, Myeongjae Jeon, Youngjin Kwon, Jeongseob Ahn. 625-638 [doi]
• Zero Overhead Monitoring for Cloud-native Infrastructure using RDMAZhe Wang, Teng Ma, Linghe Kong, Zhenzao Wen, Jingxuan Li, Zhuo Song, Yang Lu, Guihai Chen, Wei Cao. 639-654 [doi]
• CRISP: Critical Path Analysis of Large-Scale Microservice ArchitecturesZhizhou Zhang 0002, Murali Krishna Ramanathan, Prithvi Raj, Abhishek Parwal, Timothy Sherwood, Milind Chabbi. 655-672 [doi]
• Whale: Efficient Giant Model Training over Heterogeneous GPUsXianyan Jia, Le Jiang, Ang Wang, Wencong Xiao, Ziji Shi, Jie Zhang 0078, Xinyuan Li, Langshi Chen, Yong Li, Zhen Zheng, Xiaoyong Liu, Wei Lin 0016. 673-688 [doi]
• Cachew: Machine Learning Input Data Processing as a ServiceDan Graur, Damien Aymon, Dan Kluser, Tanguy Albrici, Chandramohan A. Thekkath, Ana Klimovic. 689-706 [doi]
• CoVA: Exploiting Compressed-Domain Analysis to Accelerate Video AnalyticsJinwoo Hwang, Minsu Kim, Daeun Kim, Seungho Nam, Yoonsung Kim, Dohee Kim, Hardik Sharma, Jongse Park. 707-722 [doi]
• SOTER: Guarding Black-box Inference for General Neural Networks at the EdgeTianxiang Shen, Ji Qi, Jianyu Jiang, Xian Wang, Siyuan Wen, Xusheng Chen, Shixiong Zhao, Sen Wang, Li Chen, Xiapu Luo, Fengwei Zhang, Heming Cui. 723-738 [doi]
• IPLFS: Log-Structured File System without Garbage CollectionJuWon Kim, Minsu Kim, Muhammad Danish Tehseen, Joontaek Oh, Youjip Won. 739-754 [doi]
• Vigil-KV: Hardware-Software Co-Design to Integrate Strong Latency Determinism into Log-Structured Merge Key-Value StoresMiryeong Kwon, Seungjun Lee, Hyunkyu Choi, Jooyoung Hwang, Myoungsoo Jung. 755-772 [doi]
• Pacman: An Efficient Compaction Approach for Log-Structured Key-Value Store on Persistent MemoryJing Wang, Youyou Lu, Qing Wang, Minhui Xie, Keji Huang, Jiwu Shu. 773-788 [doi]
• Towards Latency Awareness for Content Delivery Network CachingGang Yan, Jian Li 0008. 789-804 [doi]
• Hashing Design in Modern Networks: Challenges and Mitigation TechniquesYunhong Xu, Keqiang He, Rui Wang 0025, Minlan Yu, Nick Duffield, Hassan M. G. Wassel, Shidong Zhang, Leon Poutievski, Junlan Zhou, Amin Vahdat. 805-818 [doi]
• Firebolt: Finding Bugs in Programmable Data Plane GeneratorsJiamin Cao, Yu Zhou 0008, Chen Sun 0005, Lin He 0004, Zhaowei Xi, Ying Liu 0024. 819-834 [doi]
• Investigating Managed Language Runtime Performance: Why JavaScript and Python are 8x and 29x slower than C++, yet Java and Go can be Faster?David Lion, Adrian Chiu, Michael Stumm, Ding Yuan. 835-852 [doi]
• Automatic Recovery of Fine-grained Compiler Artifacts at the Binary LevelYufei Du, Ryan Court, Kevin Z. Snow, Fabian Monrose. 853-868 [doi]
• JITServer: Disaggregated Caching JIT Compiler for the JVM in the CloudAlexy Khrabrov, Marius Pirvu, Vijay Sundaresan, Eyal de Lara. 869-884 [doi]
• Riker: Always-Correct and Fast Incremental Builds from Simple SpecificationsCharlie Curtsinger, Daniel W. Barowy. 885-898 [doi]
• FlatFS: Flatten Hierarchical File System Namespace on Non-volatile MemoriesMiao Cai, Junru Shen, Bin Tang, Hao Huang, Baoliu Ye. 899-914 [doi]
• StRAID: Stripe-threaded Architecture for Parity-based RAIDs with Ultra-fast SSDsShucheng Wang, Qiang Cao 0001, Ziyi Lu, Hong Jiang 0001, Jie Yao, Yuanyuan Dong. 915-932 [doi]
• Vinter: Automatic Non-Volatile Memory Crash Consistency Testing for Full SystemsSamuel Kalbfleisch, Lukas Werling, Frank Bellosa. 933-950 [doi]
• AlNiCo: SmartNIC-accelerated Contention-aware Request Scheduling for Transaction ProcessingJunru Li, Youyou Lu, Qing Wang, Jiazhen Lin, Zhe Yang, Jiwu Shu. 951-966 [doi]
• FpgaNIC: An FPGA-based Versatile 100Gb SmartNIC for GPUsZeke Wang, Hongjing Huang, Jie Zhang 0081, Fei Wu 0001, Gustavo Alonso. 967-986 [doi]
• Faster Software Packet Processing on FPGA NICs with eBPF Program WarpingMarco Bonola, Giacomo Belocchi, Angelo Tulumello, Marco Spaziani Brunella, Giuseppe Siracusano, Giuseppe Bianchi 0001, Roberto Bifulco. 987-1004 [doi]
• NVMe SSD Failures in the Field: the Fail-Stop and the Fail-SlowRuiming Lu, Erci Xu, Yiming Zhang 0003, Zhaosheng Zhu, Mengtian Wang, Zongpeng Zhu, Guangtao Xue, Minglu Li 0001, Jiesheng Wu. 1005-1020 [doi]
• CacheSack: Admission Optimization for Google Datacenter Flash CachesTzu-Wei Yang, Seth Pollen, Mustafa Uysal, Arif Merchant, Homer Wolfmeister. 1021-1036 [doi]
• Amazon DynamoDB: A Scalable, Predictably Performant, and Fully Managed NoSQL Database ServiceMostafa Elhemali, Niall Gallagher, Nick Gordon, Joseph Idziorek, Richard Krog, Colin Lazier, Erben Mo, Akhilesh Mritunjai, Somasundaram Perianayagam, Tim Rath, Swami Sivasubramanian, James Christopher Sorenson III, Sroaj Sosothikul, Doug Terry, Akshat Vig. 1037-1048 [doi]