OSDI '25 Poster Session

The following posters will be presented at the OSDI '25 Poster Session and Reception on Monday, July 7, from 6:00 pm–7:30 pm in the Back Bay Ballroom.

The OSDI '25 Poster Session and Reception is sponsored by Amazon.

Unpublished Work

Posters of unpublished research.


Achieving Zero-copy Receive using Commodity SoC-based SmartNICs
Sihoon Seong and Jaehyun Hwang, Sungkyunkwan University

Deadlock-Free Two-Phase Locking for High-Contention Workloads with Early Write Visibility
Farzad Habibi and Juncheng Fang, University of California, Irvine; Tania Lorido Botran, Roblox; Faisal Nawab, University of California, Irvine

Designing Practical Data Placement for Log-Structured Systems with Oracle-Guided Insights
Jeeyun Kim, POSTECH; Seonggyun Oh and Jungwoo Kim, DGIST; Jisung Park, POSTECH; Jaeho Kim, Gyeongsang National University; Sungjin Lee, POSTECH; Sam H. Noh, Virginia Tech

EcoScale: Giving Old Servers New Life at Hyperscale
Jaylen Wang, Carnegie Mellon University; Melissa Z. Pan, UC Berkeley; Udit Gupta, Cornell Tech; Akshitha Sriraman, Carnegie Mellon University

Electro: Energy-Efficient Compound AI Systems
Melissa Z. Pan and Negar Arabzadeh, UC Berkeley; Fiodar Kazhamiaka and Esha Choukse, Microsoft; Matei Zaharia, UC Berkeley

Exploiting the power of holes as a first-class primitive in distributed tracing
Darby Huye, Raja Sambasivan, and Tony Astolfi, Tufts University

From Device Passthrough to Host Passout: Exploring RAS Risks in {High-Performance, Virtualized} AI-Systems
Chathura Rajapaksha, Boston University; Sandhya Koteeshwara, Apoorve Mohan, and Hubertus Franke, IBM Research; Bandan Das, Red Hat; Manuel Egele and Ajay Joshi, Boston University

Link-time Instrumentation with Quark
Michael Paper and Zachary Yedidia, Stanford University

Low-Overhead Silent Data Corruption Detection for LLM Training
Rihae Park, Yeonjae Kim, Seungyul Lee, Yeonhong Park, and Jae W. Lee, Seoul National University

Lumos: Lightweight Provenance-Guided Online Debugging
Jingyuan Chen, Princeton University; Lei Zhang, ByteDance; Gongqi Huang, Ravi Netravali, and Amit Levy, Princeton University

PirateShip: Distributed Consensus for (mostly) Trusted Execution Environments
Shubham Mishra, Chawinphat Tankuranand, and Natacha Crooks, UC Berkeley; Heidi Howard, Azure Research, Microsoft

Project Cylon: Fast and Accurate Full-Stack CXL-SSD Emulation
Dongha Yoon, Hansen Idden, and Jinshu Liu, Virginia Tech; Marie Nguyen, Samsung; Sam H. Noh and Huaicheng Li, Virginia Tech

Retrofitting VMM Optimizations to Confidential VMs
Yuma Okamura, Keio University; Kenta Ishiguro, Grenoble INP - UGA; Terufumi Hata and Kenji Kono, Keio University

Rollbaccine: Herd Immunity against Storage Rollback Attacks in TEEs
David C.Y. Chu, UC Berkeley

Samurai: Slash your decentralized Storage
Shistata Subedi, University of Oregon; Shubham Mishra, University of California, Berkeley; Asim Nepal, University of Oregon; Natacha Crooks, University of California, Berkeley; Suyash Gupta, University of Oregon

Self-Sustaining Cascading Failure Detection via Causally Linked Fault Injections
Shangshu Qian, Lin Tan, and Yongle Zhang, Purdue University

Studying Differences Across User Query Groups In Vector Similarity Search
Sara Mahdizadeh Shahri, Martin Prammer, Jignesh Patel, and Akshitha Sriraman, Carnegie Mellon University

Synthesizing Safety Proofs Using Triggers
Seyed Armin Vakil Ghahani and Manos Kapritsos, University of Michigan

Toward Hardware-Assisted Kernel-Bypass Data Movement and Transfer
Keisuke Iida and Takahiro Shinagawa, The University of Tokyo

Towards IPC Acceleration in Data-Intensive Computing
Misun Park and Richi Dubey, Georgia Institute of Technology; Yifan Yuan, Meta; Nam Sung Kim, University of Illinois Urbana Champaign; Ada Gavrilovska, Georgia Institute of Technology

TurtleKV: A Dynamically Optimized Key/Value Engine
Tony Astolfi, Tufts University; MathWorks; Vidya Silai, MathWorks; Darby Huye, Lan Liu, Raja Sambasivan, and Johes Bater, Tufts University

Published Work

Posters of papers published at OSDI '25.


Bayesian Code Diffusion for Efficient Automatic Deep Learning Program Optimization
Isu Jeong and Seulki Lee, Ulsan National Institute of Science and Technology

Building Bridges: Safe Interactions with Foreign Languages through Omniglot
Leon Schuermann and Jack Toubes, Princeton University; Tyler Potyondy and Pat Pannuto, University of California San Diego; Mae Milano and Amit Levy, Princeton University

Compass: Encrypted Semantic Search with High Accuracy
Jinhao Zhu, UC Berkeley; Liana Patel, Stanford University; Matei Zaharia and Raluca Ada Popa, UC Berkeley

Extending Applications Safely and Efficiently
Yusheng Zheng, UC Santa Cruz; Tong Yu, eunomia-bpf Community; Yiwei Yang, UC Santa Cruz; Yanpeng Hu, ShanghaiTech University; Xiaozheng Lai, South China University of Technology; Dan Williams, Virginia Tech; Andi Quinn, UC Santa Cruz

FineMem: Breaking the Allocation Overhead vs. Memory Waste Dilemma in Fine-Grained Disaggregated Memory Management
Xiaoyang Wang and Yongkun Li, University of Science and Technology of China; Kan Wu, Google; Wenzhe Zhu and Yuqi Li, University of Science and Technology of China; Yinlong Xu, University of Science and Technology of China and Anhui Provincial Key Laboratory of High Performance Computing

Mako: Speculative Distributed Transactions with Geo-Replication
Weihai Shen, Stony Brook University; Yang Cui, Google; Siddhartha Sen, Microsoft Research; Sebastian Angel, University of Pennsylvania; Shuai Mu, Stony Brook University

MettEagle: Costs and Benefits of Implementing Containers on Microkernels
Till Miemietz, Viktor Reusch, and Matthias Hille, Barkhausen Institut; Lars Wrenger, Leibniz-Universität Hannover; Jana Eisoldt, Barkhausen Institut; Jan Klötzke, Kernkonzept GmbH; Max Kurze, Technische Universität Dresden; Adam Lackorzynski, Technische Universität Dresden and Kernkonzept GmbH; Michael Roitzsch, Barkhausen Institut; Hermann Härtig, Barkhausen Institut and Technische Universität Dresden

Mirage: A Multi-Level Superoptimizer for Tensor Programs
Mengdi Wu and Xinhao Cheng, Carnegie Mellon University; Shengyu Liu and Chunan Shi, Peking University; Jianan Ji and Man Kit Ao, Carnegie Mellon University; Praveen Velliengiri, Pennsylvania State University; Xupeng Miao, Purdue University; Oded Padon, Weizmann Institute of Science; Zhihao Jia, Carnegie Mellon University

NanoFlow: Towards Optimal Large Language Model Serving Throughput
Kan Zhu, University of Washington; Yufei Gao, Tsinghua University and University of Washington; Yilong Zhao, University of Washington and University of California, Berkeley; Liangyu Zhao, University of Washington; Gefei Zuo, University of Michigan; Yile Gu and Dedong Xie, University of Washington; Tian Tang and Qinyu Xu, Tsinghua University and University of Washington; Zihao Ye, Keisuke Kamahori, and Chien-Yu Lin, University of Washington; Ziren Wang, Tsinghua University and University of Washington; Stephanie Wang, Arvind Krishnamurthy, and Baris Kasikci, University of Washington

Paralegal: Practical Static Analysis for Privacy Bugs
Justus Adam, Carolyn Zech, Livia Zhu, Sreshtaa Rajesh, Nathan Harbison, Mithi Jethwa, Will Crichton, Shriram Krishnamurthi, and Malte Schwarzkopf, Brown University

Picsou: Enabling Replicated State Machines to Communicate Efficiently
Reginald Frank, Micah Murray, Chawinphat Tankuranand, Junseo Yoo, Ethan Xu, and Natacha Crooks, UC Berkeley; Suyash Gupta, University of Oregon; Manos Kapritsos, University of Michigan

PipeThreader: Software-Defined Pipelining for Efficient DNN Execution
Yu Cheng, Lei Wang, and Yining Shi, School of Computer Science, Peking University; Yuqing Xia, Lingxiao Ma, Jilong Xue, and Yang Wang, Microsoft Research; Zhiwen Mo, Imperial College London and Microsoft Research; Feiyang Chen, Shanghai Jiao Tong University and Microsoft Research; Fan Yang and Mao Yang, Microsoft Research; Zhi Yang, School of Computer Science, Peking University

Scalio: Scaling up DPU-based JBOF Key-value Store with NVMe-oF Target Offload
Xun Sun, Mingxing Zhang, Yingdi Shan, Kang Chen, and Jinlei Jiang, Tsinghua University; Yongwei Wu, Tsinghua University, Quan Cheng Laboratory

Tiered Memory Management Beyond Hotness
Jinshu Liu, Hamid Hadian, Hanchen Xu, and Huaicheng Li, Virginia Tech

Tigon: A Distributed Database for a CXL Pod
Yibo Huang, Haowei Chen, and Newton Ni, The University of Texas at Austin; Yan Sun, University of Illinois Urbana–Champaign; Vijay Chidambaram, Dixin Tang, and Emmett Witchel, The University of Texas at Austin

Training with Confidence: Catching Silent Errors in Deep Learning Training with Automated Proactive Checks
Yuxuan Jiang, Ziming Zhou, Boyu Xu, Beijie Liu, Runhui Xu, and Peng Huang, University of Michigan

Understanding Stragglers in Large Model Training Using What-if Analysis
Jinkun Lin, New York University; Ziheng Jiang, Zuquan Song, Sida Zhao, and Menghan Yu, ByteDance Seed; Zhanghan Wang, New York University; Chenyuan Wang, ByteDance Seed; Zuocheng Shi, Zhejiang University; Xiang Shi, ByteDance; Wei Jia, Zherui Liu, Shuguang Wang, Haibin Lin, and Xin Liu, ByteDance Seed; Aurojit Panda and Jinyang Li, New York University

WaferLLM: Large Language Model Inference at Wafer Scale
Congjie He, Yeqi Huang, and Pei Mu, University of Edinburgh; Ziming Miao, Jilong Xue, Lingxiao Ma, and Fan Yang, Microsoft Research; Luo Mai, University of Edinburgh

WLB-LLM: Workload-Balanced 4D Parallelism for Large Language Model Training
Zheng Wang, University of California, San Diego, and Meta; Anna Cai and Xinfeng Xie, Meta; Zaifeng Pan and Yue Guan, University of California, San Diego; Weiwei Chu, Jie Wang, Shikai Li, Jianyu Huang, Chris Cai, and Yuchen Hao, Meta; Yufei Ding, University of California, San Diego, and Meta