Papers
kSTEP: Characterization and Deterministic Testing of Linux CPU Scheduler Bugs
Tingjia Cao, Shawn (Wanxiang) Zhong, Caeden Whitaker et al.
Rakaia: Scalable In-Kernel Scheduling for TCP-Based RPCs
Rui Yang, Konstantinos Prasopoulos, Edouard Bugnion
SBB: Eliminating Centralized Bottlenecks in Userspace Network Runtime
Kang Hu, Shuqi Dong, Chuandong Li et al.
Controlling Opaque-Component Effects with Semisolates and Try
Evangelos Lamprou, Tianyu (Ezri) Zhu, Di Jin et al.
Breaking the Reward Barrier: Accelerating Tree-of-Thought Reasoning via Speculative Exploration
Shuzhang Zhong, Haochen Huang, Shengxuan Qiu et al.
When Sampling Lies: Trustworthy Performance Profiling for Flat Workloads with Blink (Operational Systems)
Rishikesh Devsot, ChenXing Yang, Yi Fan Yu et al.
The Abstention Protocol: RCA for Clos Fabrics (Operational Systems)
Madhava Gaikwad, Deepak Pandey
ValScope: Value-Semantics-Aware Metamorphic Testing for Detecting Logical Bugs in DBMSs
Li Lin, Liehang Chen, Rongxin Wu et al.
Cocoon: A System Architecture for Differentially Private Training with Correlated Noises
Donghwan Kim, Xin Gu, Jinho Baek et al.
Teaching the Old Dog New Tricks: Building Efficient Data Pipelines for Large-Scale LLM Pre-Training (Operational Systems)
Luofan Chen, Chenhan Wang, Weidong Zhang et al.
Syncopate: Efficient Multi-GPU AI Kernels via Automatic Chunk-Centric Compute-Communication Overlap
Xinwei Qiang, Yue Guan, Zhengding Hu et al.
Hetu v2: A General and Scalable Deep Learning System with Hierarchical and Heterogeneous Single Program Multiple Data Annotations
Haoyang Li, Fangcheng Fu, Hao Ge et al.
Tessera: A Holistic Pipeline Parallelism Framework for Trillion-Parameter Heterogeneous MoE Training (Operational Systems)
Weifang Hu, Langshi Chen, Man Yuan et al.
iLand: An Instruction-Level Dynamic Binary Instrumentation Framework for iOS
Kaitao Xie, Yizhuo Wang, Xiaolong Bai
Extracting Database Access-Control Policies from Web Applications
Wen Zhang, Dev Bali, Jamison Kerney et al.
Ichnaea: A Framework for Precise Tracking of Memory Objects
Samad Haque, Sibin Mohan, Aaron Paulos et al.
Mohabi: Disaggregating and Sandboxing the Firefox JavaScript Engine
Abhishek Sharma, Anand Balaji, Zachary Yedidia et al.
USEC: A User-Requirement-Driven Mandatory Access Control Framework for Operating Systems (Operational Systems)
Yu Jiang, Wenhuan Liu, Fuchen Ma et al.
MDK: Rethinking the Data Center Memory Reclamation Problem
Shaurya Patel, Suli Yang, Yawen Wang et al.
OBASE: Object-Based Address-Space Engineering to Improve Memory Tiering
Vinay Banakar, Suli Yang, Kan Wu et al.
Finding NEMO: Nimble and Expressive Memory Observability
Shihang Li, Matthew Giordano, Tushar Garg et al.
MAC: Metadata Acceleration for Sustainable Performance in Big-Data Systems with CXL DRAM
Dusol Lee, Yan Sun, Houxiang Ji et al.
Break On Through to the Other Side: Pooling Memory Elastically with RamRyder
Yanbo Zhou, Erci Xu, Dongjoo Seo et al.
Prism: Cost-Efficient Multi-LLM Serving via GPU Memory Ballooning
Shan Yu, Yifan Qiao, Mingyuan Ma et al.
Simple Is Better: Multiplication May Be All You Need for LLM Request Scheduling
Dingyan Zhang, Jinbo Han, Kaixi Zhang et al.