Programming languages and software engineering

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

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

Publication

Dynamic Region Ownership for Concurrency Safety

Fridtjof Peer Stoldt, Brandt Bucher, Sylvan Clebsch, Matthew Johnson, Matthew J. Parkinson, Guido Van Rossum, Eric Snow, Tobias Wrigstad

PACMPL | June 2025, Vol 9(PLDI)

Project

Career Opportunity

Senior Research Scientist – Microsoft’s Developer Division

Posted: May 23, 2025

Location: Redmond, WA, US

Research Area(s): Algorithms, Artificial intelligence, Data platforms and analytics, Programming languages and software engineering

The Data and Artificial Intelligence team in Microsoft’s Developer Division is seeking an entrepreneurial and creative Senior Research Scientist to lead groundbreaking research projects, taking these from research into product. You will collaborate with scientists,…

Career Opportunity

Senior Applied Researcher – Microsoft’s Developer Division

Posted: May 21, 2025

Location: Redmond, WA, US; Remote (within US)

Research Area(s): Artificial intelligence, Data platforms and analytics, Programming languages and software engineering, Systems and networking

The Data and Artificial Intelligence team in Microsoft’s Developer Division is seeking a Senior Applied Researcher to lead groundbreaking research projects, taking these from research into product. You will collaborate with scientists, engineers and designers across Microsoft Research,…

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

Principal Type Inference under a Prefix

Dynamic Region Ownership for Concurrency Safety

Senior Research Scientist – Microsoft’s Developer Division

Senior Applied Researcher – Microsoft’s Developer Division

Programming languages and software engineering

Highlights