Microsoft at ASPLOS 2024: Advancing hardware and software for high-scale, secure, and efficient modern applications
Publication UFO2: The Desktop AgentOS Chaoyun Zhang, He Huang, Chiming Ni, Jian Mu, Si Qin, Shilin He, Lu Wang, Fangkai Yang, Pu Zhao, Chao Du, Liqun Li, Yu Kang, Zhao Jiang, Suzhen Zheng, Rujia Wang, Jiaxu Qian, Ming-Jie Ma, Jianjun Lou, Qingwei Lin 林庆维, Saravan Rajmohan, Dongmei Zhang ArXiv | April 2025, Vol abs/2504.14603 Project Project
Publication WABER: Evaluating Reliability and Efficiency of Web Agents with Existing Benchmarks Su Kara, Fazle Faisal, Suman Nath ICLR 2025 Workshop on Foundation Models in the Wild | April 2025
Publication Securing Public Cloud Networks with Efficient Role-based Micro-Segmentation Sathiya Kumaran Mani*, Kevin Hsieh*, Santiago Segarra, Ranveer Chandra, Yajie Zhou, Srikanth Kandula Symposium on Networked Systems Design and Implementation (NSDI) | April 2025
Publication Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning Zenan Li, Zhaoyu Li, Wen Tang, Xian Zhang, Yuan Yao, Xujie Si, Fan Yang, Kaiyu Yang, Xiaoxing Ma ICLR | April 2025
Publication Smart Casual Verification of the Confidential Consortium Framework Heidi Howard, Markus Kuppe, Eddy Ashton, Amaury Chamayou, Natacha Crooks 2025 Networked Systems Design and Implementation | April 2025 Project
Publication Fidelity of Cloud Emulators: The Imitation Game of Testing Cloud-based Software Anna Mazhar , Saad Sher Alam , William Zheng , Yinfang Chen , Suman Nath, Tianyin Xu International Conference on Software Engineering (ICSE) | April 2025
Publication Efficient and Adaptive Diffusion Model Inference Through Lookup Table on Mobile Devices Qipeng Wang, Shiqi Jiang, Yifan Yang, Ruiqi Liu, Yuanchun Li, Ting Cao, Xuanzhe Liu IEEE Transactions on Mobile Computing (TMC) | April 2025, pp. 1-18
Publication UFO: A UI-Focused Agent for Windows OS Interaction Chaoyun Zhang, Liqun Li, Shilin He, Xu Zhang, Bo Qiao, Si Qin, Minghua Ma, Yu Kang, Qingwei Lin 林庆维, Saravan Rajmohan, Dongmei Zhang, Qi Zhang NAACL’25 | April 2025
Publication Daredevil: Rescue Your Flash Storage from Inflexible Kernel Storage Stack Junzhe Li, Ran Shu, Jiayi Lin, Qingyu Zhang, Ziyue Yang, Jie Zhang, Yongqiang Xiong, Chenxiong Qian EuroSys | April 2025
Publication Using Life Cycle Assessment to Drive Innovation for Sustainable Cool Clouds Husam Alissa, Teresa Nick, Ashish Raniwala, Alberto Arribas Herranz, Kali Frost, Ioannis Manousakis, Kari Lio, Brijesh Warrier, Vaidehi Oruganti, T. J. DiCaprio, Kathryn Oseen-Senda, Bharath Ramakrishnan, Naval Gupta, Ricardo Bianchini, Jim Kleewein, Christian Belady, Marcus Fontoura, Julie Sinistore, Mukunth Natarajan, Lauren Johnson, VeeAnder Mealing, Praneet Arshi, Madeline Frieze Nature | April 2025