论文与出版物 Building AI Agents for Autonomous Clouds: Challenges and Design Principles Manisha M Shetty, Yinfang Chen, Gagan Somashekar, Minghua Ma, Yogesh L. Simmhan, Xuchao Zhang, Jonathan Mace, Pedro Las-Casas, Shachee Mishra Gupta, Suman Nath, Chetan Bansal, Saravan Rajmohan 2024 Symposium on Cloud Computing | November 2024
论文与出版物 SilvanForge: A Schedule-Guided Retargetable Compiler for Decision Tree Inference Ashwin Prasad, Sampath Rajendra, Kaushik Rajan, R Govindarajan, Uday Bondhugula 2024 Symposium on Operating Systems Principles | November 2024 项目
论文与出版物 Counter-Empirical Attacking based on Adversarial Reinforcement Learning for Time-Relevant Scoring System Xiangguo Sun, Hong Cheng, Hang Dong, Bo Qiao, Si Qin, Qingwei Lin 林庆维 TKDE’24 | November 2024
论文与出版物 Verus: A Practical Foundation for Systems Verification Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jay Lorch, Oded Padon, Bryan Parno 2024 Symposium on Operating Systems Principles | November 2024 Distinguished Artifact Award 项目
论文与出版物 Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs Yiming Qiu, Patrick Kon, Ryan Beckett, Ang Chen Symposium on Operating Systems Principles | November 2024
论文与出版物 Continuous Analysis: Evolution of Software Engineering and Reproducibility for Science Venkat S. Malladi, Maria Yazykova, Olesya Melnichenko, Yulia Dubinina November 2024
微软研究院博客 Research Focus: Week of October 28, 2024 2024年11月1日 | Xuchao Zhang, Chetan Bansal, Rujia Wang, Minghua Ma, Saravan Rajmohan, Priyanshu Gupta, Ananya Singha, Sumit Gulwani, Arjun Radhakrishna, Gustavo Soares, Guanhua Wang, Olatunji Ruwase, Jack Williams, Ian Drosos, Advait Sarkar, Yadong Lu, Jianwei Yang, Ahmed Awadallah New Research | FLASH: Workflow auto…
论文与出版物 CoCoST: Automatic Complex Code Generation with Online Searching and Correctness Testing Xinyi He, Jiaru Zou, Yun Lin, Mengyu Zhou, Shi Han, Zejian Yuan, Dongmei Zhang The 2024 Conference on Empirical Methods in Natural Language Processing (EMNLP ’24) | November 2024
