MS Research

David Gristwood grabs his camera, and heads down to the Microsoft Research Centre in Cambridge with Dave Brown, an architect at the Microsoft Technology Centre, to talk to Don Syme, a Principal Researcher at Microsoft Research, about F# in part 2 of this video series. Don, who created F#,…

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…

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…

Drawbridge is a research prototype of a new form of virtualization for application sandboxing. Drawbridge combines two core technologies: First, a picoprocess, which is a process-based isolation container with a minimal kernel API surface. Second, a library OS, which is a version of Windows…

Web applications increasingly integrate third-party services. The integration introduces new security challenges due to the complexity for an application to coordinate its internal states with those of the component services and the web client across the Internet. In this paper, we study the…

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…

3-D television is creating a huge buzz in the consumer space, but the generation of 3-D content remains a largely professional endeavor. Our research demonstrates an easy-to-use system for creating photorealistic, 3-D-image-based models simply by walking around an object of interest with your…

CHESS is an automated tool from Microsoft Research for finding errors in multithreaded software by systematic exploration of thread schedules. It finds errors, such as data-races, deadlocks, hangs, and data-corruption induced access violations, that are extremely hard to find with…

Jim Gray is a distinguished engineer in Microsoft's Scalable Servers Research Group and manager of our Bay Area Research Center. That doesn't even start to do justice to the role Jim has played in the development of databases. You might know him as the guy behind Terra Service or Sky…

Orleans is a Microsoft Research (MSR) project and managed (.NET) software framework for building client + cloud applications. As outlined in the recently released paper on the topic: Orleans defines an actor-like model of isolated grains that communicate through asynchronous messages and…