Microsoft Research

Many programmers outside of the hard-core functional-programming world now see the value of continuations as a programming-language construct.

Programs written in C and C++ are not memory safe, which renders them vulnerable to memory corruption.

In the first part of my talk, I will present a method for calibrating and synchronizing a network of cameras observing an event from multiple viewpoints.

The recent successes of server-side applications (e.g.

In the Photo Tourism project, we demonstrated the potential for leveraging large, unstructured Internet photo collections to produce compelling 3D visualizations of real-world scenes, through a

The manipulation of pixels and samples to create video effects (like chromakey and the Star Trek ΓÇ£TransporterΓÇ¥) and audio effects (like echoes and reversing), that are commonly used in gaming

The Internet faces new challenges, ranging from unwanted or harmful traffic to the increasing complexity and fragility of inter-domain routing.

Computation has fundamentally changed the way we study nature.

Most software undergoes a brief period of rapid development, followed by a much longer period of maintenance and adaptation.

In this talk, I will describe CitySense, a NSF-funded collaboration between Harvard University and BBN Technologies to build a city-wide wireless sensor testbed that will be open to the research

It is surprising to realize how much of our behavior is a result of the social and organizational constraints placed on us.

Image-based object recognition is one of the quintessential problems for computer vision, and human faces are arguably the most important class of objects to recognize.

Modern operating systems primarily use Discretionary Access Control (DAC) to protect files and other operating system resources.

Email management has a fundamental role in work productivity.

Web applications enable much of today's online business including banking, shopping, university admissions, and various governmental activities.

Machine-based, automatic speech recognition (ASR) systems decode the acoustic signal by associating each time frame with a set of phonetic-segment possibilities.

To be effective, an agent that collaborates with humans needs to be able to learn new tasks from humans they work with.

My experience has been that there are no such things as ΓÇ£best practicesΓÇ¥ in software engineering ΓÇô Although certain practices have proven very effective at reducing cost or improving quality

The Manticore project is an effort to design and implement a new functional language for parallel programming.

In areas such as GUI programming the design style known as event-driven or publish-subscribe is often attractive as a replacement for standard control structures.

When writing scientific computing software, programmers often need to identify which algorithm would perform best in a given situation.

When and how can computers ?nd market equilibrium? There are many reasons why this question is interesting, stemming from the fact that computers are better at such a task than people.

Programming language evolution leverages different abstraction techniques. The first high-level programming languages leveraged procedural abstraction.

This talk describes two projects in the area of computational photography that I have recently worked on in collaboration with Microsoft Research and Virtual Earth.

The theory of automated program revision studies possibilities and limitations of revising existing programs.

Microsoft Research – 6 сентября 2016, 17:00

Sympathy and Confidence are new fault remediation systems that improve the quality and quantity of data recovered from embedded networked sensing (ENS) systems.

This presentation introduces a discriminative model for the retrieval of pictures from text queries.

Ever more programmers need to know about concurrency, but for the most part concurrent programming techniques are messy and unsafe.

The question whether a given program terminates for all its inputs is one of the fundamental problems in program verification.