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 ForestColl: Throughput-Optimal Collective Communications on Heterogeneous Network Fabrics Liangyu Zhao, Saeed Maleki, Yuanhong Wang, Zezhou Wang, Ziyue Yang, Hossein Pourreza, Arvind Krishnamurthy May 2026
Publication KrakenGuard: Towards Fine-Grained eBPF Isolation Jainil Patel, Lucas Graeff Buhl-Nielsen, Adrien Ghosn, Marios Kogias May 2026
Publication DroidSpeak: KV Cache Sharing Across Fine-tuned Model Variants Yuhan Liu, Yuyang Huang, Jiayi Yao, Shaoting Feng, Zhuohan Gu, Kuntai Du, Hanchen Li, Yihua Cheng, Junchen Jiang, Shan Lu, Madan Musuvathi, Esha Choukse NSDI’26 | May 2026 Projet
Publication HEDGE: Traffic Engineering with Probabilistic Link Capacities Arjun Devraj, Bill Owens, Umesh Krishnaswamy, Yaying Zhang, Rachee Singh May 2026