2024年7月10日 – 2024年7月12日

Microsoft at OSDI 2024

Pacific Daylight Time (UTC – 7)

地点： Santa Clara, CA, USA

所有时间都在 PDT (UTC -7)

10:45 – 12:45 Paper session

Memory Management
相关论文与出版物
- Managing Memory Tiers with CXL in Virtualized Environments
  
  Yuhong Zhong, Daniel S. Berger, Carl Waldspurger, Ishwar Agarwal, Rajat Agarwal, Frank Hady, Karthik Kumar, Mark D. Hill, Mosharaf Chowdhury, Asaf Cidon
- A Tale of Two Paths: Toward a Hybrid Data Plane for Efficient Far-Memory Applications
  
  Lei Chen, Shiafun Liu, Chenxi Wang, Haoran Ma, Yifan Qiao, Zhe Wang, Chenggang Wu, Youyou Lu, Xiaobing Feng, Huimin Cui, Shan Lu, Harry Xu
14:00 – 15:40 Paper session

Low-Latency LLM Serving
16:10 – 17:30 Paper session

Distributed Systems
相关论文与出版物
- Beaver: Practical Partial Snapshots for Distributed Cloud Services
  
  Liangcheng Yu, Xiao Zhang, Haoran Zhang, John Sonchack, Dan R. K. Ports, Vincent Liu

09:00 – 10:40 Paper session

Deep Learning
相关论文与出版物
- Ladder: Enabling Efficient Low-Precision Deep Learning Computing through Hardware-aware Tensor Transformation
  
  Lei Wang, Lingxiao Ma, Shijie Cao, Quanlu Zhang, Jilong Xue, Yining Shi, Ningxin Zheng, Ziming Miao, Fan Yang, Ting Cao, Yuqing Yang, Mao Yang
- nnScaler: Constraint-Guided Parallelization Plan Generation for Deep Learning Training
  
  Zhiqi Lin, Youshan Miao, Quanlu Zhang, Fan Yang, Yi Zhu, Cheng Li, Saeed Maleki, Xu Cao, Ning Shang, Yilei Yang, Weijiang Xu, Mao Yang, Lintao Zhang, Lidong Zhou
- ChameleonAPI: Automatic and Efficient Customization of Neural Networks for ML Applications
  
  Yuhan Liu, Chengcheng Wan, Kuntai Du, Henry Hoffmann, Junchen Jiang, Shan Lu, Michael Maire, Shan Lu
16:10 – 17:50 Paper session

Formal Verification
相关论文与出版物
- VeriSMo: A Verified Security Module for Confidential VMs
  
  Ziqiao Zhou, Anjali, Weiteng Chen, Sishuai Gong, Chris Hawblitzel, Weidong Cui

10:50 – 12:10 Paper session

Data Management
相关论文与出版物
- FairyWREN: A Sustainable Cache for Emerging Write-Read-Erase Flash Interfaces
  
  Sara McAllister, Sherry Wang, Benjamin Berg, Daniel S. Berger, George Amvrosiadis, Nathan Beckmann, G. R. Ganger
15:40 – 17:20 Paper session

ML Scheduling
相关论文与出版物
- Parrot: Efficient Serving of LLM-based Applications with Semantic Variable
  
  Chaofan Lin, Zhenhua Han, Chengruidong Zhang, Yuqing Yang, Fan Yang, Chen Chen, Lili Qiu