ICLR event page header - abstract shapes on a purple gradient background

October 13, 2025 – October 16, 2025

Microsoft at SOSP 2025

Location: Seoul, Republic of Korea

09:00 Workshop

13th Workshop on Programming Languages and Operating Systems (PLOS 2025)

Organizing committee member: Chris Hawblitzel, Microsoft Research
09:00 Workshop

DIMES: Workshop on Disruptive Memory Systems

Program committee member: Daniel Berger, Microsoft Azure & University of Washington
09:00 Workshop

Practical Adoption Challenges of ML for Systems

Program committee member: Chieh-Jan Mike Liang, Microsoft Research, Pantea Zardoshti, Microsoft
14:00 Workshop

The International Workshop on Big Memory (BigMem) 2025

Program committee member: Jing Liu, Microsoft Research

08:30 – 10:30 Talk

CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices
Related Publications
- CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices
  
  Saar Amar, Tony Chen, David Chisnall, Nathaniel Wesley Filardo, Ben Laurie, Hugo Lefeuvre, Kunyan Liu, Simon W. Moore, Robert Norton-Wright, Margo Seltzer, Yucong Tao, Robert N. M. Watson, Hongyan Xia
10:45 – 12:00 Talk

Oasis: Pooling PCIe Devices Over CXL to Boost Utilization
Related Publications
- Oasis: Pooling PCIe Devices Over CXL to Boost Utilization
  
  Yuhong Zhong, Daniel S. Berger, Pantea Zardoshti, Enrique Saurez, Jacob Nelson, Dan R. K. Ports, Antonis Psistakis, Joshua Fried, Asaf Cidon
13:30 – 14:45 Talk

TrainVerify: Equivalence-Based Verification for Distributed LLM Training
Related Publications
- TrainVerify: Equivalence-Based Verification for Distributed LLM Training
  
  Yunchi Lu, Youshan Miao, Cheng Tan, Peng Huang, Yi Zhu, Xian Zhang, Fan Yang

10:00 – 10:30 Talk

Aeolia: A Fast and Secure Userspace Interrupt-Based Storage Stack
Related Publications
- Aeolia: A Fast and Secure Userspace Interrupt-Based Storage Stack
  
  Chuandong Li, Ran Yi, Zonghao Zhang, Jing Liu, Changwoo Min, Jie Zhang, Yingwei Luo, Xiaolin Wang, Zhenlin Wang, Diyu Zhou
13:30 – 14:45 Talk

METIS: Fast Quality-Aware RAG Systems with Configuration Adaptation
Related Publications
- METIS: Fast Quality-Aware RAG Systems with Configuration Adaptation (TR)
  
  Siddhant Ray, Rui Pan, Zhuohan Gu, Kuntai Du, Shaoting Feng, Ganesh Ananthanarayanan, Ravi Netravali, Junchen Jiang
15:15 – 16:30 Talk

COpter: Efficient Large-Scale Resource-Allocation via Continual Optimization
Related Publications
- COpter: Efficient Large-Scale Resource-Allocation via Continual Optimization
  
  Suhas Jayaram Subramanya, Don Kurian Dennis, Virginia Smith, Gregory R. Ganger