Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication Indispensable CPU-centric Checkpointing for GPUs Junzhe Li, Ran Shu, Ziyue Yang, Shuotao Xu, Chenxiong Qian, Yongqiang Xiong APSys | October 2025
Publication AutoVerus: Automated Proof Generation for Rust Code Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jay Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | October 2025 Distinguished Artifact Award Github Project
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
Publication Cuttlefish: A Fair, Predictable Execution Environment for Cloud-hosted Financial Exchanges Liangcheng Yu, Prateesh Goyal, Ilias Marinos, Vincent Liu Advances in Financial Technologies | October 2025
Publication Enhancing Graph Classification Robustness with Singular Pooling Sofiane Ennadir, Oleg Smirnov, Yassine Abbahaddou, Lele Cao, Johannes Lutzeyer NeurIPS 2025 | October 2025
Publication Consensus-Robust Transfer Attacks via Parameter and Representation Perturbations Shixin Li, Xiaojing Ma, Zewei Li, Xiaofan Bai, Pingyi Hu, Dongmei Zhang, Bin Benjamin Zhu NeurIPS 2025 | October 2025
Publication First Triple Nested Antiresonant Nodeless Hollow Core Fiber (TNANF) Achieving 0.25 dB/km Loss with Small 145/250μm Glass/Coating Diameters Ghafour Amouzad Mahdiraji, Gregory Jackson, Seyed Mohammad Abokhamis Mousavi, Naveen Krishna Baddela, Jaroslaw Rzegocki, Gianluca Guerra, Mahmudur Rahman, Chiang Ping Saw, Ian A. Davidson, Gregory T. Jasion, Austin Taranta, Francesco Poletti European Conference Optical Communication (ECOC) | October 2025
Publication Real-Time, Fully-Loaded C-band, Low-Latency, Long-Haul Transmission over Hollow-Core Fiber (HCF) Y. Hong, A. Ali, M. Kamalian-Kopae, B. Gholizadeh, S. Bawn, J. Hooley, S. Bakhtiari Gorajoobi, E.N. Fokoua, Y. Chen, C. Wallace, J. Gaudette, D.J. Richardson, B.J. Puttnam European Conference Optical Communication (ECOC) | October 2025
Publication Robust Heuristic Algorithm Design with LLMs Pantea Karimi Babaahmadi, Dany Rouhana, Pooria Namyar, Siva Kesava Reddy Kakarla, Venkat Arun, Behnaz Arzani MSR-TR-2025-44 | October 2025 Published by Microsoft Project Project
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 Github