Programming languages and software engineering
Video
Improving trust in the compilation from F* to C
F* is a ML-like programming language aimed at program verification, allowing its users to write programs, specifications, and prove them correct in the same tool. It is a key component of the Everest project, whose…
Microsoft Research Blog
Program that repairs programs: how to achieve 78.3 percent precision in automated program repair
By Lily Sun, Research Program Manager of Microsoft Research Asia In February 2017, Microsoft and Cambridge University announced a DeepCoder algorithm that produces programs from problem inputs/outputs. DeepCoder, which operates on a novel yet greatly…
Video
Data Wrangling using Programming by Examples
Sumit Gulwani founded the PROSE research and engineering team at Microsoft that develops programming-by-example (PBE) APIs and ships them through multiple Microsoft products. PBE is a new frontier in AI wherein the computer programs itself—the…
Publication
SHErrLoc: a static holistic error locator
Publication
Lasso Detection using Partial-State Caching
Publication