MDCC

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

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…

by Mike Ehrenberg The emergence of cloud technology represents a significant generational shift in software architecture. Mike will share insights in what customers seek in a move to cloud-delivered software, and how delighting those customers impacts the architecture, design and development of…

Part 1: http://channel9.msdn.com/posts/MDCC-TechTalk-Advanced-NET-Debugging-part-1 What do you do, when your .NET application crashes on the production servers and you can't reproduce the bug in-house? How do you detect memory leaks in a .NET application, when you can't inspect the memory usage…

Part 2: http://channel9.msdn.com/posts/MDCC-TechTalk-Advanced-NET-Debugging-part-2 What do you do, when your .NET application crashes on the production servers and you can't reproduce the bug in-house? How do you detect memory leaks in a .NET application, when you can't inspect the memory usage…

Challenging the notion that REST is suitable only for simple CRUD-based data services, in this TechTalk Ian Robinson will show how to implement a complex business process as part of a RESTful application. Using techniques drawn from the forthcoming O'Reilly book "REST in Practice", he…

Natural User Interface, or NUI, is one of the favourite flavours du jour in certain interaction design and user experience circles. On the one hand, the term signals a change from the Graphical User Interace, or GUI, that has been prevalent since the early 1980s. In many ways, that is good. Not…

By Nikolai Tillmann and  Mike BarnettLearn how Code Contracts provides a set of tools for design-by-contract programming and how Pex is an advanced unit-testing tool that uses automated program exploration to intelligently create unit tests with high code coverage.  See…

Parallel Computing Platformby Niklas Gustafsson, software architect at Microsoft Corporation With Visual Studio 2010, Microsoft is shipping a broad set of technologies to support programmers in their quest of taking full advantage of the emerging parallel hardware. In this talk, I will present…