MSR

Today we'll chat with Danah Boyd. Danah is a senior researcher at Microsoft Research in Cambridge, Mass., exploring social media. You can read more about Danah in this NY Times article posted this week.  How did you get into technology?As a child, I remember playing a few computer games…

by Simon Peyton Jones, Principal Researcher, Microsoft ResearchToday's most widely used technology, by far, for static program verification is the ubiquitous type checker. Alas, static type systems inevitably exclude some good programs; and allow some bad ones.  Thus motivated, Simon describes…

by Simon Peyton Jones, Principal Researcher, Microsoft ResearchHaskell is now quite widely used, but its most important contributions are the ideas that it embodies. In this talk Simon focuses on one of these ideas, namely type classes, with a few anecdotes and reflections along the way about the…

This week we are joined by special guest Larry "Lightbulb" Larsen. Watch and enjoy as we chat about these topics and more!A driving route made just for youPEGI rating for Windows Phone games3D coming to Xbox 360Headmounted 3D display

by Nikolaj Bjorner, Senior Researcher, Microsoft ResearchThe Research in Software Engineering (RiSE) group at Microsoft Research in Redmond works on several dimensions related to software engineering, including logical foundations, program verification, testing, analysis, empirical software…

I went to SIGCHI last week and met up with Benko and Daniel Wigdor who were presenting their paper on Rock and Rails, several new gesture paradigms being explored in Microsoft Research. If you're a Channel 9 regular, you already know Benko, but this is Daniel's first time on C9. Daniel is…

We did it! Well, actually YOU did it! Thanks to everybody who commented on Ping episode 100 and because of that great effort- we give stuff away on this episode! But before that, let's talk about some important Microsoft news:Microsoft buys Skype!Bill Gates makes a fashion statementPhishing on…

Alec Wolman is a senior researcher in the Networking Research Group at MSR. Alec has been working on a difficult problem; how to get the most from mobile computing devices. This involves several other problems; mobile computing devices often don't have the horse-power to drive computation-heavy…

This week, we have a very special guest host, Charles Torre and he brought with him some exciting stories and an even more exciting guest!Mark Russinovich stops by to chat about his new book! IE love for FirefoxPhone application creates 3D models

This research demonstrates the use of 3-D projection, combined with a Kinect depth camera to capture and display 3-D objects. Any physical object brought into the demo can be instantaneously digitized and viewed in 3-D. For example, we show a simple modeling application in which complex 3-D…