Programming languages and software engineering

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

Project

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

Publication

Closing the Gap: A User Study on the Real-world Usefulness of AI-powered Vulnerability Detection & Repair in the IDE

Benjamin Steenhoek, Siva Sivaraman, Renata Saldivar, Yevhen Mohylevskyy, Roshanak Zilouchian Moghaddam, Wei Le

2025 International Conference on Software Engineering | April 2025

Publication

Smart Casual Verification of the Confidential Consortium Framework

Heidi Howard, Markus Kuppe, Eddy Ashton, Amaury Chamayou, Natacha Crooks

2025 Networked Systems Design and Implementation | April 2025

Project

Publication

Fidelity of Cloud Emulators: The Imitation Game of Testing Cloud-based Software

Anna Mazhar , Saad Sher Alam , William Zheng , Yinfang Chen , Suman Nath, Tianyin Xu

International Conference on Software Engineering (ICSE) | April 2025

Publication

LLM Assistance for Memory Safety

Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy

47th International Conference on Software Engineering (ICSE) | April 2025

Publication

RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code

Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Rishi Poddar, Aseem Rastogi

47th International Conference on Software Engineering (ICSE) | April 2025

Career Opportunity

Research Fellow – Microsoft Research India

Posted: January 7, 2025

Location: Bangalore, Karnataka, India

Research Area(s): Algorithms, Artificial intelligence, Programming languages and software engineering, Security, privacy, and cryptography, Systems and networking, Technology for emerging markets

Microsoft Research India invites applications for its Research Fellows Program. The Research Fellows program exposes bright minds in India to world-class research and the state-of-the-art technology. The program prepares students for careers in research, engineering,…

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)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming

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

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

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

Closing the Gap: A User Study on the Real-world Usefulness of AI-powered Vulnerability Detection & Repair in the IDE

Smart Casual Verification of the Confidential Consortium Framework

Fidelity of Cloud Emulators: The Imitation Game of Testing Cloud-based Software

LLM Assistance for Memory Safety

RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code

Research Fellow – Microsoft Research India

Programming languages and software engineering

Highlights