martinesmann

• 

  48 minutes, 51 seconds
  MDCC TechTalk - Fun with type functions

  Nov 22, 2011 at 1:40 PM 2 martinesmann

  Avg Rating: 5

  (2)

  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 some...

• 

  1 hour, 6 minutes, 54 seconds
  MDCC TechTalk - Classes, Jim, but not as we know them

  Nov 22, 2011 at 1:40 PM 5 martinesmann

  Avg Rating: 5

  (2)

  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 process...

• 

  57 minutes, 35 seconds
  TechTalk - Research in Software Engineering

  Jun 06, 2011 at 11:30 PM 3 martinesmann

  Avg Rating: 0

  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 analysis,...
• 

  1 hour, 25 minutes, 44 seconds
  CloudTalk: Architecting Software for the Cloud

  May 30, 2011 at 5:32 AM 6 martinesmann

  Avg Rating: 0

  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 cloud-based...
• 

  44 minutes, 9 seconds
  Extreme Scaling with SQL Azure

  Dec 01, 2010 at 2:40 AM 0 martinesmann

  Avg Rating: 0

  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 - denne viser viser dig, hvordan det kan gøres på et OLTP system og viser dig samtidig nogle af de almindelige...

• 

  50 minutes, 8 seconds
  MDCC TechTalk - Advanced .NET Debugging (part 2)

  Dec 01, 2010 at 2:30 AM 0 martinesmann

  Avg Rating: 5

  (1)

  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 from...

• 

  51 minutes, 43 seconds
  MDCC TechTalk - Advanced .NET Debugging (part 1)

  Dec 01, 2010 at 2:29 AM 1 martinesmann

  Avg Rating: 5

  (1)

  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 from...

• 

  1 hour, 26 minutes, 6 seconds
  TechTalk - RESTful Application Protocols, From Design to Implementation

  Oct 15, 2010 at 4:02 AM 0 martinesmann

  Avg Rating: 4

  (1)

  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 describes...

• 

  1 hour, 30 minutes, 21 seconds
  TechTalk - NUI - What’s in a Name?

  Oct 14, 2010 at 4:09 AM 9 martinesmann

  Avg Rating: 5

  (13)

  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 that...

• 

  51 minutes, 5 seconds
  Kristian Kristensen - Iron* - An Introduction to Getting Dynamic on .NET

  Oct 14, 2010 at 4:00 AM 0 martinesmann

  Avg Rating: 3

  (1)

  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) appeared which made it much easier to implement dynamically typed languages on .NET. This session explores...

See more posts…