论文与出版物 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
论文与出版物 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
论文与出版物 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
论文与出版物 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
论文与出版物 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
论文与出版物 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
论文与出版物 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
论文与出版物 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 项目
论文与出版物 TUNA: Tuning Unstable and Noisy Cloud Applications Johannes Freischuetz, Konstantinos Kanellis, Brian Kroth, Shivaram Venkataraman Eurosys 2025 | March 2025
论文与出版物 Coach: Exploiting Temporal Patterns for All-Resource Oversubscription in Cloud Platforms Benjamin Reidys, Pantea Zardoshti, Íñigo Goiri, Celine Irvene, Daniel S. Berger, Haoran Ma, Kapil Arya, Taylor Stark, Eugene Bak, Mehmet Iyigun, Stanko Novakovic, Lisa Hsu, Karel Trueba, Abhisek Pan, Chetan Bansal, Saravan Rajmohan, Jian Huang, Ricardo Bianchini ASPLOS | March 2025 项目