OSDISoftware Engineering / System Software / Programming Languages2020-2025
USENIX Symposium on Operating Systems Design and Implementation
311 papersWebsite
Recent papers
- Achieving Low-Latency Graph-Based Vector Search via Aligning Best-First Search Algorithm with SSDHao Guo, Youyou Lu · 2025 · 26 citations
- Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable ProtocolsTony Nuda Zhang, Keshav Singh, Tej Chajed, Manos Kapritsos · 2025 · 9 citations
- Bayesian Code Diffusion for Efficient Automatic Deep Learning Program OptimizationIsu Jeong, Seulki Lee · 2025
- BlitzScale: Fast and Live Large Model Autoscaling with O(1) Host CachingDingyan Zhang, Haotian Wang, Yang Liu, Xingda Wei · 2025 · 29 citations
- Building Bridges: Safe Interactions with Foreign Languages through OmniglotLeon Schuermann, Jack Toubes, Tyler Potyondy, Pat Pannuto · 2025
- Compass: Encrypted Semantic Search with High AccuracyJinhao Zhu, Liana Patel, Matei Zaharia, Raluca Ada Popa · 2025 · 14 citations
- DecDEC: A Systems Approach to Advancing Low-Bit LLM QuantizationYeonhong Park, Jake Hyun, Hojoon Kim, Jae W. Lee · 2025 · 9 citations
- Decentralized, Epoch-based F2FS Journaling with Fine-grained Crash RecoveryYaotian Cui, Zhiqi Wang, Renhai Chen, Zili Shao · 2025
- Decouple and Decompose: Scaling Resource Allocation with DeDeZhiying Xu, Minlan Yu, Francis Y. Yan · 2025 · 5 citations
- Deriving Semantic Checkers from Tests to Detect Silent Failures in Production Distributed SystemsChang Lou, Dimas Shidqi Parikesit, Yujin Huang, Zhewen Yang · 2025 · 6 citations
- Deterministic Client: Enforcing Determinism on Untrusted Machine CodeZachary Yedidia, Geoffrey Ramseyer, David Mazières · 2025 · 1 citation
- Disentangling the Dual Role of NIC Receive RingsBoris Pismenny, Adam Morrison, Dan Tsafrir · 2025 · 2 citations
- EMT: An OS Framework for New Memory Translation ArchitecturesSiyuan Chai, Jiyuan Zhang, Jongyul Kim, Alan Wang · 2025 · 1 citation
- Enabling Efficient GPU Communication over Multiple NICs with FuseLinkZhenghang Ren, Yuxuan Li, Zilong Wang, Xinyang Huang · 2025 · 10 citations
- Extending Applications Safely and EfficientlyYusheng Zheng, Tong Yu, Yiwei Yang, Yanpeng Hu · 2025 · 7 citations
- Fast and Synchronous Crash Consistency with Metadata Write-Once File SystemYanqi Pan, Wen Xia, Yifeng Zhang, Xiangyu Zou · 2025
- FineMem: Breaking the Allocation Overhead vs. Memory Waste Dilemma in Fine-Grained Disaggregated Memory ManagementXiaoyang Wang, Yongkun Li, Kan Wu, Wenzhe Zhu · 2025 · 3 citations
- Fork in the Road: Reflections and Optimizations for Cold Start Latency in Production Serverless SystemsXiaohu Chai, Tianyu Zhou, Keyang Hu, Jianfeng Tan · 2025 · 7 citations
- Kamino: Efficient VM Allocation at Scale with Latency-Driven Cache-Aware SchedulingDavid Domingo, Hugo Barbalho, Marco Molinaro, Kuan Liu · 2025 · 2 citations
- KPerfIR: Towards a Open and Compiler-centric Ecosystem for GPU Kernel Performance Tooling on Modern AI WorkloadsYue Guan, Yuanwei Fang, Keren Zhou, Corbin Robeck · 2025
- KRR: Efficient and Scalable Kernel Record ReplayTianren Zhang, Sishuai Gong, Pedro Fonseca · 2025 · 1 citation
- Low End-to-End Latency atop a Speculative Shared Log with Fix-Ante OrderingShreesha G. Bhat, Tony Hong, Xuhao Luo, Jiyu Hu · 2025 · 2 citations
- Mako: Speculative Distributed Transactions with Geo-ReplicationWeihai Shen, Yang Cui, Siddhartha Sen, Sebastian Angel · 2025 · 4 citations
- MettEagle: Costs and Benefits of Implementing Containers on MicrokernelsTill Miemietz, Viktor Reusch, Matthias Hille, Lars Wrenger · 2025 · 2 citations