TBD
Presenter: Xinhao Kong

TBD
Presenter: Avery Blanchard

Poseidon: Efficient, Robust, and Practical Datacenter CC via Deployable INT
Presenter: Weitao Wang (from Rice)

PAINTER: Ingress Traffic Engineering and Routing for Enterprise Cloud Networks
Presenter: Shihan Lin

A Hardware-Software Co-design for Efficient Intra-Enclave Isolation
Presenter: Shujun Qi

SNS is not a Synthesizer: Fast, Robust, and Transferable Prediction for Hardware Logic Synthesis
Presenter: Entropy Xu

Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems
Presenter: Luka Duranovic

Into the Depths of C: Elaborating the De Facto Standards
Presenter: Jianxing Qin

Efficient Memory Management for Large Language Model Serving with PagedAttention
Presenter: Yongji Wu

Junkyard Computing: Repurposing Discarded Smartphones to Minimize Carbon
Presenter: Chris Kjellqvist

Pond: CXL-Based Memory Pooling Systems for Cloud Platforms
Presenter: Danyang Zhuo

WIP: Statistical Image Processing
Presenter: Chris Kjellqvist

Electrode: Accelerating Distributed Protocols with eBPF
Presenter: Yang Zhou (from Harvard)

Understanding RDMA Microarchitecture Resources for Performance Isolation
Presenter: Xinhao Kong

Remote Procedure Call as a Managed System Service
Presenter: Yongji Wu and Jingrong Chen

Automatic Reliability Testing For Cluster Management Controllers
Presenter: Yongkang Li

BlackBox: A Container Security Monitor for Protecting Containers on Untrusted
Presenter: Shujun Qi

Verifying Hardware Security Modules with Information-Preserving Refinement
Presenter: Luka Duranovic

Verifying Hardware Security Modules with Information-Preserving Refinement
Presenter: Luka Duranovic

Sibyl: A Practical Internet Route Oracle
Presenter: Shihan Lin

ATP: In-network Aggregation for Multi-tenant Learning
Presenter: Yicheng Jin

Debugging the OmniTable Way
Presenter: Yongkang Li

In-Kernel Storage Functions with eBPF
Presenter: Luka Duranovic

MemLiner: Lining up Tracing and Application for a Far-Memory-Friendly Runtime
Presenter: Jingrong Chen

Serving and Optimizing Machine Learning Workflows on Heterogeneous Infrastructures
Presenter: Yongji Wu

ML for Databases
Presenter: Yao Lu (MSR)

Agora: Real-time massive MIMO baseband processing in software
Presenter: Lin Zhong (Yale)

FlexOS: Towards Flexible OS Isolation
Presenter: Shujun Qi

Understanding RDMA Microarchitecture Resources for Performance Isolation
Presenter: Xinhao Kong

Rearchitecting In-Memory Object Stores for Low Latency
Presenter: Danyang Zhuo