Microsoft Research

Reasoning about concurrent programs is made difficult by the number of possible interactions between threads.

Over the last decade, design of enterprise wireless networks have gone through a radical shift.

As computing moves towards mobile devices, new challenges emerge for Human-Computer Interaction.

The Internet routing table has been growing rapidly for the past few years. Further, as the IPv4 address space runs out, this growth will see substantial acceleration.

Text is generally associated with all kinds of contextual information.

For the next generation of data-management applications, such as sensor-based monitoring, data integration, and information extraction, data processing is the dominant cost.

This is a report on joint work with Kristin Lauter and Peter Stevenhagen.

Web content has shifted from simple documents to active programs, but web browsers and protocols have not evolved adequately to support them.

Wireless is becoming the preferred mode of network access.

This session will cover the Xilinx next generation 40 and 45nm FPGAs Virtex-6 and Spartan-6.

Mobile Personal Sensing systems leveraging mobile phones offer unprecedented observational capacity at the scale of the individual; at the same time they are remarkably scalable and affordable given

Scientists who work on a whole range of high performance computing problems (e.g. earthquake simulation) employ the Message Passing Interface (MPI) as their lingua franca.

The progress of any creative discipline changes significantly with the quality of the tools available.

Microsoft is well known for Windows, Office, .NET, Xbox, Zune and a long list of other products and technologies.

Relevance heuristics allow us to tailor a program analysis to a particular property to be verified.

How do you know your test suite is good

I will discuss ideas, experiences, and opportunities surrounding Scratch ΓÇô our new media-rich programming system designed especially for people who havenΓÇÖt previously imagined themselves as

How do we get programmers to routinely write parallel software?

Outliers is a book about success. It starts with a very simple question: what is the difference between those who do something special with their lives and everyone else?

This talk will focus on the Sample Compression learning framework emphasizing some of its advantages over more conventional frameworks such as the VC learning paradigm.

This session will highlight the performance advantages and the compile reductions possible using PlanAhead.

To be practical, systems for deterministic replay of multiprocessor programs need to support an environment with multiple parallel jobs running concurrently ΓÇô some being recorded, others being

How do we excel in dealing with our daily commitments, the unexpected and the information overload that threatens to drown us?

This novel takes us on a harrowing journey through the dark crawl spaces of the modern world, a world where a convergence of MMOG's BotNets, viral ecosystems and corporate dominance are quietly

Most models of the Web consist of a graph of linked pages, in which each page is a simple unstructured text document.

This talk will introduce the field of emergency informatics: the real-time collection, processing, distribution, and visualization of information for prevention, preparedness, response and recovery

The recent development and success of computer gaming classes and gaming-themed curricula are exciting and have demonstrated interesting potentials.

Three trends will dominate the storage systems of tomorrow: users are storing increasingly massive amounts of data, storage software complexity is growing, and the use of cheap and less reliable

The complexity of the visual world makes it difficult for computer vision to understand images and for computer graphics to synthesize visual content.

Traditionally, Internet Service Providers (ISPs) make profit by providing Internet connectivity, while content providers (CPs) play the more lucrative role of delivering content to users.