RiSE MSR BlogNews from the RiSE MSR team! This blog covers research, new developments, technical discussions, and the work of the RiSE MSR group.https://risemsr.github.io/Spotting Specification Gaps with Small Proof-Oriented Testshttps://risemsr.github.io/blog/2026-04-16-spotting-specs/https://risemsr.github.io/blog/2026-04-16-spotting-specs/Using small proof-oriented tests to identify gaps in specificationsThu, 16 Apr 2026 00:00:00 GMTFormalizing Data Structures and Algorithms with Agentshttps://risemsr.github.io/blog/2026-03-06-autoclrs/https://risemsr.github.io/blog/2026-03-06-autoclrs/Agents formalize imperative algorithms from natural languageFri, 06 Mar 2026 00:00:00 GMTIntent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agentshttps://risemsr.github.io/blog/2026-03-05-shuvendu-intent-formalization/https://risemsr.github.io/blog/2026-03-05-shuvendu-intent-formalization/The key challenge for reliable AI-generated code is intent formalization—automatically turning vague human intent into precise, checkable specifications.Thu, 05 Mar 2026 00:00:00 GMTHow to train your program verifierhttps://risemsr.github.io/blog/2026-02-16-halleyyoung-a3/https://risemsr.github.io/blog/2026-02-16-halleyyoung-a3/Development of a symbolic program analysis engine from prompts to functioning systemMon, 16 Feb 2026 00:00:00 GMTAgentic Proof-Oriented Programminghttps://risemsr.github.io/blog/2026-02-04-nik-agentic-pop/https://risemsr.github.io/blog/2026-02-04-nik-agentic-pop/Exploring AI-assisted proof-oriented programming with Copilot CLI and F*.Wed, 04 Feb 2026 00:00:00 GMT