Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Deep learning has achieved great successes in many application scenarios, such as image classification and autonomous driving. Many of these applications are security sensitive. In this talk, we will introduce some of our recent works…
Modern society is built on software platforms that encompass a great deal of our lives. While this is well known, software is invented by people and this comes at considerable cost. Notably, approximately $331.7 billion…
By Nuno Lopes, Researcher, Microsoft Research Cambridge Think compilers cannot compromise the security of your application? Think twice! Compiler writers work around the clock to continuously deliver better compilers. They are driven by the ever-increasing…
By John Roach, Writer, Microsoft Research Charles P. Thacker, a visionary and hands-on electrical engineer who designed the first instances of key computing technologies that define modern life, died June 12 at his home in…
