MDCC TechTalk - Fun with type functions
[MP4] [0:48:51] [2011/11/23]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…
MDCC TechTalk - Classes, Jim, but not as we know them
[MP4] [1:06:54] [2011/11/23]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…
TechTalk - Research in Software Engineering
[MP4] [0:57:35] [2011/06/07] 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…
CloudTalk: Architecting Software for the Cloud
[MP4] [1:25:44] [2011/05/30] 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…
Extreme Scaling with SQL Azure
[MP4] [0:44:09] [2010/12/01] SQL Azure er Microsofts nye strategi for at gemme dine data i skyen, men hvad gør man, når man overskrider den meget omtalte 10/50GB grænse. Dette er hvor sharding eller separation kommer i spil -…
MDCC TechTalk - Advanced .NET Debugging (part 2) 
[MP4] [0:50:08] [2010/12/01] Part 1: https://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…
MDCC TechTalk - Advanced .NET Debugging (part 1) 
[MP4] [0:51:43] [2010/12/01] Part 2: https://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…
TechTalk - RESTful Application Protocols, From Design to Implementation
[MP4] [1:26:06] [2010/10/15] 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…
TechTalk - NUI - Whats in a Name?
[MP4] [1:30:21] [2010/10/14] 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…
Kristian Kristensen - Iron* - An Introduction to Getting Dynamic on .NET
[MP4] [0:51:05] [2010/10/14] In recent years dynamically typed languages have received more and more attention on the .NET platform. Initially, an implementation of Python showed up. Later, the Dynamic Language Runtime (DLR)…
Nikhil Kothari - LOB Application Development with Silverlight 4
[MP4] [0:43:21] [2010/10/14] Abstract: Silverlight 4 features RIA Services, an end-to-end application framework for easily and simply building data-driven applications that span client and server. This session demonstrates key…
Oren "Ayende" Eini: NoSQL Databases 
[MP4] [0:49:37] [2010/10/14] Abstract: The buzz is on, everyone is talking about those NoSQL databases, but what ARE they? Do I really need to SQL behind? In this session, we will explore key/value databases, document…
Mikkel Høy Sørensen - Enterprise Level Applications on Windows Azure
[MP4] [0:52:48] [2010/10/14] Website is probably one of the most obvious usage example’s for the cloud computing. But what did it take to convert one of the biggest Web Content Management Systems (WCMS) in the world? You will be…
World's first profiler for Windows Phone 7
[MP4] [0:03:01] [2010/10/08] Performance of Windows Phone 7 apps are often vastly different on the emulator than on the actual device. Many things - I/O, networking, libraries, floating point math etc - are even different from…