Software Composability

Ever wonder how we make Windows skus (not why necessarily, though we do cover that briefly, but how, exactly)? How do OEMs like Dell or HP or Whoever get Windows skus onto the millions of PCs they make? Closer to home, how does Microsoft build Windows skus, anyway? How do we build Windows for that…

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…

While in Cambridge recently to interview Tim Harris and Simon Peyton-Jones about the great work they're doing on Software Transactional Memory (STM), I got to meet some of the folks in the Machine Learning group (Christopher Bishop leads the ML research team and is a leading figure in the…

The conversation Mike Hall recently had with Don Syme, a researcher at MSR Cambridge who focuses on language development and is the key author of F#, continues. (See Part 1 here)And there's a lot of code in this one. Put your study caps on.Check out Don's blog!

Mike Hall caught up with Don Syme recently and recorded a few interviews covering Don's favorite programming language: F#.  F#???Don has done many great things over there in MSR Cambridge including creating everybody's favorite C# feature, Generics. Well, he also developed (with his team)…

Recently, we visited MSR Cambridge(UK) to meet some of the great minds working there. In this case, we were fortunate enough to get an hour's time with Simon Peyton-Jones and Tim Harris, who are researchers working on a very hard problem: making it easier (more predictable, more reliable, more…

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…

David Tarditi and Sidd Puri are doing some really cool work over in Microsoft Research. They've built a development technology, Accelerator, that  "provides a high-level data-parallel programming model as a library that is available for all .Net programming languages. The library…

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.

It's been a while since we checked in with the Singularity folks over in MSR Redmond. You know, the usual suspects like Jim Larus and Galen Hunt. So, Charles went and visited them recently to see where they are with Singularity, see what they're up to, what's new... As you may expect, they…