Microsoft Research

Brian will talk about his experience this summer developing and using the Havoc annotation-based tool to target resource leaks, data races and teardown races in the Ntfs code base, finding ~50

Human manually written programs do many (clean) tasks well, such as word processing or dexterous dancing.

Stream processing engines (SPEs) are a new type of data management systems that provide continuous, low latency processing of data streams.

Increasingly, our culture is being created and defined by relatively small, intensely motivated personal interest groups.

MPI is the de facto standard for programming cluster machines used in high performance computing.

There is a huge and rapidly growing amount of digital information about people.

Given a directed graph G with girth at least m+1 (and no parallel edges), let b(G) denote the size of the smallest subset X of the edges of G so that G \ X has no directed cycles, and let c(G) be

A tremendous enthusiasm for amassing enormous amounts of network measurement data has spurred the development of numerous applications that incorporate data mining techniques.

Network visualization has been a lively topic for a half century, but the intense challenges from many facets of this problem demand diverse solutions.  While the popular force-directed approaches

The multiplication of computing devices with which a person in the developed world interacts has grown rapidly.  From laptops and mobile phones to automobiles and urban infrastructure, bits are

If computers are to become proactive and assistive, they will need to sense and infer human activities and interactions in unconstrained real world settings.

Computer graphics and animation is a very broad and multidisciplinary area of research.

Music fans have always been enthusiastic internet users, building community through mailing lists, news groups, and web site.

Today, number crunching affects your life in ways you might never imagine, as organizations are analyzing massive databases at lighting speed to provide insights into human behavior.

The casual games sector has been growing rapidly in the last few years. There is however no clear view on what ΓÇ£casualΓÇ¥ actually means.

We use embeddings in continuous time Branching processes to derive asymptotics for various statistics associated with different models of preferential attachment.

Given finite sets A and B in the lattice, the Diaconis-Fulton sum is a random set obtained by starting one particle at every point of their symmetric difference, and two particles at every point of

The game console market has gone highly concurrent, and the PC market is heading that way fast as well.  The software development side of the game business has been reeling to catch up and deal

During recent years, the pervasive deployment of Peer-to-Peer (P2P) systems had a profound impact on the Internet that is even more tangible than the impact of the Web.

In this talk I will describe three projects that harness the potential of variable-aperture photography -- capturing multiple photos by manipulating basic lens controls such as aperture and focus.

Statistical language processing tools are being applied to an ever-wider and more varied range of linguistic data.

The Laboratory for Perceptual Robotics at UMass Amherst is studying how sensors and effectors can be recruited into working robot systems using an idea we call the control

Computer games and videogames have morphed from a cottage business into a global media and software industry.

Functional Magnetic Resonance Imaging (fMRI) has enabled scientists to look into the active human brains.

Many static and dynamic program analyses have been developed to improve program quality. Several of them are well known and widely used in practice.

My involvements in the study of central limit theorems for Markov chains tend to be of the following form: I learn from Jeff Rosenthal about something that is believed to hold, and a counterexample

The U.S. is currently in a global competition for science and engineering talent.

What do global warming, a scientific instrument weighing about 4500 tons and bill collection have in common? The once Berkeley 'hippie chick' turned Software Architect Catharine van Ingen.

Consider a graph embedded in D-dimensional Euclidian space, with edges drawn as straight lines.

The ASTREE analyzer is an abstract interpretation-based static analyzer tailored to prove the absence of run time errors (division by 0, out of bounds, overflow, null pointer dereference, ...) in