公開日 Generative Design and Vibe Coding: Rethinking The Design-Development Divide for UI Prototyping Xinqi Zhang, Hari Subramonyam, Advait Sarkar, Ian Drosos, Jack Wang, Kyungho Lee, Veronica Pimenova, Xiang "Anthony" Chen, Kai Lukoff ACM CHI Conference on Human Factors in Computing Systems (CHI 2026) | April 2026 プロジェクト
公開日 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: February 18, 2026 場所: Redmond, WA, US 研究分野: Artificial intelligence, Programming languages and software engineering In this role as a Senior Researcher…
キャリアの機会 Software Engineer – Microsoft AI Posted: 2月 5, 2026 場所: Mountain View, CA, US; Redmond, WA, US 研究分野: Artificial intelligence, Programming languages and software engineering Microsoft AI (MAI) is seeking softw…
公開日 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 プロジェクト
公開日 AgentRx: Diagnosing AI Agent Failures from Execution Trajectories Shraddha Barke, Arnav Goyal, Alind Khare, Avaljot Singh, Suman Nath, Chetan Bansal February 2026
