Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
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…
Today’s most popular applications are deployed as massive-scale distributed systems in the datacenter. Keeping data consistent and available despite server failures and concurrent updates is a formidable challenge. Two well-known abstractions, strongly consistent replication and…
