Research

Learn about the Concurrency Analysis Platform (CAP) from Microsoft Research and how it enables various concurrency bug-finding tools. See a demo of CHESS, a tool built on CAP for finding and reproducing Heisenbugs. Also hear about future tools from Microsoft Research, including a lightweight…

In theory, Design by Contract and unit testing are excellent approaches to improve code quality. Learn how to use code contracts that express pre-conditions, post-conditions, and object invariants in any managed language that improve testability, enhance static analysis, and serve as checked API…

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…

See Microsoft Research present new technologies for developing, debugging, and deploying web applications. Hear how BAM can turn a simple specification into a web-based cloud application with the click of a button. Learn how AjaxScope and Doloto automatically instrument and rewrite your web…

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…

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…

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…

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…

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…

Hear from the architect of the World Wide Telescope discuss the challenges and opportunities in creating World Wide Telescope as a massively scalable software plus services application. Understand the scale of the data, the communities and capabilities of user generated content, and the rich…