illustration of content lines and curly brackets on top of a computer screen with 0s and 1s on a green gradient background

Programming languages and software engineering

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

jacdac kit

Jacdac: Service-Based Prototyping of Embedded Systems

Photo of Verona in Italy

Project Verona: a programming language for the modern cloud

Gear Icon

Research in Software Engineering (RiSE)

Current selections

Sort by: Most recent

Clear selections

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

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

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

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

Aqua: Automatic Quantization

Project Aqua develops tools for automatic quantization of LLMs TBD

Publication

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming

Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, Nikhil Swamy

2025 International Conference on Software Engineering | April 2025

Download Download Project

Publication

3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers

Sarah Fakhoury, Markus Kuppe, Shuvendu Lahiri, Tahina Ramananandro, Nikhil Swamy

2025 International Conference on Software Engineering | April 2025

Publication

Reinforcement Learning from Automatic Feedback for High-Quality Unit Test Generation

Benjamin Steenhoek, Michele Tufano, Neel Sundaresan, Alexey Svyatkovskiy

DeepTest (ICSE Workshop) | April 2025

Publication

Time Warp: The Gap Between Developers’ Ideal vs Actual Workweeks in an AI-Driven Era

Sukrit Kumar, Drishti Goel, Tom Zimmermann, Brian Houck, B. Ashok, Chetan Bansal

ICSE SEIP ’25 | April 2025

Distinguished Paper Award

Career Opportunity

Senior and Principal Applied Scientists (Multiple Positions) – Office Product Group

Posted: April 24, 2025

Location: Mountain View, CA, US; Redmond, WA, US

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

The Office Product Group (OPG) is seeking Senior Applied Scientists and Principal Applied Scientists for openings across different teams in OPG. In this role you will collaborate with other Applied Scientists, Researchers, Engineers, and Product…