Your Privacy Choices Opt-Out Icon

Publication

TablePilot: Recommending Human-Preferred Tabular Data Analysis with Large Language Models

Deyin Yi, Yihao Liu, Lang Cao, Mengyu Zhou, Haoyu Dong, Shi Han, Dongmei Zhang

The 63rd Annual Meeting of the Association for Computational Linguistics (ACL ’25) | July 2025

Project

Publication

PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection

Hayley LeBlanc, Jay Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram

USENIX Symposium on Operating Systems Design and Implementation (OSDI) | July 2025

To appear

Project

Publication

NextCoder: Robust Adaptation of Code LMs to Diverse Code Edits

Tushar Aggarwal*, Swayam Singh*, Abhijeet Awasthi, Aditya Kanade, Nagarajan Natarajan

ICML 2025 | July 2025

Publication

Reduction Fusion for Optimized Distributed Data-Parallel Computations via Inverse Recomputation

Haoxiang Lin, Yang Wang, Yanjie Gao, Hongyu Zhang, Ming Wu, Mao Yang

FSE 2025 | June 2025

The ACM International Conference on the Foundations of Software Engineering, Ideas, Visions and Reflections Track

Project

Publication

dl²: Detecting Communication Deadlocks in Deep Learning Jobs

Yanjie Gao, Jiyu Luo, Haoxiang Lin, Hongyu Zhang, Ming Wu, Mao Yang

FSE 2025 | June 2025

The ACM International Conference on the Foundations of Software Engineering, Industry Track

Project

Publication

An Empirical Study of Issues in Large Language Model Training Systems

Yanjie Gao, Ruiming Lu, Haoxiang Lin, Yueguo Chen

FSE 2025 | June 2025

The ACM International Conference on the Foundations of Software Engineering, Industry Track

Project

Event

PLDI 2025

Upcoming: June 18, 2025 – June 20, 2025 | Seoul, South Korea

Microsoft is a proud Gold sponsor of the 46th ACM SIGPLAN Conference on Programming Language Design and Implementation (opens in new tab) (PLDI 2025). PLDI is the premier forum in the field of programming languages and…

Publication

Principal Type Inference under a Prefix

Daan Leijen, Wenjia Ye

PLDI’25 | June 2025

A Fresh Look at Static Overloading. See also the accompanying technical report.

Project

Career Opportunity

Senior Applied Scientist – Microsoft Advertising Platform

Posted: June 4, 2025

Location: Redmond, WA, US

Research Area(s): Artificial intelligence, Economics, Human-computer interaction, Programming languages and software engineering

Copilot in the Microsoft Advertising Platform is seeking a highly motivated Senior Applied Scientist to join our team in Redmond, WA. As a Senior Applied Scientist, you will be part of a multidisciplinary team that…

Career Opportunity

Principal Research Scientist – Microsoft’s Developer Division

Posted: June 3, 2025

Location: Redmond, WA, US

Research Area(s): Artificial intelligence, Programming languages and software engineering

The Data and Artificial Intelligence team in Microsoft’s Developer Division, part of newly formed CoreAI group, is working on the future of AI for Developers! We are seeking an Principal Research Scientist to work on…

Programming languages and software engineering

Meet MicroCode: a Live and Portable Programming Tool for the BBC micro:bit

Jacdac: Service-Based Prototyping of Embedded Systems

Project Verona: a programming language for the modern cloud

Research in Software Engineering (RiSE)

TablePilot: Recommending Human-Preferred Tabular Data Analysis with Large Language Models

PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection

NextCoder: Robust Adaptation of Code LMs to Diverse Code Edits

Reduction Fusion for Optimized Distributed Data-Parallel Computations via Inverse Recomputation

dl²: Detecting Communication Deadlocks in Deep Learning Jobs

An Empirical Study of Issues in Large Language Model Training Systems

PLDI 2025

Principal Type Inference under a Prefix

Senior Applied Scientist – Microsoft Advertising Platform

Principal Research Scientist – Microsoft’s Developer Division

Programming languages and software engineering

Highlights