Microsoft Research Blog

Stopping Bugs Before They Sneak into Software 

July 15, 2014
Posted by Rob Knies Software development is not for the faint-hearted. Programmers often work long hours, typing code while staring at computer monitors. Computer software can include millions of lines of code, so given the nature and the volume of the work involved, mistakes are…

Recent Posts

  1. Stopping Bugs Before They Sneak into Software 

    July 15, 2014

    Posted by Rob Knies Software development is not for the faint-hearted. Programmers often work long hours, typing code while staring at computer monitors. Computer software can include millions of lines of code, so given the nature and the volume of the work involved, mistakes are…

  2. Microsoft announces new research tools at the 2014 Faculty Summit 

    July 14, 2014

    We’re here at the Microsoft Conference Center in Redmond, Washington, where the first day of the 2014 Microsoft Research Faculty Summit is underway. The event kicked off with an opening keynote from Harry Shum, executive vice president of Microsoft’s Development and Research group, during which…

  3. On Welsh Corgis, Computer Vision, and the Power of Deep Learning 

    July 14, 2014

    Can you tell the difference between the two breeds of corgis? If you’re like many, you probably are barely even aware that such dogs exist, let alone the fact that there are two—and only two—kinds of corgis. Add the detail that those two breeds are…

  4. Making Cortana the Researcher’s Dream Assistant 

    July 14, 2014

    Posted by Rob Knies Cortana, the personal assistant for Windows Phone 8.1, certainly has received plenty of attention since being announced in April. Her ability to make your day-to-day life easier by managing your information and keeping you up to date has made her one…

  5. Korea’s computer science talent sparkles at Microsoft Research Asia 

    July 11, 2014

    As part of Microsoft Research’s commitment to encouraging and supporting the up-and-coming generation of researchers worldwide, Microsoft Research Asia sponsored "Korea Day at Microsoft Research 2014" on June 9 in Beijing, China. The event was the culmination of a 10-month research project competition, which began…

  6. Sports Fans Enjoy Power of Leibniz Entity Recognition 

    July 10, 2014

    Posted by Rob Knies With the World Cup final between Germany and Argentina set for July 13 at Estadio do Maracana in Rio de Janeiro, the powerful appeal of sporting events to a global audience becomes apparent once again. What began with a 3-1 victory…

  7. Conjecture Proof Leads to PĂłlya Prize 

    July 9, 2014

    Posted by Rob Knies It was almost a year ago, in this space, that you might have learned the astounding news that a team of two researchers from Yale University and one from Microsoft Research had announced a proof of a riddle that had eluded…

  8. Learn what’s hot in computing research 

    July 9, 2014

    If you are interested in learning about some of the new technologies that Microsoft Research has developed, please join our live, online coverage from the 2014 Microsoft Research Faculty Summit on July 14, 09:00 to 17:30 Pacific Time. The Faculty Summit is an annual event—this…

  9. Supporting technology’s rising stars in the UK 

    July 8, 2014

    The United Kingdom has faced some tough economic times in the past 10 years, but the technology industry has remained strong throughout. The tech sector has played a key role in helping the economy bounce back from the recessions of 2008–2009 and 2011–2012. Nationwide, IT…

  10. The Code That No One in the Cloud Can Live Without 

    July 2, 2014

    Posted by Rob Knies A couple of years ago, a few Microsoft researchers published a couple of interesting papers on storage efficiencies. Now, with breathtaking speed, the concepts in those papers have been embraced across the cloud-computing world. Technological change can occur at lightning speed.…

  11. Gulwani Wins 2014 Robin Milner Young Researcher Award 

    July 1, 2014 | Rob Knies

    Sumit Gulwani is a kind and accomplished person, the type who doesn’t simply display concern when he sees something amiss, but actually rolls up his sleeves and begins to fix it. While his day job is as a Microsoft researcher, he also serves on the…

Explore More

  • Events & conferences

    Events & conferences 

    Meet our community of researchers, learn about exciting research topics, and grow your network

  • Podcasts

    Podcasts 

    Ongoing conversations at the cutting edge of research

  • Microsoft Research Forum

    Microsoft Research Forum 

    Join us for a continuous exchange of ideas about research in the era of general AI