OSDI 2025 论文分类总结

OSDI 2025 论文分类总结

数据来源: OSDI 2025 会议官网

技术领域分类

技术领域分布

数据加载中...

技术领域论文数量

技术领域 论文数量 占比

作者来源分析

国家和机构分布图

数据加载中...

国家和机构分布表

国家 论文数量 占比 机构

关键词词云

论文标题关键词分布

论文来源机构分布

知识图谱

论文列表

Distributed Systems and Data Centers I

Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols
Tony Nuda Zhang and Keshav Singh, (University of Michigan); Tej Chajed, (UW-Madison); Manos Kapritsos, (University of Michigan); Bryan Parno, (Carnegie Mellon University)
Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed Systems
Chang Lou and Dimas Shidqi Parikesit, (University of Virginia); Yujin Huang, (The Pennsylvania State University); Zhewen Yang and Senapati Diwangkara, (Johns Hopkins University); Yuzhuo Jing, (University of Michigan); Achmad Imam Kistijantoro, (Bandung Institute of Technology); Ding Yuan, (University of Toronto); Suman Nath, (Microsoft Research); Peng Huang, (University of Michigan)
Picsou: Enabling Replicated State Machines to Communicate Efficiently
Reginald Frank and Micah Murray, (UC Berkeley); Suyash Gupta, (University of Oregon); Qibao Xu, Chawinphat Tankuranand, Junseo Yoo, and Natacha Crooks, (UC Berkeley); Manos Kapritsos, (University of Michigan)
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, Yuqi Li, and Yinlong Xu, (University of Science and Technology of China)
To PRI or Not To PRI, That's the question
Yun Wang, (Shanghai Jiao Tong University); Liang Chen, Jie Ji, Xianting Tian, and Ben Luo, (Alibaba Group); ZhiXiang Wei, Zhibai Huang, and Kialiang Xu, (Shanghai Jiao Tong University); Kaihuan Peng, Kaijie Guo, Ning Luo, Guangjian Wang, Shengdong Dai, and Yibin Shen, (Alibaba Cloud); Jiesheng Wu, (Alibaba); Zhengwei Qi, (Shanghai Jiao Tong University)
Enabling Efficient GPU Communication over Multiple NICs with FuseLink
Zhenghang Ren, Yuxuan Li, Zilong Wang, Xinyang HUANG, Wenxue Li, Kaiqiang Xu, Xudong Liao, Yijun Sun, and Bowen Liu, (Hong Kong University of Science and Technology); Han Tian, (University of Science and Technology of China); Junxue Zhang, (Hong Kong University of Science and Technology); Mingfei Wang, (MetaX Integrated Circuits (Shanghai) Co., Ltd); Zhizhen Zhong, (Massachusetts Institute of Technology); Guyue Liu, (Peking University); Ying Zhang, (Meta); Kai Chen, (Hong Kong University of Science and Technology)

Database Systems

Tigon: A Distributed Database for a CXL Pod
Yibo Huang, Haowei Chen, Newton Ni, Vijay Chidambaram, Dixin Tang and Emmett Witchel, (The University of Texas at Austin)
Warbler: 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)
Quake: Adaptive Indexing for Vector Search
Jason Mohoney, Devesh Sarda, and Mengze Tang, (University of Wisconsin, Madison); Shihabur Rahman Chowdhury and Anil Pacaci, (Apple); Ihab F. Ilyas, (University of Waterloo); Theodoros Rekatsinas, (Apple); Shivaram Venkataraman, (University of Wisconsin, Madison)
Achieving Low-Latency Graph-Based Vector Search via Aligning Best-First Search Algorithm with SSD
Hao Guo and Youyou Lu, (Tsinghua University)
Skybridge: Bounded Staleness for Distributed Caches
Robert Lyerly and John Hugg, (Meta Platforms, Inc.)

AI + Systems I

KPerfIR: Towards a Open and Compiler-centric Ecosystem for GPU Kernel Performance Tooling on Modern AI Workloads
Yue Guan, (University of California, San Diego); Yuanwei Fang, (Meta); Keren Zhou, (George Mason University and OpenAI); Corbin Robeck, (AMD); Manman Ren, (Meta); Zhongkai Yu, (University of California, San Diego); Yufei Ding, (University of California San Diego, Meta); Adnan Aziz, (Meta)
MISO: 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 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)
Write Once, Run Anywhere: Transcompiling Tensor Programs for Deep Learning Systems with a Neural-Symbolic Approach
Shouyang Dong, (University of Science and Technology of China); Yuanbo Wen, Jun Bi, Di Huang and Jiaming Guo, (Institute of Computing Technology, Chinese Academy of Sciences); Jianxing Xu and Ruibai Xu, (University of Science and Technology of China); Xinkai Song, Yifan Hao, and Ling Li, (Institute of Software, Chinese Academy of Sciences); Xuehai Zhou, (University of Science and Technology of China); Tianshi Chen, (Cambricon Technologies); Qi Guo and Yunji Chen, (Institute of Computing Technology, Chinese Academy of Sciences);
LLMoC: 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)

AI + Systems II

Fast and Live Model Auto Scaling without Caching
Dingyan Zhang, Haotian Wang, Yang Liu, and Xingda Wei, (Shanghai Jiao Tong University); Yizhou Shan, (Huawei Cloud); Rong Chen and Haibo Chen, (Shanghai Jiao Tong University)
Bayesian Code Diffusion for Efficient Automatic Deep Learning Program Optimization
Isu Jeong and Seulki Lee, (Ulsan National Institute of Science and Technology)
Training with Confidence: Catching Silent DL Training Bugs with Automated Proactive Checks
Yuxuan Jiang, Ziming Zhou, Boyu Xu, Beijie Liu, Runhui Xu, and Peng Huang, (University of Michigan)
Neutrino: Fine-grained GPU Kernel Profiling via Programmable Probing
Songlin Huang and Chenshu Wu, (The University of Hong Kong)
Principles and Methodologies for System Performance Optimization
Sujin Park, Mingyu Guan, Xiang Cheng, and Taesoo Kim, (Georgia Institute of Technology)

Scheduling and Resource Management

Söze: One Network Telemetry Is All You Need For Per-flow Weighted Bandwidth Allocation at Scale
Weitao Wang, (Rice University / Google); T. S. Eugene Ng, (Rice University)
Decouple and Decompose: Scaling Resource Allocation with DeDe
Zhiying Xu and Minlan Yu, (Harvard University); Francis Y. Yan, (University of Illinois Urbana-Champaign)
Quantum Virtual Machines
Runzhou Tao, (University of Maryland); Hongzheng Zhu and Jason Nieh, (Columbia University)
QOS: Quantum Operating System
Emmanouil Giortamis, Francisco Romão, Nathaniel Tornow, and Pramod Bhatotia, (TU Munich)
Scalio: Scaling up DPU-based JBOF Key-value Store with NVMe-oF Target Offload
Xun Sun, Mingxing Zhang, Yingdi Shan, Kang Chen, Jinlei Jiang, and Yongwei Wu, (Tsinghua University)

Distributed Systems and Data Centers II

Low End-to-End Latency atop a Speculative Shared Log with Fix-Ante Ordering
Shreesha Gopalakrishna Bhat, Tony Hong, Xuhao Luo, Jiyu Hu, Aishwarya Ganesan, and Ramnatthan Alagappan, (University of Illinois Urbana-Champaign)
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)
Fork in the Road: Reflections and Optimizations for Cold Start Latency in Production Serverless Systems
Xiaohu Chai, (Tsinghua University and Ant Group); Tianyu Zhou, (Ant Group); Keyang Hu, (Tsinghua University); Jianfeng Tan, Tiwei Bie, Anqi Shen, Dawei Shen, Qi Xing, Shun Song, Tongkai Yang, Le Gao, Feng Yu, and Zhengyu He, (Ant Group); Dong Du and Yubin Xia, (Shanghai Jiao Tong University); Kang Chen, (Tsinghua University); Yu Chen, (Quan Cheng Laboratory, Jinan, China, and Tsinghua University)
Kamino: Efficient VM Allocation at Scale with Latency-Driven Cache-Aware Scheduling
David Domingo, (Rutgers University); Hugo Barbalho and Marco Molinaro, (Microsoft Research); Kuan Liu and Abhisek Pan, (Microsoft); David Dion, (Microsoft Azure); Thomas Moscibroda, (Microsoft); Sudarsun Kannan, (Rutgers University); Ishai Menache, (Microsoft Research)
Empowering Distributed Training with Sparsity-driven Data Synchronization
Zhuang Wang and Yuke Wang, Rice University; Zhaozhuo Xu, Stevens Institute of Technology;; Jingyi Xi, Zhejiang University; Anshumali Shrivastava and T. S. Eugene Ng, Rice University

Kernel and Operating Systems I

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); Andrew Quinn, (UC Santa Cruz)
A Unified Hardware Performance Profiling Infrastructure to Measure and Manage Uncertainty
Ao Li, Marion Sudvarg, Zihan Li, Sanjoy Baruah, Chris Gill, and Ning Zhang, (Washington University in St. Louis)
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)
KRR: Efficient and Scalable Kernel Record Replay
Tianren Zhang, (unaffiliated); Sishuai Gong and Pedro Fonseca, (Purdue University)
Debox: Enforcing Determinism on Untrusted Machine Code
Zachary Yedidia, Geoffrey Ramseyer, and David Mazieres, (Stanford University)

Kernel and Operating Systems II

Disentangling the Dual Role of NIC Receive Rings
Boris Pismenny, (EPFL and NVIDIA); Adam Morrison, (Tel Aviv University); Dan Tsafrir, (Technion)
Preemptive Scheduling for Diverse XPUs using Multi-level Hardware Model
Weihang Shen, Mingcong Han, Jialong Liu, Rong Chen, and Haibo Chen, (Shanghai Jiao Tong University)
OS Rendering Service Made Parallel with Out-of-Order Execution and In-Order Commit
Yuanpei Wu and Dong Du, (Shanghai Jiao Tong University); Chao Xu, (Huawei Central Software Institute, Fields Lab); Yubin Xia, (Shanghai Jiao Tong University); Ming Fu, (Huawei Central Software Institute, Fields Lab); Yang Yu, Binyu Zang, and Haibo Chen, (Shanghai Jiao Tong University)
EMT: An OS Framework for New Memory Translation Architectures
Siyuan Chai, Jiyuan Zhang, Jongyul Kim, Alan Wang, Fan Chung, and Jovan Stojkovic, (University of Illinois Urbana-Champaign); Weiwei Jia, (University of Rhode Island); Dimitrios Skarlatos, (Carnegie Mellon University); Josep Torrellas and Tianyin Xu, (University of Illinois Urbana-Champaign)
Tiered Memory Management Beyond Hotness
Jinshu Liu, Hamid Hadian, Hanchen Xu, and Huaicheng Li, (Virginia Tech)

AI + Systems III

Clover: Exploiting Intra-device Parallelism for High Throughput Large Language Model Serving
Kan Zhu, (University of Washington); Yufei Gao, (Tsinghua University and University of Washington); Yilong Zhao, (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)
PipeThreader: Software-Defined Pipelining for Efficient DNN Execution
Yu Cheng and Lei Wang, (Peking University and Microsoft Research); Yining Shi, (Peking University); Yuqing Xia, Lingxiao Ma, Jilong Xue, and Yang Wang, (Microsoft Research); Zhiwen Mo, (Imperial College London and Microsoft Research Asia); Feiyang Chen, (Shanghai Jiao Tong University and Microsoft Research Asia); Fan Yang and Mao Yang, (Microsoft Research); Zhi Yang, (Peking University)
WLB-LLM: Workload-Balanced 4D Parallelism for Large Language Model Training
Zheng Wang, (University of California, San Diego); 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)
DecDEC: A Systems Approach to Advancing Low-Bit LLM Quantization
Yeonhong Park, Jake Hyun, Hojoon Kim, and Jae W. Lee, (Seoul National University)

File and Storage Systems

Stripeless Data Placement for Erasure-Coded In-Memory Storage
Jian Gao, Jiwu Shu, Bin Yan, and Yuhao Zhang, (Tsinghua University); Keji Huang, (Huawei Technologies Co., Ltd)
PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection
Hayley LeBlanc, (University of Texas at Austin); Jacob R. Lorch and Chris Hawblitzel, (Microsoft Research); Cheng Huang and Yiheng Tao, (Microsoft); Nickolai Zeldovich, (MIT CSAIL and Microsoft Research); Vijay Chidambaram, (University of Texas at Austin)
Fast and Synchronous Crash Consistency with Metadata Write-Once File System
Yanqi Pan, Wen Xia, Yifeng Zhang, Xiangyu Zou, and Hao Huang, (Harbin institute of Technology, Shenzhen); Zhenhua Li, (Tsinghua University); Chentao Wu, (Shanghai Jiao Tong University)
Decentralized, Epoch-based F2FS Journaling With Fine-grained Crash Recovery
Yaotian Cui and Zhiqi Wang, (The Chinese University of Hong kong, China); Renhai Chen, (College of Intelligence and Computing, Tianjin University, China); Zili Shao, (The Chinese University of Hong Kong, China)
Nyala: Decoupling data striping and redundancy grouping in cluster file systems
Sanjith Athlur and Timothy Kim, (Carnegie Mellon University); Saurabh Kadekodi, (Google); Francisco Maturana and Xavier Ramos, (Carnegie Mellon University); Arif Merchant, (Google); Rashmi Vinayak and Greg Ganger, (Carnegie Mellon University)

Privacy and Security

Astrolabe: Encrypted Semantic Search with High Accuracy
Jinhao Zhu, (UC Berkeley); Liana Patel, (Stanford University); Matei Zaharia and Raluca Ada Popa, (UC Berkeley)
Weave: Efficient and Expressive Oblivious Analytics at Scale
Mahdi Soleimani, Grace Jia, and Anurag Khandelwal, (Yale University)
Paralegal: Practical Static Analysis for Privacy Bugs
Justus Adam, Carolyn Zech, Livia Zhu, Sreshtaa Rajesh, Nathan Harbison, Mithi Jethwa, Will Crichton, Malte Schwarzkopf, and Shriram Krishnamurthi, (Brown University)
Carpet: Costs and Benefits of Implementing Containers on Microkernels
Till Miemietz, Matthias Hille, and Viktor Reusch, (Barkhausen Institut); Lars Wrenger, (Leibniz Universität Hannover); Jana Eisoldt, (Barkhausen Institut); Jan Klötzke, (Kernkonzept GmbH); Max Kurze and Adam Lackorzynski, (TU Dresden); Michael Roitzsch and Hermann Härtig, (Barkhausen Institut)