MS Research

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…

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…

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…

Blaise Aguera y Arcas is an Architect of PhotoSynth, which is a super cool 3-D image "tourism" application that enables a new methodology for exploring related groups of images using a complex imaging algorithm developed in part by Microsoft Research. Here, Charles sits down with Blaise…

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…

MS Researchers Jim Larus and Galen Hunt lead an intriguing project where they've built an OS using managed code. The project is known as Singularity. In their own words: Singularity is a research project focused on the construction of dependable systems through innovation in the areas of…

Meet Dr. Margaret Burnett, a Professor of Computer Science at the School of Electrical Engineering and Computer Science at Oregon State University. She is exploring hypotheses correlating and differentiating (or unifying) both the design and usage patterns of software by…

From something as simple as a paperclip to far more complex machines such as computers, there are a wide variety of machines forming a regular part of our daily lives. None, however, come close to the complexity found in the machine that is the human being.When you think of Microsoft, you might…