Programming languages and software engineering
Event
Platform for Situated Intelligence Workshop
Platform for Situated Intelligence is an open-source framework from Microsoft Research that significantly accelerates development and research on multimodal, integrative-AI applications. The two-day Platform for Situated Intelligence Workshop took place on April 27-28, 2021 and…
Tool
Verified DICE for STM32H7 Microcontrollers
This repository contains a Verified Boot implementation for the STM32H7 devices (specifically STM32H753ZI, STM32H743ZI) for the paper. The implementation contains DICE* code generated from the dice-star repository and implements the Hardware Abstraction Interface. The cmake…
Microsoft Research Blog
Reinforcing program correctness with reinforcement learning
Many of our online activities, from receiving and sending emails to searching for information to streaming movies, are driven behind the scenes by cloud-based distributed architectures. Writing concurrent software—programs with multiple logical threads of execution—is…
Microsoft Research Blog
Innovation by (and beyond) the numbers: A history of research collaborations in Excel
Microsoft Excel is one of the world’s most important software tools, relied upon by users worldwide to create, understand, model, predict, and collaborate. As the Excel team works to leverage new areas of computer science –…
Video
Tech Minutes: Project Coyote
Pantazis Deligiannis introduces and demos Coyote as part of the Innovation Developer Tech Minutes series.
