RiSE MSR Blog

Welcome to the RiSE MSR blog!

Research in Software Engineering at Microsoft Research (RiSE) is group of researchers and engineers focused on the systems and foundations of programming through open-ended fundamental research in formal methods, high-performance computing, programming languages, and software engineering.

This blog is a place for us to share our research, thoughts, and ideas with the broader community, in a more informal format than our research papers and official communications.

Latest posts

• hacl-pulse: Re-verifying HACL* in Pulse, with Agents

  Gabriel Ebner · 2026-10-20

  A from-scratch reimplementation of the HACL* verified crypto library in F* and Pulse, built with AI agents in six weeks, at feature parity and close to HACL*'s performance.

• A Verified Generational GC for OCaml

  Nik Swamy · 2026-08-21

  Software development with agents & proofs

• DeepTest: Systematic Testing Grounded in Specification Knowledge Bases

  Sarah Fakhoury · 2026-05-04

  Early results from DeepTest, a framework for specification-driven testing and bug discovery backed by symbolic tools, deployed across thousands of Microsoft components and open-source projects.

• Spotting Specification Gaps with Small Proof-Oriented Tests

  Nik Swamy · 2026-04-16

  Using small proof-oriented tests to identify gaps in specifications

• Formalizing Data Structures and Algorithms with Agents

  Nik Swamy · 2026-03-06

  Agents formalize imperative algorithms from natural language

All posts →