论文与出版物 AI Where It Matters: Where, Why, and How Developers Want AI Support in Daily Work Rudrajit Choudhuri, Carmen Badea, Christian Bird, Jenna Butler, Robert DeLIne, Brian Houck October 2025
论文与出版物 Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE Tahina Ramananandro, Gabriel Ebner, Guido Martínez, Nikhil Swamy 2025 Computer and Communications Security | October 2025 项目
视频 Microsoft Research India – The lab culture 2025年9月30日 | P. Anandan, Indrani Medhi Thies, B. Ashok, Sriram Rajamani, Vidhya Yella Reddy, Manik Varma, Kalika Bali, Jayashree Mohan, Venkat Padmanabhan Watch the founder, former and curre… 07:01
视频 Microsoft Research India – The evolution 2025年9月30日 | Venkat Padmanabhan, P. Anandan, Rick Rashid, Peter Lee, Doug Burger, Sriram Rajamani Learn about Microsoft Research Indi… 06:04
论文与出版物 PerfBench: Can Agents Resolve Real-World Performance Bugs? Spandan Garg, Roshanak Zilouchian Moghaddam, Neel Sundaresan September 2025
论文与出版物 Good Vibrations? A Qualitative Study of Co-Creation, Communication, Flow, and Trust in Vibe Coding Veronica Pimenova, Sarah Fakhoury, Christian Bird, Margaret-Anne Storey, Madeline Endres September 2025
论文与出版物 One Head, Many Models: Cross-Attention Routing for Cost-Aware LLM Selection Roshini Pulishetty, Mani Kishan Ghantasala, Keerthy Kaushik Dasoju, Niti Mangwani, Vishal Garimella, Aditya Mate, Somya Chatterjee, Yue Kang, Ehi Nosakhare, Sadid A. Hasan, Soundar Srinivasan September 2025
论文与出版物 Understanding and Improving the Shampoo Optimizer via Kullback-Leibler Minimization Wu Lin, Scott C. Lowe, Felix Dangel, Runa Eschenhagen, Zikun Xu, Roger B. Grosse September 2025
论文与出版物 First-Order Laziness Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley ICFP’25 | August 2025 Distinguished Paper 项目
论文与出版物 The SPACE of AI: Real-World Lessons on AI’s Impact on Developers Brian Houck, Travis Lowdermilk, Cody Beyer, Steven Clarke, Ben Hanrahan August 2025
