Media Summary: Fork in the Road: Reflections and Optimizations for Cold Start Latency in Production Serverless Systems Xiaohu Chai, Tsinghua ... Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols Tony Nuda Zhang and Keshav Singh, ... Low End-to-End Latency atop a Speculative Shared Log with Fix-Ante Ordering Shreesha G. Bhat, Tony Hong, Xuhao Luo, Jiyu ...
Osdi 25 Deterministic Client Enforcing - Detailed Analysis & Overview
Fork in the Road: Reflections and Optimizations for Cold Start Latency in Production Serverless Systems Xiaohu Chai, Tsinghua ... Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols Tony Nuda Zhang and Keshav Singh, ... Low End-to-End Latency atop a Speculative Shared Log with Fix-Ante Ordering Shreesha G. Bhat, Tony Hong, Xuhao Luo, Jiyu ... Fast and Synchronous Crash Consistency with Metadata Write-Once File System Yanqi Pan, Wen Xia, Yifeng Zhang, Xiangyu Zou ... XSched: Preemptive Scheduling for Diverse XPUs Weihang Shen, Mingcong Han, Jialong Liu, Rong Chen, and Haibo Chen, ... Decouple and Decompose: Scaling Resource Allocation with DeDe Zhiying Xu and Minlan Yu, Harvard University; Francis Y. Yan ...
Joint Keynote Address: Accelerating Software Development: The LLM (R)evolution Emery Berger, University of Massachusetts ... The oral presentation of the paper "Bayesian Code Diffusion for Efficient Automatic Deep Learning Program Optimization"" in the ... BlitzScale: Fast and Live Large Model Autoscaling with O(1) Host Caching Dingyan Zhang, Haotian Wang, Yang Liu, and Xingda ... QOS: Quantum Operating System Emmanouil Giortamis, Francisco Romão, Nathaniel Tornow, and Pramod Bhatotia, TU Munich ... Principles and Methodologies for Serial Performance Optimization Sujin Park, Mingyu Guan, Xiang Cheng, and Taesoo Kim, ...
![[OSDI 2025] Bayesian Code Diffusion for Efficient Automatic Deep Learning Program Optimization](https://i.ytimg.com/vi/jlzJSoPiJRc/mqdefault.jpg)
