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

Publications

View by:

- AdaptCache: KV Cache Native Storage Hierarchy for Low-Delay and High-Quality Language Model Serving
  
  Shaoting Feng, Hanchen Li, Kuntai Du, Zhuohan Gu, Yuhan Liu, Jiayi Yao, Siddhant Ray, Samuel Shen, Yihua Cheng, Ganesh Ananthanarayanan, Junchen Jiang
  
  ACM SOSP BigMem Workshop | October 2025
  
  Publication
- 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
  
  The 31st Symposium on Operating Systems Principles (SOSP’25) | October 2025
  
  DOI Publication
- TrainVerify: Equivalence-Based Verification for Distributed LLM Training
  
  Yunchi Lu, Youshan Miao, Cheng Tan, Peng Huang, Yi Zhu, Xian Zhang, Fan Yang
  
  Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles (SOSP’25) | October 2025
  
  Publication Github
- 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
  
  September 2025
- 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
  
  September 2025
  
  Github
- COpter: Efficient Large-Scale Resource-Allocation via Continual Optimization
  
  Suhas Jayaram Subramanya, Don Kurian Dennis, Virginia Smith, Gregory R. Ganger
  
  September 2025
- 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
  
  arXiv:2412.10543 | December 2024
  
  Published by arXiv
  
  Publication

- AdaptCache: KV Cache Native Storage Hierarchy for Low-Delay and High-Quality Language Model Serving
  
  Shaoting Feng, Hanchen Li, Kuntai Du, Zhuohan Gu, Yuhan Liu, Jiayi Yao, Siddhant Ray, Samuel Shen, Yihua Cheng, Ganesh Ananthanarayanan, Junchen Jiang
  
  ACM SOSP BigMem Workshop | October 2025
  
  Publication
- 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
  
  arXiv:2412.10543 | December 2024
  
  Published by arXiv
  
  Publication
- AdaptCache: KV Cache Native Storage Hierarchy for Low-Delay and High-Quality Language Model Serving
  
  Shaoting Feng, Hanchen Li, Kuntai Du, Zhuohan Gu, Yuhan Liu, Jiayi Yao, Siddhant Ray, Samuel Shen, Yihua Cheng, Ganesh Ananthanarayanan, Junchen Jiang
  
  ACM SOSP BigMem Workshop | October 2025
  
  Publication
- 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
  
  The 31st Symposium on Operating Systems Principles (SOSP’25) | October 2025
  
  DOI Publication
- TrainVerify: Equivalence-Based Verification for Distributed LLM Training
  
  Yunchi Lu, Youshan Miao, Cheng Tan, Peng Huang, Yi Zhu, Xian Zhang, Fan Yang
  
  Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles (SOSP’25) | October 2025
  
  Publication Github
- COpter: Efficient Large-Scale Resource-Allocation via Continual Optimization
  
  Suhas Jayaram Subramanya, Don Kurian Dennis, Virginia Smith, Gregory R. Ganger
  
  September 2025
- 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
  
  September 2025
  
  Github
- 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
  
  September 2025
- 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
  
  arXiv:2412.10543 | December 2024
  
  Published by arXiv
  
  Publication
- TrainVerify: Equivalence-Based Verification for Distributed LLM Training
  
  Yunchi Lu, Youshan Miao, Cheng Tan, Peng Huang, Yi Zhu, Xian Zhang, Fan Yang
  
  Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles (SOSP’25) | October 2025
  
  Publication Github

- AdaptCache: KV Cache Native Storage Hierarchy for Low-Delay and High-Quality Language Model Serving
  
  Shaoting Feng, Hanchen Li, Kuntai Du, Zhuohan Gu, Yuhan Liu, Jiayi Yao, Siddhant Ray, Samuel Shen, Yihua Cheng, Ganesh Ananthanarayanan, Junchen Jiang
  
  ACM SOSP BigMem Workshop | October 2025
  
  Publication
- TrainVerify: Equivalence-Based Verification for Distributed LLM Training
  
  Yunchi Lu, Youshan Miao, Cheng Tan, Peng Huang, Yi Zhu, Xian Zhang, Fan Yang
  
  Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles (SOSP’25) | October 2025
  
  Publication Github
- COpter: Efficient Large-Scale Resource-Allocation via Continual Optimization
  
  Suhas Jayaram Subramanya, Don Kurian Dennis, Virginia Smith, Gregory R. Ganger
  
  September 2025
- 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
  
  September 2025
  
  Github
- 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
  
  September 2025
- 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
  
  The 31st Symposium on Operating Systems Principles (SOSP’25) | October 2025
  
  DOI Publication
- 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
  
  arXiv:2412.10543 | December 2024
  
  Published by arXiv
  
  Publication

Microsoft at SOSP 2025

Publications

AdaptCache: KV Cache Native Storage Hierarchy for Low-Delay and High-Quality Language Model Serving

Oasis: Pooling PCIe Devices Over CXL to Boost Utilization

TrainVerify: Equivalence-Based Verification for Distributed LLM Training

Aeolia: A Fast and Secure Userspace Interrupt-Based Storage Stack

CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices

COpter: Efficient Large-Scale Resource-Allocation via Continual Optimization

METIS: Fast Quality-Aware RAG Systems with Configuration Adaptation (TR)

AdaptCache: KV Cache Native Storage Hierarchy for Low-Delay and High-Quality Language Model Serving

METIS: Fast Quality-Aware RAG Systems with Configuration Adaptation (TR)

AdaptCache: KV Cache Native Storage Hierarchy for Low-Delay and High-Quality Language Model Serving

Oasis: Pooling PCIe Devices Over CXL to Boost Utilization

TrainVerify: Equivalence-Based Verification for Distributed LLM Training

COpter: Efficient Large-Scale Resource-Allocation via Continual Optimization

CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices

Aeolia: A Fast and Secure Userspace Interrupt-Based Storage Stack

METIS: Fast Quality-Aware RAG Systems with Configuration Adaptation (TR)

TrainVerify: Equivalence-Based Verification for Distributed LLM Training

AdaptCache: KV Cache Native Storage Hierarchy for Low-Delay and High-Quality Language Model Serving

TrainVerify: Equivalence-Based Verification for Distributed LLM Training

COpter: Efficient Large-Scale Resource-Allocation via Continual Optimization

CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices

Aeolia: A Fast and Secure Userspace Interrupt-Based Storage Stack

Oasis: Pooling PCIe Devices Over CXL to Boost Utilization

METIS: Fast Quality-Aware RAG Systems with Configuration Adaptation (TR)