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…
In the news | Microsoft Research Blog
Microsoft Research receives IEEE Council honor
Citing 25 years of significant impact on software engineering research, the IEEE Computer Society Technical Council on Software Engineering has awarded Microsoft Research the 2016 TCSE Distinguished Synergy Award.
In the news | CAV
Ball shares 2001 CAV Award
For contributions to software model checking, specifically the development of the SLAM/SDV software model checker that successfully demonstrated computer-aided verification techniques on real programs.
In the news | ACM
Elected 2001 ACM Fellow
For contributions to software analysis and defect detection.