论文与出版物 Learning to Generate Unit Test via Adversarial Reinforcement Learning Dongjun Lee, Changho Hwang, Kimin Lee 2026 International Conference on Learning Representations | 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
岗位 Principal Research Software Engineer Posted: 2026年1月23日 地点: Redmond, WA, US 研究领域: Programming languages and software engineering The Microsoft Research Americas Eng…
岗位 Software Engineer – Microsoft Research Posted: 2026年1月21日 地点: Redmond, WA, US 研究领域: Artificial intelligence, Programming languages and software engineering Join a team working at the center o…
岗位 Research Intern – Multi-Modal Sensing & Secure AI Devices Posted: 2026年1月21日 地点: Redmond, WA, US 研究领域: Artificial intelligence, Hardware and devices, Programming languages and software engineering This Research Internship provides a…
岗位 Research Intern – Office of the Chief Scientific Officer Posted: 2026年1月21日 地点: Mountain View, CA, US 研究领域: Artificial intelligence, Computer vision, Data platforms and analytics, Human-computer interaction, Programming languages and software engineering, Security, privacy, and cryptography, Systems and networking The Office of the Chief Scientific …
论文与出版物 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
