Microsoft Research

Over the past several decades of compiler research, there have been great successes in automatically enhancing locality for regular programs, which operate over dense matrices and arrays.

Types play an important role in programming languages, by encoding contracts and invariants that enable modular programming and efficient code generation.

Voice telephony will remain a key service in mobile communication networks.

Although social conventions are a powerful guide for behavior, the way they emerge in communities is not well understood.

This is a story of breakthroughs in quantum circuit synthesis, that brought down the cost of the resulting circuits by 5 orders of magnitude in short 9 months of 2012, and provided specific

The �Moral Imperative� of Treating People with Chronic Pain �Challenges, Impediments, & Opportunities Chronic pain is a prevalent problem with significant costs to individuals and society.

Bitcoin is the first e-cash system to see widespread adoption. While Bitcoin offers the potential for new types of financial interaction, it has significant limitations regarding privacy.

JavaScript is a ubiquitous language on the Web; it is used not only to enhance web pages, but also to enhance the functionality of web browsers themselves in the form of browser addons.

Radio frequency identification (RFID) is a technology for the automated identification of physical entities using radio frequency transmissions.

A deep dive into the interesting, diverse and sometimes dangerous world of sound design for racing games. What makes a car sound the way it does, and how can we recreate that in real-time?

Strongly polynomial algorithm for a class of minimum-cost flow problems with separable convex objectives A well-studied nonlinear extension of the minimum-cost flow problem is that given a convex

Title: Learning with Weak Supervision in Grounded Language Acquisition Speaker: Hannaneh Hajishirzi A central problem in grounded language acquisition is to learn the correspondences between a rich

For the past 20 years, many groups, including our own, have been developing methods for time-series analysis of video data with applications to both robotic guidance and for human-machine interaction.

HTML5 is quickly gaining traction for developing mobile apps. New W3C standards such as WebRTC, WebNFC, WebSockets or WebWorkers elevate HTML5 to a first class citizen for mobile development.

The 2012 Nobel Prize in economics was awarded to Alvin E. Roth and Lloyd S. Shapley for the theory of stable allocations and the practice of market design.

In this talk we describe how the combination of automated reasoning and symbolic computation methods can be used to automatically generate statements expressing arbitrarily complex computer program

Scientists collect data, and write stories about what the data tells them.

Many of the pressing challenges facing contemporary society concern sustainability and public health.

Cheeger's fundamental inequality states that any edge-weighted graph has a vertex subsetS such that its expansion (a.k.a.

Using touch screens presents a number of usability and accessibility challenges for people with disabilities.

Crowdsourcing on platforms like Amazon's Mechanical Turk have become a popular paradigm for labeling large datasets.

Society shapes technology but, equally, its use is determined by the conditions in which a society lives. In Mexico, Twitter is a tool for alerting citizens of daily drug-violence related risks.

One of the big issues of human cognitive development is language acquisition process, and constructive approaches have been attacking the issue to understand this process by building vocal robots.

This talk will discuss a newly introduced family of Bayesian approaches aiming at combining the structural advantages of deep models with the expressive power of Gaussian processes.

Software repositories, e.g. SourceForge, GitHub, etc. contain an enormous corpus of software and information about software.

At time 0 start several independent lazy simple random walks on a ?nite or in?nite connected graph (for instance, start with 1 walker at each vertex).

Snapshot isolation (SI) is a widely studied concurrency control approach, with great impact in practice within platforms such as Oracle DB.

Writing papers and giving talks are key skills for any researcher, but they aren’t easy.

Writing papers and giving talks are key skills for any researcher, but they aren’t easy.

At Microsoft Research Cambridge we are committed to inspiring and supporting the next generation of computer scientists, and were delighted to be able to offer a one-day exclusive experience to