Programming languages and software engineering
Video
Private Multi-party AI
AI researchers are striving to create intelligent machines that complement human reasoning and enrich human experiences and capabilities. At the core is the ability to harness the explosion of digital data and computational power with…
Microsoft Research Blog
Influencing mainstream software—Applying programming language research ideas to transform spreadsheets
Spreadsheets are the world’s most widely used programming language, by several orders of magnitude. We asked ourselves whether it would be possible to apply programming language research ideas to make spreadsheets a better programming language?…
Microsoft Research Blog
Project Everest: Reaching greater heights in internet communication security
Project Everest is a multiyear collaborative effort focused on building a verified, secure communications stack designed to improve the security of HTTPS, a key internet safeguard. This post, about the verification tools and techniques the…
Event
Microsoft @ POPL 2019
Microsoft is excited to be a Platinum sponsor of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages. Stop by our booth to learn about our latest research and find out about career opportunities…
Podcast
Scaling the Everest of software security with Dr. Jonathan Protzenko
Episode 58, January 9, 2019 – Dr. Protzenko talks about what’s wrong with software (and why it’s vitally important to get it right), explains why there are so many programming languages (and tells us about…
Publication
Fast BGP Simulation of Large Datacenters
Microsoft Research Blog
Microsoft Research 2018: 10 memorable blogs topping a year of open source and innovation
The year’s end is an opportunity to reflect on what was achieved and to resolve to aspire to even greater heights in the one that’s about to begin. Looking back on what was accomplished at…
