News & features
MicroCode: Portable programming for the BBC micro:bit
| Eric Anderson, Thomas Ball, Peli de Halleux, James Devine, and Michal Moskal
MicroCode offers an affordable way to program the BBC micro:bit without needing an internet connection, fostering exploratory learning.
Research Focus: Week of May 13, 2024
Welcome to Research Focus, a series of blog posts that highlights notable publications, events, code/datasets, new hires and other milestones from across the research community at Microsoft. Large language models (LLMs) have shown remarkable performance in generating text similar to…
Research Focus: Week of April 29, 2024
In this edition: Can LLMs transform natural language into formal method postconditions; Semantically aligned question + code generation for automated insight generation; Explaining CLIP performance disparities on blind/low vision data; plus recent news.
Research Focus: Week of November 22, 2023
A new deep-learning compiler for dynamic sparsity; Tongue Tap could make tongue gestures viable for VR/AR headsets; Ranking LLM-Generated Loop Invariants for Program Verification; Assessing the limits of zero-shot foundation models in single-cell biology.
Research Focus: Week of November 7, 2022
Welcome to Research Focus, a new series of blog posts that highlights notable publications, events, code/datasets, new hires and other milestones from across the research community at Microsoft. Barun Patra, Saksham Singhal, Shaohan Huang, Zewen Chi, Li Dong, Furu Wei,…
Awards | ACM-W Scholarship
ACM-W Scholarship
Programming Languages
Awards | TOGA: A Neural Method for Test Oracle Generation
ICSE’22 ACM SIGSOFT Distinguished Paper Award
Awards | Microsoft Research PhD Fellowship
Microsoft Research PhD Fellowship
Programming Languages
Safe program merges at scale: A grand challenge for program repair research
| Shuvendu Lahiri
Since the computing world began embracing an open-source approach to programming, building software has become increasingly collaborative. Members of development teams with as few as two developers and as many as thousands are simultaneously editing different components in creating software…