Programming languages and software engineering
Publication
Learning Shape Analysis
Video
Synergy Among Deep Learning, Security, and Programming Languages
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…
Video
The Programming Language Wars
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…
Publication
Simple, Fast and Safe Manual Memory Management
Microsoft Research Blog
Getting compilers right: a reliable foundation for secure software
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…
Publication
Compiling Standard ML to Java bytecodes
Microsoft Research Blog
Honoring Charles P. Thacker, a visionary computer scientist who changed the world
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…
Publication