MDCC

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…

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…

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…

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…

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…

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…

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…

The .NET services bus is part of the new Microsoft Cloud Computing Windows Azure initiative, and arguably, it is the most accessible, ready to use, powerful, and needed piece. The service bus allows clients to connects to services across any machine, network, firewall, NAT, routers, load…

Last week Don Syme joined me for an F# university tour here in Denmark. The final stop on the tour was at Microsoft Development Center Copenhagen (mdcc.dk) for an open TechTalk on F# and functional programming on the .NET platform. To make this talk as broadly available as possible, we just…

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…