公開日 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 プロジェクト
公開日 EVICPRESS: Joint KV-Cache Compression and Eviction for Efficient LLM Serving Shaoting Feng, Yuhan Liu, Hanchen Li, Xiaokun Chen, Samuel Shen, Kuntai Du, Zhuohan Gu, Rui Zhang, Yuyang Huang, Yihua Cheng, Jiayi Yao, Qizheng Zhang, Ganesh Ananthanarayanan, Junchen Jiang December 2025
キャリアの機会 Principal Machine Learning Engineer Posted: December 13, 2025 場所: Redmond, WA, US 研究分野: Artificial intelligence, Medical, health and genomics, Programming languages and software engineering Health Futures is a Research and In…
キャリアの機会 Principal Research Software Development Engineer Posted: December 12, 2025 場所: Redmond, WA, US 研究分野: Artificial intelligence, Programming languages and software engineering This Research Software Development …
キャリアの機会 Principal Security Engineer Posted: December 11, 2025 場所: Redmond, WA, US 研究分野: Programming languages and software engineering, Security, privacy, and cryptography Microsoft Research is building new …
キャリアの機会 Senior Machine Learning Engineer Posted: December 11, 2025 場所: Cambridge, MA, US 研究分野: Artificial intelligence, Programming languages and software engineering We are seeking a Senior Machine Lea…
動画 Tool-space Interference: An emerging problem for LLM agents 12月 9, 2025 | 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 による投稿
