论文与出版物 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 项目
岗位 Principal Machine Learning Engineer Posted: 2025年12月13日 地点: Redmond, WA, US 研究领域: Artificial intelligence, Medical, health and genomics, Programming languages and software engineering Health Futures is a Research and In…
视频 Tool-space Interference: An emerging problem for LLM agents 2025年12月9日 | Karen Easterbrook, Tyler Payne Tool-space interference occurs when… 06:31
论文与出版物 A Modular Lean 4 Framework for Confluence and Strong Normalization of Lambda Calculi with Products and Sums Arthur Ramos, A. Oliveira, Ruy de Queiroz, Tiago de Veras December 2025
论文与出版物 New Future of Work Report 2025 Jenna Butler, Sonia Jaffe, Rebecca Janssen, Nancy Baym, Jake Hofman, Brent Hecht, Sean Rintel, Bahar Sarrafzadeh, Abigail Sellen, Mihaela Vorvoreanu, Jaime Teevan, Mohammed Alsobay, Liz Ankrah, Stephanie Beers, Megan Benzing, Mia Bruch, Zana Buçinca, Mar Carpanelli, Amelia Cole, Scott Counts, Madeleine Daepp, Justin Edwards, Alex Farach, Daniel G. Goldstein, Mary L. Gray, Javier Hernandez, Eric Horvitz, Nicole Immorlica, Kori Inkpen, Shamsi Iqbal, Manasa Jagadeesh, Siân Lindley, Brendan Lucier, Mercy Muchai, Ambrita Nand, Alexandra Olteanu, Jacki O'Neill, Max Peterschmidt, Christian Poelitz, Rabeeza, Nathalie Henry Riche, Advait Sarkar, Sunayana Sitaram, Amanda Snellinger, Jina Suh, John Tang, Lev Tankelevitch, Kiran Tomlinson, Anne Trapasso, Adam D. Troy, Gaurav Verma, Jack Williams, Ben Zorn, Jordana Young MSR-TR-2025-58 | December 2025 作者：Microsoft
论文与出版物 VeruSAGE: A Study of Agent-Based Verification for Rust Systems Chenyuan Yang, Natalie Neamtu, Chris Hawblitzel, Jay Lorch, Shan Lu December 2025 Github 项目
岗位 Research Software Development Engineer – MSR India Posted: 2025年11月29日 地点: Bangalore, Karnataka, India 研究领域: Artificial intelligence, Programming languages and software engineering We are seeking to hire research eng…
岗位 Principal Software Engineer Posted: 2025年11月25日 地点: Redmond, WA, US 研究领域: Artificial intelligence, Graphics and multimedia, Programming languages and software engineering The advent of big data heralds a ne…
岗位 Cambridge Internship Program – Robotics Intelligence Posted: 2025年11月25日 地点: Cambridge, UK 研究领域: Artificial intelligence, Hardware and devices, Programming languages and software engineering Drive innovation at Microsoft Resea…
论文与出版物 Syntactic Implicit Parameters with Static Overloading (Extended Version) Daan Leijen, Tim Whiting MSR-TR-2025-56 | November 2025 作者：Microsoft v2 (2025-11-28) 项目
