a view of a Cambridge skyline

Microsoft Research Cambridge

新闻与深度文章

Two people side by side, Max Welling on the left and Chris Bishop on the right, in black and white smile and look forward.
微软研究院播客

In this episode, Chris Bishop, Lab Direc…

a man wearing glasses and smiling at the camera

新闻报道 | GeekWire

Microsoft Research will open a new lab i…

奖项 | ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Christian Bird, Brendan Murphy received …

Figure 2: A flowchart depicting unstructured text being processed though a query engine, a probabilistic parser, and probabilistic clustering to produce a unified knowledge base

新闻报道 | VentureBeat

In 2014, Microsoft launched Project Alex…

奖项 | CVPR 2021

Jamie Shotton, Andrew Fitzgibbon, Toby S…

新闻报道 | Microsoft Worklab

How teams from across Microsoft worked t…

奖项 | The Royal Society

Abigail Sellen is elected as one of the …

Advancing Excel as a programming language with Andy Gordon and Simon Peyton Jones on the Microsoft Research Podcast
微软研究院播客

Today, people around the globe—from teac…

An animation showing an example of a high-level language message format specified by EverParse. From the message, two arrows labeled “EverParse” point to a rectangle labeled “formal specification” and a rectangle labeled “low-level implementation,” respectively, inside a larger rectangle labeled “F* code.” The figure represents EverParse’s ability to automatically generate safe, correct, and fast F* parsing code. “Correctness” is defined as “Correctness: ​parse (serialize msg) = msg​” and “valid msg ==> serialize (parse msg) = msg​.” The F* logo appears with the description that F* is a type theory–based programming language and proof assistant that can prove theorems about programs​. From the “F* code” rectangle, arrows point from the “low-level implementation” rectangle and a rectangle labeled “verified libraries for combinators” to a rectangle labeled “Safe high-performance C code.”
微软研究院博客

| Tahina Ramananandro, Aseem Rastogi, 和 Nikhil Swamy

EverParse (opens in new tab) is a framew…