Microsoft Research

by Simon Peyton Jones, Principal Researcher, Microsoft Research Haskell 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…

Drawbridge is a research prototype of a new form of virtualization for application sandboxing. Drawbridge combines two core technologies: First, a picoprocess, which is a process-based isolation container with a minimal kernel API surface. Second, a library OS, which is a version of Windows…

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 you PEGI rating for Windows Phone games 3D coming to Xbox 360 Headmounted 3D display

Dr. Danny Dig is a Principal Investigator at the Universal Parallel Computing Research Center (UPCRC Illinois). UPCRC's stated mission is to make parallel programming synonymous with programming. Dr. Dig leads research on refactorings that retrofit parallelism into existing…

Continuing on with our coverage of ICSE 2011, meet Dr. Victor Pankratius. Dr. Pankratius heads the Multicore Software Engineering investigator group at the Karlsruhe Institute of Technology, Germany. He also serves as the elected chairman of the Software Engineering for parallel Systems…

ICSE, the International Conference on Software Engineering,® is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of software engineering.…

by Nikolaj Bjorner, Senior Researcher, Microsoft Research The 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…

Web applications increasingly integrate third-party services. The integration introduces new security challenges due to the complexity for an application to coordinate its internal states with those of the component services and the web client across the Internet. In this paper, we study the…

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 statement Phishing on…