Software Composability

It's been far too long since we've brought Erik Meijer and Brian Beckman together on Channel 9. Today marks the end of a drought and the beginning of more regular appearances by the dynamic duo. The band is back together! Introducing a new Channel 9 series - Beckman Meijer Overdrive. One of the…

Functional programming is increasing in popularity these days given the inherent problems with shared mutable state that is rife in the imperative world. As we march on to a world of multi and many-core chipsets, software engineering must evolve to better equip software engineers with the tools to…

Burton Smith is a Technical Fellow at Microsoft who thinks about ways in which our platform needs to be structured to support general purpose computers that will soon have clustered super computer processing power as we move closer to manycore everywhere (not too far off into the future...).…

Brian Beckman is a fascinating individual. Ex-cosmologist, ex-military operating system and simulation developer (have you ever considered processes that move both forward and backward in time? Well, Brian and team at JPL created just that. He explains in this interview...). Brian was one of…

Charles Torre again sits down with some of the people behind MSR's Singularity research OS. This time, we drill down into the architecture of Singularity and discuss design decisions, usage of safe code, Channels, SIPs, etc. We even manage to get Galen Hunt, the OS Guy, up to the white…

Bertrand Meyer is a programming language guru, computer scientist and arguably the uncle of object oriented programming . Bertrand created the Eiffel programming language. Eiffel is an object-oriented language that is based on a fixed set of powerful principles like Design by Contract and…

A few years ago I got the chance to learn about Software Transactional Memory for the first time while visiting MSR Cambridge. The great Simon Peyton-Jones and Tim Harris explained to me the thinking behind STM and how it might evolve. It was a tremendously interesting…

How will imperative programming languages evolve to suit the needs of developers in the age of Concurrency and Composability? What role can programming languages play in enabling true composability? What are the implications of LINQ on the furture of managed  (CLS-based) and…

I recently caught up with some of the technical minds behind ADO.NET's Entity Framework: Architect Michael Pizzo, Technical Lead Pablo Castro and Director of Program Management Britt Johnston. What's an Entity Framework, you ask? Well, watch and learn all about this new ADO.NET…

Here is the long-awaited demo of the latest incarnation of Singularity, a research operating system written primarily in safe C#. See Singularity III: Return of the SIP, here.