Research

Manuel Fähndrich and Peli de Halleux sit down for a quick coding session that shows how to use Code Contracts and Pex together. Code Contracts can be used to specify what your code should do, they get turned into runtime checks which Pex can analyse and try to find…

Michal Moskal gives us a short introduction at the Verifying C Compiler (VCC) project. VCC is a tool that proves correctness of annotated concurrent C programs or finds problems in them. VCC extends C with design by contract features, like pre- and postcondition as well as type…

Johnny Lee works in Microsoft Research, with a specific penchant at creating interesting and useful devices. He has a session scheduled for MIX09 called "Interaction Techniques Using the Wii Remote" where he will show off some interesting uses he has found for using the Wii Remote…

I met with Microsoft's Chief research and Strategy officer, Craig Mundie, to discuss how science and information technology can solve the worlds biggest problems. He focuses on the environment and demonstrates work from the Computational Science Group out of Microsoft Research…

Believe it or not, Search is a relatively new technology.  You probably perform a few searches a day… how satisfied are you with the results? Stefan and I sat down with Martin, a Senior Product Manager on the Search team, to find out the process for improving search and where things may be…

Unit Testing with Pex and Moles TRAINER: Peli de Halleux – Microsoft ResearchPex enables parameterized unit testing for .NET: given a unit test with parameters. Pex generates inputs that achieves high code coverage. Moles is a framework that allows to isolate unit tests from environment…

On stage at Microsoft’s Professional Developers Conference 2008 today, Rick Rashid, senior vice president of Microsoft Research, showed developers how Microsoft is marshalling the power of software to help solve some of the toughest technological and societal challenges.  Read about Microsoft…

Writing music used to take years of experience, but not anymore. With MySong, a Microsoft Research Project, you can sing into a microphone and the software will automatically generates instrumental accompaniment for your song. As you sing, MySong chooses chords to match your melody, so you can write…

Fresh from Microsoft’s Research Group comes a new IE7 plug-in called SearchTogether, which lets you browse the web with your friends. With SearchTogether, groups can chat while they search and annotate the results with comments and ratings via a thumbs up / thumbs down button. The plug-in can also…

mPlatform is a Microsoft Research project led by Feng Zhao, a principal researcher in the Networked Embedded Computing group within Microsoft Research Redmond. In 2006, he co-authored a paper along with Bodhi Priyantha, a researcher in Zhao’s group on something called mPlatform, which is basically…