论文与出版物 Learning to Generate Unit Test via Adversarial Reinforcement Learning Dongjun Lee, Changho Hwang, Kimin Lee ICLR 2026 | April 2026
论文与出版物 VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus Chuyue Sun, Yican Sun, Ethan Zhang, Daneshvar Amrollahi, Shuvendu Lahiri, Shan Lu, David Dill, Clark Barrett International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | April 2026 项目
论文与出版物 MSCCL++: Rethinking GPU Communication Abstractions for AI Inference Changho Hwang, Peng Cheng, Roshan Dathathri, Abhinav Jangda, Saeed Maleki, Madan Musuvathi, Olli Saarikivi, Aashaka Shah, Ziyue Yang, Binyang Li, Caio Rocha, Qinghua Zhou, Mahdieh Ghazimirsaeed, Sreevatsa Anantharamu, Jithin Jose ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) | March 2026
论文与出版物 Debug2Fix: Supercharging Coding Agents with Interactive Debugging Capabilities Spandan Garg, Yufan Huang February 2026
岗位 Senior Researcher – Research in Software Engineering – Microsoft Research Posted: 2026年2月18日 地点: Redmond, WA, US 研究领域: Artificial intelligence, Programming languages and software engineering In this role as a Senior Researcher…
论文与出版物 Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set Nongyu Di, Tianyu Chen, Shan Lu, Shuai Lu, Yeyun Gong, Peng Cheng, Jay Lorch, Yuan Yao, Xiaoxing Ma February 2026 项目
岗位 Principal Research Software Engineer Posted: 2026年1月23日 地点: Redmond, WA, US 研究领域: Programming languages and software engineering The Microsoft Research Americas Eng…
岗位 Software Engineer – Microsoft Research Posted: 2026年1月21日 地点: Redmond, WA, US 研究领域: Artificial intelligence, Programming languages and software engineering Join a team working at the center o…
岗位 Research Intern – Multi-Modal Sensing & Secure AI Devices Posted: 2026年1月21日 地点: Redmond, WA, US 研究领域: Artificial intelligence, Hardware and devices, Programming languages and software engineering This Research Internship provides a…
岗位 Research Intern – Office of the Chief Scientific Officer Posted: 2026年1月21日 地点: Mountain View, CA, US 研究领域: Artificial intelligence, Computer vision, Data platforms and analytics, Human-computer interaction, Programming languages and software engineering, Security, privacy, and cryptography, Systems and networking The Office of the Chief Scientific …
