Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Video
Programming models for estimates and approximations
Learn about challenges associated with modeling uncertainty in computational systems and how programming models are being used to improve systems, such as GPS. Kathryn McKinley, a principal researcher at Microsoft Research, and Todd Mytkowicz a…
Publication
Results and Analysis of SyGuS-Comp’15
Microsoft Research Blog
Microsoft researcher Don Syme honored with Silver Medal from Royal Academy of Engineering
Posted by George Thomas Jr. Many programmers recognize Don Syme’s name, but even more are influenced daily by his research and development. After all, Syme, a principal researcher in Microsoft’s Cambridge, U.K., lab, has helped…