论文与出版物 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 项目
论文与出版物 CaP-X: A Framework for Benchmarking and Improving Coding Agents for Robot Manipulation Max Fu, Justin Yu, Karim El-Refai, Ethan Kou, Haoru Xue, Huang Huang, Wenli Xiao, Guanzhi Wang, Fei-Fei Li, Guanya Shi, Jiajun Wu, Shankar Sastry, Yuke Zhu, Ken Goldberg, LinxiJimFan March 2026
论文与出版物 Early Discoveries of Algorithmist I: Promise of Provable Algorithm Synthesis at Scale Janardhan (Jana) Kulkarni March 2026
论文与出版物 Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents Shuvendu Lahiri March 2026
岗位 Principal Applied Scientist Posted: 2026年3月9日 地点: Redmond, WA, US 研究领域: Artificial intelligence, Programming languages and software engineering The Microsoft Copilot Studio Applie…
论文与出版物 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
