Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication ExVerus: Verus Proof Repair via Counterexample Reasoning Jun Yang, Yuechun Sun, Yi Wu, Rodrigo Caridad, Yongwei Yuan, Jianan Yao, Shan Lu, Kexin Pei International Conference on Machine Learning | July 2026 Projet
Publication Rearchitecting the Datacenter Lifecycle for AI Jovan Stojkovic, Chaojie Zhang, Íñigo Goiri, Ricardo Bianchini ISCA | June 2026 Projet
Publication Serving Models, Fast and Slow:Optimizing Heterogeneous LLM Inferencing Workloads at Scale Kunal Jain, A. Parayil, Ankur Mallick, Rujia Wang, Renee St. Amant, Chetan Bansal, Victor Ruehle, Saravan Rajmohan, Shashwat Jaiswal, Yogesh Simmhan, Anoop Kulkarni, Steve Kofsky ACM Sigmetrics 2026 | June 2026 Projet
Publication PhaseWeave: Phase-Aware Execution on Heterogeneous Chiplet Architectures for Datacenters Joshua Kim, Chaojie Zhang, Íñigo Goiri, Chris Rossbach, Jovan Stojkovic ISCA | June 2026
Publication Rollbaccine : Herd Immunity against Storage Rollback Attacks in TEEs David C. Y. Chu, Aditya Balasubramanian, Dee Bao, Natacha Crooks, Heidi Howard, Lucky E. Katahanas, Soujanya Ponnapalli 2026 International Conference on Management of Data | May 2026
Publication Octopus: Enhancing CXL Memory Pods via Sparse Topology Yuhong Zhong, Fiodar Kazhamiaka, Pantea Zardoshti, Shuwei Teng, Rodrigo Fonseca, Mark D. Hill, Daniel S. Berger USENIX NSDI | May 2026
Publication DroidSpeak: Efficient Context Sharing for Multiple-LLM Inference Yuhan Liu, Yuyang Huang, Jiayi Yao, Zhuohan Gu, Kuntai Du, Hanchen Li, Yihua Cheng, Junchen Jiang, Shan Lu, Madan Musuvathi, Esha Choukse NSDI | May 2026 Projet
Publication Flashlight: A PyTorch Compiler Framework for Accelerating Attention Variants Bozhi You, Irene Wang, Zelal Su Mustafaoglu, Abhinav Jangda, Angelica Moreira, Roshan Dathathri, Divya Mahajan, Keshav Pingali Ninth Annual Conference on Machine Learning and Systems (MLSys) | May 2026
Publication Harvesting Spare CPU Resources in Container Systems Adam Hall, Anirudh Sarma, Esha Choukse, Kishore Ramachandran, Sameh Elnikety NSDI | May 2026
Publication Concord: Learning Network Configuration Contracts Ryan Beckett, Francis Y. Yan, Raghunadha Reddy Pocha, Vineesh V. Raj, Ayyub Shaik, Siva Kesava Reddy Kakarla 2026 European Conference on Computer Systems | April 2026