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…

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…

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…

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…

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…

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…

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…

Kinect for Xbox 360 has certainly brought a new dimension to gameplay, courtesy of its 3D camera and audio sensors, but a new research project from Intel aims to do the same for younger children. Researchers at the company, alongside staff at the University of Washington are using 3D cameras and…

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…