Table of Contents

• Ship your Critical Section, Not Your Data: Enabling Transparent Delegation with TCLOCKSVishal Gupta, Kumar Kartikeya Dwivedi, Yugesh Kothari, Yueyang Pan, Diyu Zhou, Sanidhya Kashyap. 1-16 [doi]
• RON: One-Way Circular Shortest Routing to Achieve Efficient and Bounded-waiting SpinlocksShiwu Lo, Han-Ting Lin, Yao-Hung Hsieh, Chao-Ting Lin, Yu-Hsueh Fang, Ching-Shen Lin, Ching-Chun (Jim) Huang, Kam-yiu Lam, Yuan-Hao Chang 0001. 17-31 [doi]
• Userspace Bypass: Accelerating Syscall-intensive ApplicationsZhe Zhou 0001, Yanxiang Bi, Junpeng Wan, Yangfan Zhou, Zhou Li 0001. 33-49 [doi]
• Triangulating Python Performance Issues with SCALENEEmery D. Berger, Sam Stern, Juan Altmayer Pizzorno. 51-64 [doi]
• Relational Debugging - Pinpointing Root Causes of Performance ProblemsXiang (Jenny) Ren, Sitao Wang, Zhuqi Jin, David Lion, Adrian Chiu, Tianyin Xu, Ding Yuan 0004. 65-80 [doi]
• Accountable authentication with privacy protection: The Larch system for universal loginEmma Dauterman, Danny Lin, Henry Corrigan-Gibbs, David Mazières. 81-98 [doi]
• K9db: Privacy-Compliant Storage For Web Applications By ConstructionKinan Dak Albab, Ishan Sharma, Justus Adam, Benjamin Kilimnik, Aaron R. Jeyaraj, Raj Paul, Artem Agvanian, Leonhard F. Spiegelberg, Malte Schwarzkopf. 99-116 [doi]
• Encrypted Databases Made Secure Yet MaintainableMingyu Li, Xuyang Zhao, Le Chen, Cheng Tan 0005, Huorong Li, Sheng Wang 0011, Zeyu Mi, Yubin Xia, Feifei Li 0001, Haibo Chen 0001. 117-133 [doi]
• LVMT: An Efficient Authenticated Storage for BlockchainChenxing Li, Sidi Mohamed Beillahi, Guang Yang 0020, Ming Wu 0007, Wei Xu, Fan Long. 135-153 [doi]
• Honeycomb: Secure and Efficient GPU Executions via Static ValidationHaohui Mai, Jiacheng Zhao, Hongren Zheng, Yiyang Zhao, Zibin Liu, Mingyu Gao 0001, Cong Wang, Huimin Cui, Xiaobing Feng 0002, Christos Kozyrakis. 155-172 [doi]
• An Extensible Orchestration and Protection Framework for Confidential Cloud ComputingAdil Ahmad, Alex Schultz, Byoungyoung Lee, Pedro Fonseca 0001. 173-191 [doi]
• Nimble: Rollback Protection for Confidential Cloud ServicesSebastian Angel, Aditya Basu, Weidong Cui, Trent Jaeger, Stella Lau, Srinath T. V. Setty, Sudheesh Singanamalla. 193-208 [doi]
• Security and Performance in the Delegated User-level VirtualizationJiahao Chen, Dingji Li, Zeyu Mi, Yuxuan Liu, Binyu Zang, Haibing Guan, Haibo Chen 0001. 209-226 [doi]
• Kerveros: Efficient and Scalable Cloud Admission ControlSultan Mahmud Sajal, Luke Marshall, Beibin Li, Shandan Zhou, Abhisek Pan, Konstantina Mellou, Deepak Narayanan, Timothy Zhu, David Dion, Thomas Moscibroda, Ishai Menache. 227-245 [doi]
• Core slicing: closing the gap between leaky confidential VMs and bare-metal cloudZiqiao Zhou, Yizhou Shan, Weidong Cui, Xinyang Ge, Marcus Peinado, Andrew Baumann. 247-267 [doi]
• ExoFlow: A Universal Workflow System for Exactly-Once DAGsSiyuan Zhuang, Stephanie Wang, Eric Liang, Yi Cheng, Ion Stoica. 269-286 [doi]
• Hyrax: Fail-in-Place Server Operation in Cloud PlatformsJialun Lyu, Marisa You, Celine Irvene, Mark Jung, Tyler Narmore, Jacob Shapiro, Luke Marshall, Savyasachi Samal, Ioannis Manousakis, Lisa Hsu, Preetha Subbarayalu, Ashish Raniwala, Brijesh Warrier, Ricardo Bianchini, Bianca Schroeder, Daniel S. Berger. 287-304 [doi]
• NCC: Natural Concurrency Control for Strictly Serializable Datastores by Avoiding the Timestamp-Inversion PitfallHaonan Lu, Shuai Mu 0001, Siddhartha Sen 0001, Wyatt Lloyd. 305-323 [doi]
• Conveyor: One-Tool-Fits-All Continuous Software Deployment at MetaBoris Grubic, Yang Wang, Tyler Petrochko, Ran Yaniv, Brad Jones, David Callies, Matt Clarke-Lauer, Dan Kelley, Soteris Demetriou, Kenny Yu, Chunqiang Tang. 325-342 [doi]
• Chardonnay: Fast and General Datacenter Transactions for On-Disk DatabasesTamer Eldeeb, Xincheng Xie, Philip A. Bernstein, Asaf Cidon, Junfeng Yang. 343-360 [doi]
• ScaleDB: A Scalable, Asynchronous In-Memory DatabaseSyed Akbar Mehdi, Deukyeon Hwang, Simon Peter 0001, Lorenzo Alvisi. 361-376 [doi]
• VBASE: Unifying Online Vector Similarity Search and Relational Queries via Relaxed MonotonicityQianxi Zhang, Shuotao Xu, Qi Chen, Guoxin Sui, Jiadong Xie, Zhizhen Cai, Yaoqi Chen, Yinxuan He, Yuqing Yang 0001, Fan Yang 0024, Mao Yang, Lidong Zhou. 377-395 [doi]
• Detecting Transactional Bugs in Database Engines via Graph-Based Oracle ConstructionZu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su 0001. 397-417 [doi]
• Take Out the TraChe: Maximizing (Tra)nsactional Ca(che) Hit RateAudrey Cheng, David Chu, Terrance Li, Jason Chan, Natacha Crooks, Joseph M. Hellerstein, Ion Stoica, Xiangyao Yu. 419-439 [doi]
• Replicating Persistent Memory Key-Value Stores with Efficient RDMA AbstractionQing Wang 0031, Youyou Lu, Jing Wang, Jiwu Shu. 441-459 [doi]
• eZNS: An Elastic Zoned Namespace for Commodity ZNS SSDsJaehong Min, Chenxingyu Zhao, Ming Liu 0027, Arvind Krishnamurthy. 461-477 [doi]
• SEPH: Scalable, Efficient, and Predictable Hashing on Persistent MemoryChao Wang, Junliang Hu, Tsun-Yu Yang, Yuhong Liang, Ming-Chang Yang. 479-495 [doi]
• No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless ComputingXingda Wei, Fangming Lu, Tianxia Wang, Jinyu Gu 0001, Yuhan Yang, Rong Chen 0001, Haibo Chen 0001. 497-517 [doi]
• Johnny Cache: the End of DRAM Cache Conflicts (in Tiered Main Memory Systems)Baptiste Lepers, Willy Zwaenepoel. 519-534 [doi]
• TAILCHECK: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged PointersAmogha Udupa Shankaranarayana Gopal, Raveendra Soori, Michael Ferdman, Dongyoon Lee. 535-552 [doi]
• SMART: A High-Performance Adaptive Radix Tree for Disaggregated MemoryXuchuan Luo, Pengfei Zuo, Jiacheng Shen, Jiazhen Gu, Xin Wang 0002, Michael R. Lyu, Yangfan Zhou. 553-571 [doi]
• ORC: Increasing Cloud Memory Density via Object Reuse with CapabilitiesVasily A. Sartakov, Lluís Vilanova, Munir Geden, David M. Eyers, Takahiro Shinagawa, Peter R. Pietzuch. 573-587 [doi]
• Global Capacity Management With FluxMarius Eriksen, Kaushik Veeraraghavan, Yusuf Abdulghani, Andrew Birchall, Po-Yen Chou, Richard Cornew, Adela Kabiljo, Ranjith Kumar S., Maroo Lieuw, Justin Meza, Scott Michelson, Thomas Rohloff, Hayley Russell, Jeff Qin, Chunqiang Tang. 589-606 [doi]
• Defcon: Preventing Overload with Graceful Feature DegradationJustin Meza, Thote Gowda, Ahmed Eid, Tomiwa Ijaware, Dmitry Chernyshev, Yi Yu, Md Nazim Uddin, Rohan Das, Chad Nachiappan, Sari Tran, Shuyang Shi, Tina Luo, David Ke Hong, Sankaralingam Panneerselvam, Hans Ragas, Svetlin Manavski, Weidong Wang, Francois Richard. 607-622 [doi]
• Cilantro: Performance-Aware Resource Allocation for General Objectives via Online FeedbackRomil Bhardwaj, Kirthevasan Kandasamy, Asim Biswal, Wenshuo Guo, Benjamin Hindman, Joseph Gonzalez 0001, Michael I. Jordan, Ion Stoica. 623-643 [doi]
• Karma: Resource Allocation for Dynamic DemandsMidhul Vuppalapati, Giannis Fikioris, Rachit Agarwal 0001, Asaf Cidon, Anurag Khandelwal, Éva Tardos. 645-662 [doi]
• AlpaServe: Statistical Multiplexing with Model Parallelism for Deep Learning ServingZhuohan Li, Lianmin Zheng, Yinmin Zhong, Vincent Liu, Ying Sheng 0007, Xin Jin 0008, Yanping Huang, Zhifeng Chen, Hao Zhang, Joseph E. Gonzalez, Ion Stoica. 663-679 [doi]
• Cocktailer: Analyzing and Optimizing Dynamic Control Flow in Deep LearningChen Zhang, Lingxiao Ma, Jilong Xue, Yining Shi, Ziming Miao, Fan Yang 0024, Jidong Zhai, Zhi Yang 0001, Mao Yang. 681-699 [doi]
• Welder: Scheduling Deep Learning Memory Access via Tile-graphYining Shi 0001, Zhi Yang 0001, Jilong Xue, Lingxiao Ma, Yuqing Xia, Ziming Miao, Yuxiao Guo, Fan Yang 0024, Lidong Zhou. 701-718 [doi]
• Effectively Scheduling Computational Graphs of Deep Neural Networks toward Their Domain-Specific AcceleratorsJie Zhao 0002, Siyuan Feng, Xiaoqiang Dan, Fei Liu, Chengke Wang, Sheng Yuan, Wenyuan Lv, Qikai Xie. 719-737 [doi]
• EINNET: Optimizing Tensor Programs with Derivation-Based TransformationsLiyan Zheng, Haojie Wang, Jidong Zhai, Muyan Hu, Zixuan Ma, Tuowei Wang, Shuhong Huang, Xupeng Miao, Shizhi Tang, Kezhao Huang, Zhihao Jia. 739-755 [doi]
• Hydro: Surrogate-Based Hyperparameter Tuning Service in DatacentersQinghao Hu, Zhisheng Ye 0002, Meng Zhang, Qiaoling Chen, Peng Sun 0006, Yonggang Wen 0001, Tianwei Zhang 0004. 757-777 [doi]
• MGG: Accelerating Graph Neural Networks with Fine-Grained Intra-Kernel Communication-Computation Pipelining on Multi-GPU PlatformsYuke Wang, Boyuan Feng, Zheng Wang, Tong Geng, Kevin J. Barker, Ang Li 0006, Yufei Ding. 779-795 [doi]
• Optimizing Dynamic Neural Networks with BrainstormWeihao Cui, Zhenhua Han, Lingji Ouyang, Yichuan Wang, Ningxin Zheng, Lingxiao Ma, Yuqing Yang 0001, Fan Yang 0024, Jilong Xue, Lili Qiu, Lidong Zhou, Quan Chen 0002, Haisheng Tan, Minyi Guo. 797-815 [doi]
• AdaEmbed: Adaptive Embedding for Large-Scale Recommendation ModelsFan Lai, Wei Zhang, Rui Liu, William Tsai, Xiaohan Wei, Yuxi Hu, Sabin Devkota, Jianyu Huang, JongSoo Park, Xing Liu, Zeliang Chen, Ellie Wen, Paul Rivera, Jie You, Chun-cheng Jason Chen, Mosharaf Chowdhury. 817-831 [doi]
• BWoS: Formally Verified Block-based Work Stealing for Parallel ProcessingJiawei Wang, Bohdan Trach, Ming Fu, Diogo Behrens, Jonathan Schwender, Yutao Liu, Jitang Lei, Viktor Vafeiadis, Hermann Härtig, Haibo Chen 0001. 833-850 [doi]
• Spoq: Scaling Machine-Checkable Systems Verification in CoqXupeng Li, Xuheng Li, Wei Qiang, Ronghui Gu, Jason Nieh. 851-869 [doi]
• Verifying vMVCC, a high-performance transaction library using multi-version concurrency controlYun-Sheng Chang, Ralf Jung 0002, Upamanyu Sharma, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich. 871-886 [doi]
• Automated Verification of Idempotence for Stateful Serverless ApplicationsHaoran Ding, Zhaoguo Wang, Zhuohao Shen, Rong Chen 0001, Haibo Chen 0001. 887-910 [doi]
• Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent SystemsTravis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno. 911-929 [doi]
• Flor: An Open High Performance RDMA Framework Over Heterogeneous RNICsQiang Li, Yixiao Gao, Xiaoliang Wang 0001, Haonan Qiu, Yanfang Le, Derui Liu, Qiao Xiang, Fei Feng, Peng Zhang, Bo Li, Jianbo Dong, Lingbo Tang, Hongqiang Harry Liu, Shaozong Liu, Weijie Li, Rui Miao, Yaohui Wu, Zhiwu Wu, Chao Han, Lei Yan, Zheng Cao, Zhongjie Wu, Chen Tian 0001, Guihai Chen, Dennis Cai, Jinbo Wu, Jiaji Zhu, Jiesheng Wu, Jiwu Shu. 931-948 [doi]
• ShRing: Networking with Shared Receive RingsBoris Pismenny, Adam Morrison 0001, Dan Tsafrir. 949-968 [doi]
• ServiceRouter: Hyperscale and Minimal Cost Service Mesh at MetaHarshit Saokar, Soteris Demetriou, Nick Magerko, Max Kontorovich, Josh Kirstein, Margot Leibold, Dimitrios Skarlatos 0002, Hitesh Khandelwal, Chunqiang Tang. 969-985 [doi]
• Characterizing Off-path SmartNIC for Accelerating Distributed SystemsXingda Wei, Rongxin Chen, Yuhan Yang, Rong Chen 0001, Haibo Chen 0001. 987-1004 [doi]
• Ensō: A Streaming Interface for NIC-Application CommunicationHugo Sadok, Nirav Atre, Zhipeng Zhao, Daniel S. Berger, James C. Hoe, Aurojit Panda, Justine Sherry, Ren Wang. 1005-1025 [doi]