Publication Towards Energy Efficient 5G vRAN Servers Anuj Kalia, Nikita Lazarev, Leyang Xue, Xenofon Foukas, Bozidar Radunovic, Francis Y. Yan NSDI | April 2025 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 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
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 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 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 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 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 Smart Casual Verification of the Confidential Consortium Framework Heidi Howard, Markus Kuppe, Eddy Ashton, Amaury Chamayou, Natacha Crooks Networked Systems Design and Implementation | April 2025 Project