9:00 am–9:15 am
Opening Remarks and Awards
Program Co-Chairs: Eddie Kohler, Harvard University, and Amar Phanishayee, NVIDIA
9:15 am–10:15 am
Keynote Address
10:15 am–10:45 am
Coffee and Tea Break
10:45 am–12:25 pm
KV Cache and Long Context
Contextra: Hierarchical Context Caching for Long Context Language Model Serving
Zhiqiang Xie, Stanford University; Ziyi Xu, Shanghai Jiao Tong University; Mark Zhao, University of Colorado Boulder; Yuwei An, Carnegie Mellon University; Vikram Sharma Mailthody, Nvidia; Scott Mahlke, University of Michigan & Nvidia Research; Michael Garland, NVIDIA; Christos Kozyrakis, Stanford University & Nvidia Research
ECHO: Efficient KV Cache Offloading with Lossless Prefetching for Serving Native Sparse Attention LLMs
Guangda Liu, Wenhao Chen, Chengwei Li, and Zhenyu Ning, Shanghai Jiao Tong University; Jing Lin and Yiwu Yao, Huawei; Quan Chen, Shixuan Sun, Jieru Zhao, and Minyi Guo, Shanghai Jiao Tong University
No Buffer, No Bottleneck: Efficient Zero-Copy KV Cache Offloading for Long-Context LLMs
Shutian Luo and Haiying Shen, University of Virginia
Simple is Better: Multiplication May Be All You Need for LLM Request Scheduling
Dingyan Zhang, Jinbo Han, Kaixi Zhang, and Xingda Wei, Shanghai Jiao Tong University; Sijie Shen, Chenguang Fang, Wenyuan Yu, and Jingren Zhou, Alibaba Group; Rong Chen, Shanghai Jiao Tong University
Chimera: Cost-Efficient Multi-LLM Serving via GPU Memory Ballooning
Shan Yu, UCLA; Yifan Qiao, UC Berkeley; Mingyuan Ma, Harvard; Yangmin Li, NVIDIA; Shuo Yang, University of California, Berkeley; Xinyuan Tong, University of Edinburgh; Yang Wang, Intel; Zhiqiang Xie, Stanford University; Yuwei An, Carnegie Mellon University; Shiyi Cao, University of California, Berkeley; Ke Bao, LMSYS; Deepak Vij, Xiaoning Ding, and Yichen Wang, ByteDance; Qingda Lu, Alibaba; Zhong Wang, Tsinghua University; Gao Gao, Novita AI; Harry Xu and Junyi Shu, UCLA; Jiarong Xing, Rice University; Ying Sheng, UCLA
Memory Tiering and CXL
Break on Through to the Other Side: Pooling Memory Elastically with RAMRyder
Yanbo Zhou, UC San Diego; Erci Xu, Shanghai Jiao Tong University; Dongjoo Seo and Adam Manzanares, Samsung Semiconductor; Steven Swanson, UC San Diego
MAC: Metadata Acceleration for Sustainable Performance in Big-Data Systems with CXL DRAM
Dusol Lee, Seoul National University; Yan Sun, Houxiang Ji, Vinit Gupta, and Austin Antony Cruz, University of Illinois Urbana-Champaign; Inhyuk Choi, Seoul National University; Nam Sung Kim, University of Illinois Urbana-Champaign; Jihong Kim, Seoul National University
Finding NEMO: Nimble and Expressive Memory Observability
Shihang Li and Matthew Giordano, University of Washington; Tushar Garg, Meta; Rohan Kadekodi, University of Washington; Daniel S. Berger, Microsoft Azure; Baris Kasikci, Thomas Anderson, and Simon Peter, University of Washington
OBASE: Object-Based Address-Space Engineering to Improve Memory Tiering
Vinay Banakar, University of Wisconsin-Madison, Google; Suli Yang, Google; Kan Wu, xAI; Andrea Arpaci-Dusseau and Remzi Arpaci-Dusseau, University of Wisconsin–Madison; Kimberly Keeton, Google
MDK: rethinking the data center memory reclamation problem
Shaurya Patel, Google and University of British Columbia; Suli Yang and Yawen Wang, Google; Kan Wu, xAI; Alexandra (Sasha) Fedorova, University of British Columbia and MongoDB; Margo Seltzer, University of British Columbia; Kimberly Keeton, Google
Sandboxing, Access Control, and Drivers
USEC: A User-Requirement-Driven Mandatory Access Control Framework for Operating Systems
Yu Jiang, Tsinghua University; Wenhuan Liu, Tsinghua University; UnionTech Software Technology Co., Ltd; Fuchen Ma, Tsinghua University; Lei Zhang, UnionTech Software Technology Co., Ltd.; Yuheng Shen and Yuanliang Chen, Tsinghua University; He Li, UnionTech Software Technology Co., Ltd.; Quan Zhang and Chijin Zhou, East China Normal University
Mohabi: Disaggregating and Sandboxing the Firefox JavaScript Engine
Abhishek Sharma and Anand Balaji, UT Austin; Zachary Yedidia, Stanford University; Anthony Du and Taehyun Noh, UT Austin; Iain Ireland, Jan de Mooij, and Matthew Gaudet, Mozilla; Tal Garfinkel, Google; Deian Stefan and Hovav Shacham, UC San Diego; Shravan Narayan, UT Austin
Ichnaea: A Framework for Precise Tracking of Memory Objects
Samad Haque and Sibin Mohan, George Washington University; Aaron Paulos and Partha Pal, RTX BBN Technologies
Extracting Database Access-control Policies From Web Applications
Wen Zhang, Dev Bali, and Jamison Kerney, UC Berkeley; Aurojit Panda, NYU; Scott Shenker, UC Berkeley and ICSI
iLand: An Instruction-Level Dynamic Binary Instrumentation framework for iOS
Kaitao Xie, Yizhuo Wang, and Xiaolong Bai, Alibaba Group
12:25 pm–2:00 pm
Lunch (on your own)
2:00 pm–3:40 pm
LLM Training at Scale
Tessera: A Holistic Pipeline Parallelism Framework for Trillion-Parameter Heterogeneous MoE Training
Weifang Hu, Huazhong University of Science and Technology; Langshi Chen, Man Yuan, Youyang Yao, Xiulong Yuan, Li Tian, Yong Li, and Wei Lin, Alibaba Cloud; Xuanhua Shi, Huazhong University of Science and Technology; Zhengping Qian and Jingren Zhou, Alibaba Cloud
HSPMD: Hierarchical and Heterogeneous SPMD for Distributed DL Training
Haoyang Li, Peking University; Fangcheng Fu, SJTU; Hao Ge, Sheng Lin, Xuanyu Wang, Jiawen Niu, and Yuming Zhou, Peking University; Xupeng Miao, Purdue University; Bin Cui, Peking University
Syncopate: Automatic Fine-Grained Compute-Communication Overlap via Chunk-Centric Scheduling
Xinwei Qiang, Yue Guan, and Zhengding Hu, UCSD; Keren Zhou, George Mason University and OpenAI; Yufei Ding, UCSD and Meta; Adnan Aziz, Meta
Teaching The Old Dog New Tricks: Building Efficient Data Pipelines for Large-Scale LLM Pre-training
Luofan Chen and Chenhan Wang, University of Science and Technology of China; W. Zhang, Jinxin Chi, Hequan Zhang, Zanbo Wang, Chenyuan Wang, Lishu Luo, Sijin Wu, J. Hu, Jun Wang, and Cheng Chen, ByteDance Seed; Lixin Huang, Liyang Zhao, Yong Tian, and Jun Guo, ByteDance; Youhui Bai, University of Science and Technology of China; Wencong Xiao, ByteDance Seed; Kang Chen, Tsinghua University; Cheng Li, University of Science and Technology of China
Cocoon: A System Architecture for Differentially Private Training with Correlated Noises
Donghwan Kim and Xin Gu, The Pennsylvania State University; Jinho Baek, Timothy Lo, Younghoon Min, Kwangsik Shin, and Jongryool Kim, SK Hynix; Jongse Park, KAIST; Kiwan Maeng, Pennsylvania State University
Testing, Debugging, and Root Causing
ValScope: Value-Semantics-Aware Metamorphic Testing for Detecting Logical Bugs in DBMSs
Li Lin, Liehang Chen, and Rongxin Wu, Xiamen University
The Abstention Protocol: RCA for Clos Fabrics
Madhava Gaikwad and Deepak Pandey, Microsoft
When Sampling Lies: Trustworthy Performance Profiling for Flat Workloads with Blink
Rishikesh Devsot, Yscope; Yi Fan Yu and ChenXing Yang, University of Toronto and Yscope; Prabhdeep Singh Soni, Afshin Arefi, Bryan Chan, and Reza Azimi, Huawei Technologies Canada; Ding Yuan, University of Toronto and YScope
Breaking the Reward Barrier: Accelerating Tree-of-Thought Reasoning via Speculative Exploration
Shuzhang Zhong, Haochen Huang, and Shengxuan Qiu, Peking University; Pengfei Zuo, Huawei; Runsheng Wang and Meng Li, Peking University
Controlling Opaque-Component Effects with Semisolates and Ef
Tianyu (Ezri) Zhu, Stevens Institute of Technology; Di Jin, Grigoris Ntousakis, and Evangelos Lamprou, Brown University; Georgios Liargkovas, Columbia University; Calvin Eng, Brown University; Konstantinos Kallas, University of California, Los Angeles; Michael Greenberg, Stevens Institute of Technology; Nikos Vasilakis, Brown University
Kernel Scheduling and Tail Latency
MultiLane: Eliminating Centralized Bottlenecks in User-space Network Stack
Kang Hu, Shuqi Dong, Chuandong Li, Ran Yi, Zonghao Zhang, Jie Zhang, Xiaolin Wang, and Yingwei Luo, Peking University; Zhenlin Wang, Michigan University; Diyu Zhou, Peking University
Koma: Achieving Low Tail Latency with In-Kernel Message-Oriented Scheduling
Rui Yang, Konstantinos Prasopoulos, and Edouard Bugnion, EPFL
kSTEP: Characterization and Controlled Testing of Linux CPU Scheduler Bugs
Tingjia Cao, Shawn Zhong, and Caeden Whitaker, University of Wisconsin-Madison; Ke Han, Purdue University; Andrea Arpaci-Dusseau and Remzi Arpaci-Dusseau, University of Wisconsin–Madison
What Are You (M)Waiting For: The Hidden Cost of Idle in the Hyperscale Cloud
Yun Wang, Shanghai Jiao Tong University; Xingguo Jia, Alibaba Cloud; Ben Luo and Kenan Liu, Alibaba Group; Shengdong Dai, Alibaba Cloud; Jingdong Han and Weihao Chen, Alibaba Group; Yicheng Gu and Xingzi Yu, Shanghai Jiao Tong University; Yibin Shen and Jiesheng Wu, Alibaba Cloud; Zhengwei Qi and Haibing Guan, Shanghai Jiao Tong University
Xkernel: Rethinking Performance Tunability of Operating System Kernels
Zhongjie Chen, Tsinghua University and Microsoft Research; Wentao Zhang, University of Illinois Urbana-Champaign; Yulong Tang and Ran Shu, Microsoft Research; Fengyuan Ren, Tsinghua University; Tianyin Xu, University of Illinois Urbana–Champaign; Jing Liu, Microsoft Research
3:40 pm–4:10 pm
Coffee and Tea Break
4:10 pm–5:50 pm
Agentic AI and LLM Operations
SystemX: Resource-Efficient Agentic Workflow Orchestration in Cloud Platforms
Gohar Irfan Chaudhry, MIT CSAIL; Esha Choukse, Haoran Qiu, Íñigo Goiri, and Rodrigo Fonseca, Microsoft Azure Research; Adam Belay, MIT CSAIL; Ricardo Bianchini, Microsoft Azure
ACE: An AI-Driven Code Efficiency Optimizer for Warehouse Scale Computers
Hannah Lin, Google; Martin Maas, Google DeepMind; Maximilian Roquemore, Google and point72; Arman Hasanzadeh, Google DeepMind; Fred Lewis, Yusuf Simonson, Ameya Shringi, Hongwen Dai, Patrick Musau, and Tzu-Wei Yang, Google; Amir Yazdan Bakhsh and Deniz Altinbüken, Google DeepMind; Florin Papa, Maggie Nolan Edmonds, Aditya Patil, and Don Schwarz, Google; Satish Chandra, Meta; Chris Kennelly, Google; Milad Hashemi, Google DeepMind; Parthasarathy Ranganathan, Google
StriaTrace: Efficient Tracing and Diagnosis for Online LLM Inference
Haonan Wu, Shanghai Jiao Tong University and Alibaba Cloud; Yanqing Chen and Kun Qian, Alibaba Cloud; Xue Li, Alibaba Group; Erci Xu, Shanghai Jiao Tong University and Alibaba Cloud; Ennan Zhai, Alibaba Cloud; Wenyuan Yu and Jingren Zhou, Alibaba Group
Diagnosing Performance Issues in Application-Defined Resources
Yigong Hu, Boston University; Haodong Zheng, University of Washington & EPFL; Yicheng Liu, University of Washington & UCLA; You-Liang Huang, Boston University; Dedong Xie and Baris Kasikci, University of Washington
ADAngel: Accelerating Arbitrary-Precision Quantized LLMs with Adaptive Computing Mapping
Yao Liu, Wenjie Wang, Yifei Feng, Bo Peng, Jianguo Yao, and Haibing Guan, Shanghai Jiao Tong University
Program Analysis
Sys: Speculative Script Reordering at Subprocess Granularity
Georgios Liargkovas, Columbia University; Di Jin, Brown University; Tianyu (Ezri) Zhu and Dan Liu, Stevens Institute of Technology; A. Bolun Thompson, University of California, Los Angeles; Anirudh Narsipur, Seong-Heon Jung, and Siddhartha Prasad, Brown University; Diomidis Spinellis, Athens University of Economics and Business; Michael Greenberg, Stevens Institute of Technology; Konstantinos Kallas, University of California, Los Angeles; Nikos Vasilakis, Brown University
Incr: Faster Re-execution via Bolt-on Incrementalization
Yizheng Xie, Evangelos Lamprou, Jerry Xia, and Nikos Vasilakis, Brown University
A Compilation-based Under-Constrained Execution Engine
Mingjun Yin, UC Riverside and Google; Zhaorui Li, UC Riverside; Ju Chen, UC Riverside and Meta; Haochen Zeng and Chengyu Song, UC Riverside
Aletheia: Automated Detection of Data Integrity Violations in Microservices
Mafalda Sofia Ferreira, João Ferreira Loff, João Garcia, and Rodrigo Rodrigues, INESC-ID, Instituto Superior Técnico, Universidade de Lisboa
Synchronization
Arctic: A Practical Lock-Free Adaptive Radix Tree
Newton Ni, Nicolas Garza, and Jenny Stinehour, The University of Texas at Austin; Michal Friedman, ETH; Emmett Witchel, The University of Texas at Austin
Efficient and Scalable Synchronization via Generalized Cache Coherence
Yanpeng Yu, Seung-seob Lee, Lin Zhong, and Anurag Khandelwal, Yale University
Shaving the Peaks: Taming Tail Latency for Managed Workloads via Disaggregated Garbage Collection
Hongtao Lyu, Yuhan Li, and Mingyu Wu, Shanghai Jiao Tong University
DeLFS: A Decentralized Log-Structured File System for Manycores
Taehwan Ahn, Chanhyeong Yu, Sangjin Lee, and Yongseok Son, Chung-Ang University
9:00 am–10:40 am
RL Training at Scale
Weave: Efficient Co-Scheduling for Disaggregated RL Post-Training
Tianyuan Wu and Lunxi Cao, Hong Kong University of Science and Technology; Yining Wei, UIUC; Wei Gao, Yuheng Zhao, and Dakai An, Hong Kong University of Science and Technology; Shaopan Xiong, Zhiqiang Lv, Ju Huang, Siran Yang, Yinghao Yu, Jiamang Wang, and Lin Qu, Alibaba Group; Wei Wang, Hong Kong University of Science and Technology
RLux: Flexible and Efficient Large-scale Reinforcement Learning via Macro-to-Micro Flow Transformation
Chao Yu, Tsinghua University; Yuanqing Wang, Peking University; Zhen Guo, Hao Lin, and Si Xu, Infinigence AI; Hongzhi Zang, Tsinghua University; Quanlu Zhang, Infinigence AI; Yongji Wu, UC Berkeley; Chunyang Zhu and Junhao Hu, Infinigence AI; Zixiao Huang, Tsinghua University; Mingjie Wei, Harbin Institute of Technology; Yuqing Xie, Tsinghua University; Ke Yang, Harbin Institute of Technology; Bo Dai, Beihang University; Zhexuan Xu and Jiakun Du, Tsinghua University; Xiangyuan Wang, Peking University; Xu Fu and Letong Shi, Infinigence AI; Zhihao Liu, Institute of Automation, Chinese Academy of Sciences; Kang Chen, Peking University; Weilin Liu, Infinigence AI; Gang Liu, Tsinghua University; Boxun Li, Infinigence AI; Jianlei Yang, Beihang University; Zhi Yang, Peking University; Guohao Dai, Shanghai Jiao Tong University; Yu Wang, Tsinghua University
DynaRL: Flexible and Dynamic Scheduling of Large-scale Reinforcement Learning Training
Yuanqing Wang, Peking University; Hao Lin, Junhao Hu, Chunyang Zhu, Quanlu Zhang, and Zhen Guo, Infinigence AI; Yuchen Zhang, Institute of Computing Technology, Chinese Academy of Sciences; Xu Fu and Si Xu, Infinigence AI; Bo Dai, BeiHang University; Zixiao Huang and Chao Yu, Tsinghua University; Boxun Li, Infinigence AI; Guohao Dai, Shanghai Jiao Tong University; Zhi Yang, Peking University; Yu Wang, Tsinghua University
MARS: Disaggregated Multi-Task Agentic RL Training at Scale
Wei Gao, Yuheng Zhao, and Tianyuan Wu, Hong Kong University of Science and Technology; Shaopan Xiong and Weixun Wang, Alibaba Group; Dakai An and Lunxi Cao, Hong Kong University of Science and Technology; Dilxat Muhtar, Zichen Liu, Haizhou Zhao, Ju Huang, Siran Yang, Wenbo Su, Jiamang Wang, Lin Qu, and Bo Zheng, Alibaba Group; Yongbin Li, Tongyi Lab, Alibaba; Wei Wang, Hong Kong University of Science and Technology
GroupMind: Accelerating Synchronous LLM Reinforcement Learning with Group-Aware Context Learning
Ruoyu Qin, Tsinghua University & Moonshot AI; Weiran He, Weixiao Huang, Yangkun Zhang, Yikai Zhao, Bo Pang, and Xinran Xu, Moonshot AI; Yingdi Shan, Yongwei Wu, and Mingxing Zhang, Tsinghua University
Disaggregated Memory Systems
Harvesting Sub-Microsecond CXL Memory Stalls with LiteSwitch
Nanqinqin Li, Princeton University; Yuhong Zhong and Asaf Cidon, Columbia University; Michael J. Freedman, Princeton University
Duhu: Shared Disaggregated Memory for Distributed Computing Frameworks
Qiutong Men, New York University; Tao Wang, Databricks; Emmanuel Amaro, Microsoft; Marcos K. Aguilera, NVIDIA; Aurojit Panda, New York University; Jongryool Kim and Hane (Stella) Yie, SK Hynix;
Blowfish: Elastic Virtual Machine Memory for Disaggregated Memory
Yulong Zhang, Institute of Computing Technology, Chinese Academy of Sciences; Yilong Luo and Diyu Zhou, Peking University; Quan Chen, Shanghai Jiao Tong University; Quanxi Li, Institute of Computing Technology, Chinese Academy of Sciences; Mosong Zhou and Lei Zhu, Huawei Cloud; Senbo Fu and Qian Peng, Huawei Cloud Computing Technologies Co., Ltd., Xi'an, Shaanxi, China; Huimin Cui, Institute of Computing Technology, CAS; Xiaobing Feng, Institute of Computing Technology Chinese Academy of Sciences; Tao Xie, Peking University; Chenxi Wang, Institute of Computing Technology, Chinese Academy of Sciences; University of Chinese Academy of Sciences
Espresso: Constructing Cost-Efficient CXL JBOF via Inter-SSD Computing Resource Sharing
Shushu Yi, Yuda An, Li Peng, and Xiurui Pan, Peking University; Qiao Li, Mohamed bin Zayed University of Artificial Intelligence; Jieming Yin, Nanjing University of Posts and Telecommunications; Guangyan Zhang, Tsinghua University; Wenfei Wu, Peking University; Chenxi Wang, University of Chinese Academy of Sciences; Diyu Zhou, Peking University; Zhenlin Wang, Michigan Tech; Xiaolin Wang, Peking University, China; Yingwei Luo, Peking University; Ke Zhou, Huazhong University of Science and Technology (HUST); Jie Zhang, Peking University
FORGE: Mitigating Synchronization Amplification for Memory-Disaggregated Caching Systems
Zhijun Yang, Yu Hua, Ming Zhang, Menglei Chen, and Yixiao Wang, Huazhong University of Science and Technology
Confidential Computing
Accelerating Confidential Databases with Crypto-free Mappings
Wenxuan Huang, Zhanbo Wang, and Mingyu Li, Institute of Software, Chinese Academy of Sciences
JANUS: Cross-World, Cooperative Nested Virtualization for Secure Containers
Jiangshan Lai, Ant Group; Hang Huang, Huazhong University of Science and Technology; Quan Xu and Zhen Ren, Alibaba Group; Wenlong Hou, Ant Group; Wei Guo, Alibaba Group; Jia Rao and Hui Lu, The University of Texas at Arlington; Weidong Han, Alibaba Group; Jiesheng Wu, Alibaba Cloud; Jiang Liu, Alibaba Group; Naixuan Guan and Yibin Shen, Alibaba Cloud; Feng Yu and Xu Wang, Ant Group; Shiqiang Zhang, Alibaba Cloud; Zhiheng Tao, Ant Group; Yisheng Xie, Alibaba Cloud; Song Wu and Hai Jin, Huazhong University of Science and Technology
Merlin: Transparent and Efficient Virtual Memory for Encrypted Computation
Yicheng Liu, University of California, Los Angeles; Alice Yeh, University of California, Berkeley; Harry Xu, University of California, Los Angeles; Raluca Ada Popa, University of California, Berkeley; Sam Kumar, University of California, Los Angeles
Nested SEV: Secure and Generic SEV Support for Nested Virtualization
Kazuki Takiguchi and Kenichi Kourai, Kyushu Institute of Technology
μUSB: Practical and Safe USB Driver Reuse for Arm TrustZone
Xuankai Zhang, Sijin Li (co-primary), and Pei Meng (co-primary), University of Electronic Science and Technology of China; Meng Wang, CISPA; Yongzhao Zhang, Ting Chen, Xiaosong Zhang, and Liwei Guo, University of Electronic Science and Technology of China
10:40 am–11:10 am
Coffee and Tea Break
11:10 am–12:30 pm
Expert Mixture
Achieving Cloud-Grade SLOs for Local Mixture-of-Experts Inference through CPU–GPU Hybrid Design
Wenxin Wang, Tsinghua University; Yule Hou and Yu Ji, Xingyun; Peng Qu and Youhui Zhang, Tsinghua University
UEP: Portable Expert-Parallel Communication
Ziming Mao, UC Berkeley; Yihan Zhang, UC Davis; Chihan Cui, University of Wisconsin–Madison; Zhen Huang, AMD; Kaichao You, Inferact Inc.; Zhongjie Chen, Tsinghua University; Zhiying Xu, Amazon Web Services; Zhenyu Gu, AMD; Scott Shenker, UC Berkeley and ICSI; Costin Raiciu, Broadcom and Pollitehnica of Bucharest; Yang Zhou, UC Davis; Ion Stoica, UC Berkeley
BatchGen: An Architecture for Scalable and Efficient Batch Inference
Tairan Xu, Leyang Xue, and Zhan Lu, University of Edinburgh; Jinfu Deng and Hongyang Xiao, Tencent; Yinsicheng Jiang, Congjie He, Matej Sandor, Le Xu, and Luo Mai, University of Edinburgh
An Extensible Software Transport Layer for Machine Learning Workloads
Yang Zhou, UC Davis and UC Berkeley; Zhongjie Chen, Tsinghua University; Ziming Mao, UC Berkeley; ChonLam Lao, Harvard University; Shuo Yang, UC Berkeley; Pravein Govindan Kannan, IBM Research; Xizhi Zhang, Tsinghua University; Jiaqi Gao, unaffiliated; Yilong Zhao, UC Berkeley; Kaichao You, Inferact Inc.; Fengyuan Ren, Tsinghua University; Zhiying Xu, Amazon Web Services; Costin Raiciu, University Pollitehnica of Bucharest and Broadcom; Ion Stoica, UC Berkeley
Power, Energy, and Sustainability
Hardware Lifecycle-Aware Power Planning in Commercial Hyperscale Datacenters
Ruihao Li, Meta & UT Austin; Leonardo Piga, Wei Su, and Carlos Torres, Meta; Jovan Stojkovic, Meta & UT Austin; Neeraja J. Yadwadkar and Lizy K. John, UT Austin; Abhishek Dhanotia, Meta
Arceus: Reducing Both Dynamic and Static Energy in Large Model Training
Ruofan Wu, Jae-Won Chung, and Mosharaf Chowdhury, University of Michigan
SPADE: Signal-Aware DAG Scheduling and Dynamic Provisioning for Data Processing Clusters
Adam Lechowicz, University of Massachusetts Amherst; Rohan Shenoy, University of California Berkeley; Noman Bashir, Massachusetts Institute of Technology; Mohammad Hajiesmaili, University of Massachusetts Amherst; Adam Wierman, California Institute of Technology; Christina Delimitrou, Massachusetts Institute of Technology
Quota Marketplace: Dynamic Pricing for Efficient Allocation of ML Training Resources
Balasubramanian Sivan and Renato Paes Leme, Google Research; Mihai Tiuca and Ian McFarlane, Google; Vasilis Gkatzelis, Drexel University; Nehal Mehta and Soheil Hassas Yeganeh, Google; Vahab Mirrokni, Google Research; Amin Vahdat, Google
Consensus and Byzantine Fault Tolerance
Bodega: Localized Linearizable Reads at Anywhere Anytime via Roster Leases
Guanzhou Hu, Amazon Web Services; Andrea Arpaci-Dusseau and Remzi Arpaci-Dusseau, University of Wisconsin–Madison
Equal Opportunity: A Correctness Condition for Ordered Consensus
Yunhao Zhang, Cornell University; Haobin Ni, University of Washington; Soumya Basu, Vigil Markets; Shir Cohen, Cornell University; Maofan Yin, UC Santa Barbara; Lorenzo Alvisi and Robbert van Renesse, Cornell University; Qi Chen and Lidong Zhou, Microsoft Research
Jetpack: Consensus Made Generally Fast
Ze Tang, Zihao Zhang, and Weihai Shen, Stony Brook University; Jicheng Shi, DatenLord; Shuai Mu, Stony Brook University
PoliceCar: Saving BFT through Racing
Neil Giridharan and Shubham Mishra, UC Berkeley; Lorenzo Alvisi, Cornell University; Natacha Crooks, UC Berkeley; Benjamin Marsh, Sei Labs; Hein Meling, University of Stavanger; Kartik Nayak, Duke University; Grzegorz Prusak, Sei Labs
12:30 pm–2:00 pm
Symposium Luncheon
2:00 pm–3:20 pm
Training Reliability and Silent Errors
SDCs in the Wild: Characterizing and Diagnosing SDC-defective GPUs in Production LLM Training
Wenxin Zheng, Shanghai Jiao Tong University, ByteDance Seed; Bin Xu, Jinyu Gu, and Xingda Wei, Shanghai Jiao Tong University; Haibo Chen, Shanghai JiaoTong University; Wenxiao Wang, Yun Zhang, Zuquan Song, Gaohong Liu, Yucheng Nie, Mingcong Han, Zhe Nan, Zhuolin Zheng, Huan Yu, Shuguang Wang, Ziming Zhou, Hang Zhu, and Wencong Xiao, ByteDance Seed; Xin Liu, ByteDance Inc.
Safeguarding LLM Training at Scale: Online SDC Detection and Insights from 35 Million GPU Hours
Kinman Lei, Tsinghua University; Liyan Zheng, Xiang Li, Hongmin Chen, Yun Zhang, Gaohong Liu, Zuquan Song, and Zixuan Ma, ByteDance; Zhiyu Xue, Tsinghua University; Minghui Yu, Shuguang Wang, and Wencong Xiao, ByteDance; Haibin Lin, Bytedance; Yuyang Jin and Jidong Zhai, Tsinghua University; Bo Liu and Xin Liu, ByteDance
OpGuard: Bitwise Alignment for Precise and General Debugging of Production LLM Training
Ziming Zhou and Yinjie Zhao, University of Michigan; Hang Zhu, Wenxiao Wang, Zhihao Bai, Yun Zhang, Shuguang Wang, and Haibin Lin, ByteDance Seed; Peng Huang, University of Michigan
RobustRL: Role-based Fault Tolerance System for RL Post-Training
Zhenqian Chen and Baoquan Zhong, Zhejiang University; Xiang Li, unaffiliated; Qing Dai, Xinkui Zhao, and Miao Ye, Zhejiang University; Cheng Ren, unaffiliated; Lufei Zhang, State Key Laboratory of Mathematical Engineering and Advanced Computing, China; Jianwei Yin, Zhejiang University
Filesystems and I/O Acceleration
Oxbow: A Coordinated Architecture for Multi-component File Systems
Jongyul Kim, University of Illinois Urbana-Champaign; Jaehwan Lee and Inhoe Koo, KAIST; Peizhe Liu and Jiyuan Zhang, University of Illinois Urbana-Champaign; Junho Ahn, KAIST; Tianyin Xu, University of Illinois Urbana-Champaign; Youngjin Kwon, KAIST
Scaling the IO wall with Declarative IO
Sara McAllister, Google and University of Wisconsin, Madison and Carnegie Mellon University; Sanjith Athlur, Theo Gregersen, Timothy Kim, Yiwei Chen, Sarvesh Tandon, and Lucy Wang, Carnegie Mellon University; Daniel S. Berger, Microsoft and University of Washington and Carnegie Mellon University; Saurabh Kadekodi and Arif Merchant, Google; Benjamin Berg, University of North Carolina at Chapel Hill; Nathan Beckmann, Rashmi Vinayak, George Amvrosiadis, and Gregory R. Ganger, Carnegie Mellon University
Umap: Revisiting Memory-mapped I/O on Distributed File Systems for Efficient Matrix Access
Yongchao He, SCITIX (SGP) TECH PTE. LTD.; Guangyan Zhang, Tsinghua University; Zane Cao, SCITIX (SGP) TECH PTE. LTD.; Wenfei Wu, Peking University
CoPilotIO: CPU as a Co-pilot for GPU I/O to Free GPU Compute
Guanyi Chen and Qi Chen, The Hong Kong University of Science and Technology (Guangzhou); Shu Yin, ShanghaiTech University; Jian Zhang, The Hong Kong University of Science and Technology (Guangzhou)
Close to the Network
RoCE CREED: Service-Enhanced RDMA Offload Engine for Data Center SmartNICs
Maximilian Jakob Heer, Benjamin Ramhorst, Yu Zhu, Luhao Liu, Zhiyi Hu, Jonas Dann, and Gustavo Alonso, ETH Zurich
DPA-Store: An Ordered Network Data Path Key-Value Store
Frederic Schimmelpfennig, Jan Sass, and Reza Salkhordeh, Johannes Gutenberg-Universität Mainz; Martin Kröning and Stefan Lankes, RWTH Aachen University; André Brinkmann, Johannes Gutenberg-Universität Mainz
FARLock: Asymmetric RDMA Locking Made Fair
Yuehao Hu, Jiatang Zhou, Tianzheng Wang, and Keval Vora, Simon Fraser University
When DDIO Meets Page Coloring: Revisiting DDIO Performance with Sepia
Changwoo Song, Sanghyun Kim, and Jinhyeok Oh, Sungkyunkwan University; Qizhe Cai, University of Virginia; Joonsung Kim and Jaehyun Hwang, Sungkyunkwan University
3:20 pm–3:50 pm
Coffee and Tea Break
3:50 pm–5:10 pm
Graphs, ANN, and Vector Search
Disentangling Graph Dependencies for Efficient Billion-Scale GPU Vector Search with FlowANN
Haoru Zhao, Jingkai He, Jingyao Zeng, Mingkai Dong, and Dong Du, Shanghai Jiao Tong University
Efficient GPU-Centric Evolving Graph Processing at Scale
Yunmo Zhang and Jiacheng Huang, City University of Hong Kong; Xizhe Yin, Independent Researcher; Junqiao Qiu, City University of Hong Kong; Hong Xu, The Chinese University of Hong Kong; Chun Jason Xue, Mohamed bin Zayed University of Artificial Intelligence
Pluto: High-Performance, Memory-Efficient Distributed Graph Analytics Through Advanced Mirroring
Ying-Wei Wu, University of Texas at Austin; Christopher J. Rossbach, University of Texas at Austin and Microsoft; Mattan Erez, University of Texas at Austin
The Clustering Strikes Back: Building Cost-Effective and High-Performance ANNS at Scale with Helmsman
Yuchen Huang and Baiteng Ma, East China Normal University; Yiping Sun, Yang Shi, Xiao Chen, XiaoCheng Zhong, Zhiyong Wang, and Yao Hu, Xiaohongshu Inc; Erci Xu, Shanghai Jiaotong University; Chuliang Weng, East China Normal University
Durable and Trustworthy Storage
WiseCode: Breaking the Scalability Barriers of Wide-Stripe Vector Codes
Sijie Cai, Guangyan Zhang, and Xiao Niu, Tsinghua University
The LogDrive: Composable Durability for Cloud-Based Shared Logs
Gardner Vickers and Lucas Bradstreet, Confluent; Mahesh Balakrishnan, Meta; Prince Mahajan, Confluent; David Mao, unaffiliated; Xavier Léauté, Ismael Juma, Nikhil Bhatia, Jack Vanlightly, Prateek Jindal, Sumit Arrawatia, Andrew Grant, Dhruvil Shah, Dimitar Dimitrov, Gaurav Badoni, Shimiao Zhang, and Yang Yu, Confluent
Timelock Drive: Isolated Time-Based Defense for Storage Systems
Jonah Rosenblum, Juechu Dong, Peter Chen, and Satish Narayanasamy, University of Michigan
High Fidelity Models for Large Scale Stateful Services
Nouraldin Jaber, Dongyun Jin, Bernhard Kragl, Enrico Magnago, Gustavo Petri, Thorsten Tarrach, and Serdar Tasiran, Amazon Web Services
Virtualization and Live Migration
M3U: Scalable Kernel Memory Management for Efficient Post-copy Live Migration of High-end Virtual Machines
Yizhe Xu, Shuo Shi, and Zongpu Zhang, Shanghai Jiao Tong University; Xu Huan, Shanghai Jiaotong University; Yuan Tao, Alibaba Cloud; Zhibin Zhang, Chao Zhang, Kang Yan, and Yibin Shen, Alibaba Group; Xudong Zheng and Jiesheng Wu, Alibaba Cloud; Jian Li and Haibing Guan, Shanghai Jiao Tong University
Compaction-Free Memory Defragmentation for Virtualization via Infinite Guest Physical Address Space
Peixin Zeng, Hao Huang, Yanqi Pan, Wen Xia, Darong Yang, Jiahao Chen, and Nan Zhang, Harbin Institute of Technology, Shenzhen
Inside Out: A Paradigm Shift In VM Introspection
Dufy Teguia, University Grenoble Alpes and Orange Labs; Louis Duval, University Grenoble Alpes; Teo Pisenti, University of Toulouse; Kahina Lazri, Orange Labs; Daniel Hagimont, University of Toulouse, Toulouse, France; Thomas Pasquier, University of British Columbia; Renaud Lachaize, University Grenoble Alpes; Alain Tchana, Grenoble INP-UGA
vBOIDs: Taming Chaos via Coarse-grained Scheduling Abstraction for Containers
Kaesi Manakkal, The University of Texas at Arlington; Nathan Daughety, Air Force Research Laboratory (AFRL); Yu Sun, Binghamton Unversity; Marcus Pendleton, Air Force Research Laboratory (AFRL); Hui Lu, The University of Texas at Arlington
9:00 am–10:40 am
Disaggregated LLM Serving
Efficient LLM Serving on Commodity GPU Clusters with Data-Reduced Cross-Instance Orchestration
Jiangsu Du, Hongbin Zhang, Taosheng Wei, Zhenyi Zheng, Jiazhi Jiang, Kaiyi Wu, Zhiguang Chen, and Yutong Lu, School of Computer Science and Engineering, Sun Yat-Sen University
Revisiting Pipeline Parallelism for LLM Serving
Soonjae Hwang and Jeongseob Ahn, Korea University
LLMFabric: Unifying Decentralized HPC Clusters for Heterogeneous LLM Serving
Xiaozhe Yao, ETH Zurich; Youhe Jiang, University of Cambridge; Ilia Badanin, EPFL; Qinghao Hu, MIT; Binhang Yuan, HKUST; Imanol Schlag, ETH Zurich; Eiko Yoneki, University of Cambridge; Ana Klimovic, ETH Zurich
Kairox: Adaptive GPU-CPU Hybrid LLM Inference via Online Neuron Balancing
Yapeng Jiang and Minghao Gan, Sun Yat-sen University; Zicong Hong, Hong Kong University of Science and Technology; Wuhui Chen and Junyuan Liang, Sun Yat-sen University; Yue Yu, Pengcheng Laboratory; Meng Guo, Qilu University of Technology; Zibin Zheng, Sun Yat-sen University
GPU Compilers and Kernels
Optimal Software Pipelining and Warp Specialization for Tensor Core GPUs
Rupanshu Soi, Rohan Yadav, Fredrik Kjolstad, and Alex Aiken, Stanford University; Maryam Mehri Dehnavi, Michael Garland, and Michael Bauer, NVIDIA
TileLoom: Automatic Dataflow Planning for Tile-Based Languages on Spatial Dataflow Accelerators
Zhenyu Bai, Wei Li, Heru Wang, and Pranav Dangi, National University of Singapore; Cheng Tan, Arizona State University; Zhiqiang Zhang, National University of Singapore; Huiying Lan, Lumai Ltd.; Weng-Fai Wong and Tulika Mitra, National University of Singapore
TGX: A Compiler and Runtime for Mega-Kernelizing Tensor Programs
Xinhao Cheng, Zhihao Zhang, Yu Zhou, and Jianan Ji, Carnegie Mellon University; Jinchen Jiang, Tsinghua University; Zepeng Zhao and Ziruo Xiao, Carnegie Mellon University; Zihao Ye, NVIDIA; Yingyi Huang, Ruihang Lai, Hongyi Jin, Bohan Hou, Mengdi Wu, Yixin Dong, and Anthony Yip, Carnegie Mellon University; Zihao Ye, University of Michigan; Songting Wang, Carnegie Mellon University; Wenqin Yang, Independent Researcher; Xupeng Miao, Purdue University; Tianqi Chen and Zhihao Jia, Carnegie Mellon University
GraCE: Unlocking CUDA Graphs with Compiler Support for ML Workloads
Abhishek Ghosh and Ajay Nayak, Indian Institute Of Science; Ashish Panwar, Microsoft Research; Arkaprava Basu, Indian Institute of Science
VTC: DNN Compilation with Virtual Tensors for Data Movement Elimination
Muyan Hu, Ahan Gupta, and Jiachen Yuan, University of Illinois Urbana–Champaign; Vima Gupta, Georgia Institute of Technology; Taeksang Kim and Xin Xu, University of Illinois Urbana–Champaign; Janardhan Kulkarni and Ofer Dekel, Microsoft; Vikram Adve and Charith Mendis, University of Illinois Urbana–Champaign
Serverless Plus Resilence
Stop Pretending to be Busy: A Case for Serverless Paradigms in Co-located Batch Workloads
Xiaohu Chai, Tsinghua University; Dong Du, Shanghai Jiao Tong University; Jianfeng Tan, Congsi Yuan, Bowen Yang, Hao Dai, Tongkai Yang, and Chao Huang, Ant Group; Yu Chen, Tsinghua University
Continuation-Centric Computing with Arca
Akshay Srivatsan, Yuhan Deng, Katherine Mohr, Emma Sudo, Sebastian Ingino, Francis Chua, and Keith Winstein, Stanford University
Rethinking Process Snapshots for Near-Warm Serverless Cold Starts
Ben Holmes, MIT CSAIL; Baltasar Dinis, MIT; Lana Honcharuk, MIT CSAIL; Joshua Fried, University of Pennsylvania; Adam Belay, MIT
Distributed Speculative Execution for Resilient Cloud Applications
Tianyu Li, MIT; Badrish Chandramouli and Philip A. Bernstein, Microsoft Research; Sam Madden, MIT
Continuum: An Interruption-Resilient Runtime for ML Training
ChonLam Lao, Alibaba Cloud & Harvard University; Jiaqi Gao, Jiamin Cao, Zhipeng Zhang, Pengcheng Zhang, and Jiangfei Duan, Alibaba Cloud; Minlan Yu, Harvard University; Aditya Akella, UT Austin; Zhilong Zheng, Yu Guan, Yichi Xu, Yong Li, Ennan Zhai, Dennis Cai, Zhengping Qian, and Jingren Zhou, Alibaba Cloud
10:40 am–11:10 am
Coffee and Tea Break
11:10 am–12:30 pm
Accelerator and Device Virtualization
A GPU Memory Allocator with Device-Side Page Table Materialization and Deferred TLB Coherence
Yangyu Zhang, Institute of Computing Technology, Chinese Academy of Sciences; Lei Chen, University of Chinese Academy of Sciences; Chunwei Xia, University of Leeds; Shuaijiang Li, Shuoming Zhang, Zhicheng Li, and Qianqi Sun, Institute of Computing Technology, Chinese Academy of Sciences; Jiawei Xiao, University of Chinese Academy of Sciences; Ruiyuan Xu, Ao Chen, and Guangli Li, Xiaobing Feng, and Huimin Cui, Institute of Computing Technology, Chinese Academy of Sciences; Chenxi Wang, Institute of Computing Technology, Chinese Academy of Sciences; University of Chinese Academy of Sciences; Jiacheng Zhao, Institute of Computing Technology, Chinese Academy of Sciences
vClutch: Efficient, Transparent Temporal Multiplexing for Consumer GPUs
Yechen Xu, Yifei Wang, Nathanael Ren, Yiran Chen, and Danyang Zhuo, Duke University
μShell: A Microkernel-based FPGA Shell Architecture
Jiyang Chen, Anubhav Panda, Harshavardhan Unnibhavi, Atsushi Koshiba, and Pramod Bhatotia, TU Munich
Virtualizing eBPF with Late-Binding
Jing Zhang, Shanghai Jiao Tong University; Xiaguannan Song, Harbin Institute of Technology, Shenzhen; Dong Du, Yubin Xia, and Binyu Zang, Shanghai Jiao Tong University; Haibo Chen, Shanghai JiaoTong University
Fleet and Cluster Scheduling
DVLA: Dynamic VM Lifetime Aware Scheduling for Drifting Lifetime Distributions and Long-Lived VM Placement Debt
Zhengtong Zhang, Zihan Xu, Zhidong hu, Yanbo Shan, Fei Peng, Suhong Chen, Kaiyuan Shen, Xiangyun Kong, Handu Ding, Bing He, and Binda Ma, Alibaba Cloud Computing
PIMS: Fleet-wide Datacenter Maintenance with Minimal Capacity Buffer and Predictable Latency
Benjamin Leonhardi, Meta; Evangelia Kalyvianaki, University of Cambridge; Yang Wang, The Ohio State Universty and Meta; Abdelrahman Adam, Agshin Nabiyev, Aleks Shirokov, Amitav Mohanty, Daniil Balenko, Elaine Zhao, and Essam Ewaisha, Meta; Hongbo Dong, Independent Researcher; Igor Marnat, Lev Novikov, and Min Zeng, Meta; Steven Shingler, Independent Researcher; Timofey Durakov, Wiliam de Abreu Pinho, Ben Christensen, Mayank Pundir, and Kaushik Veeraraghavan, Meta
Heterogeneity at Hyperscale: Characterization and Scheduling of Large Production AI Clusters
Suyi Li, Lingyun Yang, Haoxuan Yu, Sheng Yao, Tianyuan Wu, Xiaoxiao Jiang, and Hanfeng Lu, Hong Kong University of Science and Technology; Kangjin Wang, Alibaba Group; Chenhao Wang, Fudan University; Shenglin Xu, Alibaba Group; Lun Wang, University of Science and Technology of China; Qingyang Duan, Shenghao Liang, Xiu Lin, Meng Zhang, Wenchao Wu, Yinghao Yu, Guodong Yang, and Liping Zhang, Alibaba Group; Wei Wang, Hong Kong University of Science and Technology
Mimesys: Generating Realistic Executable Testing Environments from Resource Usage Traces
Donghyun Kim, Zichao Hu, Joydeep Biswas, Aditya Akella, and Daehyeok Kim, UT Austin
A Coherent, Consistent Session on Caching
Merlin: An Efficient Adaptive Cache Eviction Algorithm via Fine-Grained Characterization
Liujia Li, Jinhao Guo, Yi Fan, and Jianyu Wu, Peking University; Zhenlin Wang, Michigan Tech; Jie Zhang, Peking University; Yuval Tamir, UCLA; Xiaolin Wang, Yingwei Luo, and Diyu Zhou, Peking University
Learning-Augmented Heuristics: Simple yet Smart, Robust and Interpretable Cache Eviction
Haocheng Xia, Harvard University & UIUC; William Nixon, University of Chicago; Bintang Dwi Marthen, Institut Teknologi Bandung; Pranav Bhandari, Meta; Juncheng Yang, Harvard University
WriteGuards: Distributed Storage Support for Strongly Consistent Caches
Ziming Mao, UC Berkeley; Atul Adya and Jonathan Ellithorpe, Databricks; Rishabh Iyer and Matei Zaharia, UC Berkeley; Scott Shenker, UC Berkeley and ICSI; Ion Stoica, UC Berkeley
MEGALON: Efficient Data Sharing for Partly-Coherent CXL Memory
Jiyu Hu, Seokjoo Cho, Landon Johnson, Kiran Hombal, and Shreesha Gopalakrishna Bhat, University of Illinois Urbana-Champaign; Marcos K. Aguilera, NVIDIA; Ramnatthan Alagappan and Aishwarya Ganesan, University of Illinois Urbana-Champaign
12:30 pm–2:00 pm
Lunch (on your own)
2:00 pm–3:20 pm
Mobile and Edge Systems
Inference in the Shadows: Taming Memory Bandwidth Contention in Mobile LLM Inference with Sereno
Tong Xin, Xinrui Shi, Mingkai Dong, and Zeyu Mi, Shanghai Jiao Tong University
LifeLine: An Object-Page Lifetime Alignment GC Enabling Minimal Memory Copying for Mobile Devices
Jiacheng Huang and Yunmo Zhang, City University of Hong Kong; Qingan Li, Wuhan University; Junqiao Qiu, City University of Hong Kong; Jason Xue, Mohamed bin Zayed University of Artificial Intelligence
Unleash All Cores: Asymmetry-aware Scalable DNN Inference on Mobile CPUs
Qianlong Sang, Puyi He, Huanghuang Liang, Yili Gong, and Chuang Hu, Wuhan University; Xiaobo Zhou, University of Macau; Dazhao Cheng, Wuhan University
Surviving the Impossible Trinity: Revisiting CPU Scheduling Problem on Modern COTS Mobile Devices
Jun Xiao and Qinhui Gu, Honor Device Co., Ltd.; Ligeng Chen, Honor Device Co., Ltd; Lizhi Sun, Zicheng Wang, Yinggang Guo, and Lu Liu, Honor Device Co.,Ltd; Hao Wu, Nanjing University; Borui Li, Southeast University
Wild Cards
qTPU: Hybrid Tensor Networks for Quantum-Classical Acceleration
Nathaniel Tornow, Emmanouil Giortamis, Dennis Sprokholt, Christian Mendl, and Pramod Bhatotia, TU Munich
Acumen: A Platform for Encrypted and Accountable Collaborative Editing
Ryan Cottone, Stanford University; Darya Kaviani, Conor Power, Will Giorza, Evelyn Koo, Natacha Crooks, and Raluca Popa, UC Berkeley
Drs.NAS: Ultra-Efficient Neural Architecture Search for Recommendation Systems
Ruixuan Wang and Xun Jiao, Villanova University
SMARTTalk: Teaching SMART Logs to Talk to LLMs
Mayur Akewar and Dongsheng Luo, Florida International University; Sandeep Madireddy, Argonne National Laboratory; Janki Bhimani, Florida International University
3:20 pm–3:50 pm
Coffee and Tea Break
3:50 pm–5:10 pm
Tooling Potpourri
Svalinn: Overload Control in Large-Scale Servers with Multiple Resource Bottlenecks
Bhaskar Subhash Pardeshi, Georgia Tech; Peidi Song, Georgia Institute of Technology; Ahmed Saeed, Georgia Tech
PeeR: First-Class Scheduling for Latency Critical eBPF Applications
Jeremy Carin, Ben Holmes, and Weiyang Wang, MIT CSAIL; Ankit Bhardwaj, Tufts University; Manya Ghobadi, MIT CSAIL
TypeCraft: A Lightweight Data Type Profiler with High Resolution
Zecheng Li, North Carolina State University; Xu Liu, Namhyung Kim, Blake Jones, and Alexey Alexandrov, Google; Jiajia Li, North Carolina State University
All Along the Watchtower: Achieving the Trinity of Observability in Cloud with DiTing
Zhenyu Ren and Shuzhi Feng, Alibaba Group; Erci Xu, Shanghai Jiaotong University; Changsheng Niu, Haoyu Mao, Beibei Wang, Chong Gao, Zhenshan Zhang, Xinrui Yu, Jiangwei Huang, Jiesheng Wu, and Hong Tang, Alibaba Group
The Session About Correctness
jwmalloc: A Verified Memory Allocator for Mobile Devices
Jiawei Wang, Ming Fu, Ruixian Wang, and Chao Xu, Huawei Central Software Institute; Jonas Oberhauser, Huawei Hilbert Research Center, Huawei Central Software Institute; Haibo Chen, Huawei Central Software Institute, Shanghai Jiao Tong University
Neuro-Symbolic Proof Generation for Scaling Systems Software Verification
Baoding He, Nanjing University; Zenan Li, ETH Zurich; Wei Sun and Yuan Yao, Nanjing University; Taolue Chen, Birkbeck, University of London; Xiaoxing Ma, Nanjing University; Zhendong Su, ETH Zurich
Succinct Proofs for Numerical Computations
Zachary DeStefano, Noah Golub, Zile Huang, Julius Zhang, Sam Frank, and Michael Walfish, NYU
Rt: Regular Types for the Streaming Shell
Zekai Li, Lukas Lazarek, Evangelos Lamprou, and George Kapetanakis, Brown University; Konstantinos Mamouras, Rice University; Nikos Vasilakis, Brown University