Programming languages and software engineering
Video
Auditing Outsourced Services
How can users of a cloud service verify that the service truly performs as promised? This question is vital today because clouds are complicated black boxes, running in different administrative domains from users. Their correctness…
Tool
Gaussian Process for Any Neural Architecture
Gaussian Process for Any Neural Architecture: Reference Implementations This repo is a companion to the paper linked below, which shows that the Gaussian process behavior arises in wide, randomly initialized, neural networks regardless of architecture.…
Podcast
Democratizing data, thinking backwards and setting North Star goals with Dr. Donald Kossmann
Dr. Donald Kossmann is a Distinguished Scientist who thinks big, and as the Director of Microsoft Research’s flagship lab in Redmond, it’s his job to inspire others to think big, too. But don’t be fooled.…
Project
Calc Intelligence
By Calc Intelligence, we mean the research goal of bringing intelligence to end-user programming, and in particular to spreadsheets.
Publication
The BBC micro:bit: from the U.K. to the world
Project
Coyote
Coyote provides developers a programming framework for confidently building reliable asynchronous software on the .NET platform.
Event
Swiss Joint Research Center Workshop 2020
The 7th annual workshop of the Swiss Joint Research Center, a collaborative engagement between Microsoft Research and ETH Zurich and EPFL, took place January 29-30, 2020 at EPFL in Lausanne. Each of the twelve project teams…