Microsoft Research

We give an overview of our recent work on validating satisfiability refutations.

I will describe SWAN, a system that boosts the utilization of inter-datacenter networks beyond 95%, by centrally controlling when and how much traffic each service sends and frequently

Programming language and multiprocessor semantics in Ott, Lem, and Ln

Principles and applications of abstract-interpretation-based static analysis

Programming language semantics as Natural Science

How to test a meta-program?

Making real-time language definitions scalable

Specify and verify your language using K

The ASM approach for modular design and verification of programming features

The web has an enormous collection of live cameras view image parks, roads, cities, beaches, mountains, ski-resorts, buildings and more.

The talk starts with a summary of the familiar algebraic properties of choice in a program and of both sequential and concurrent composition.

Microsoft Research – 9 августа 2016, 7:46

Microsoft Research – 9 августа 2016, 7:45

Developers turn coffee into programs, whilst mathematicians turn it into proofs.

Microsoft Research – 9 августа 2016, 7:44

Microsoft Research – 9 августа 2016, 7:43

We propose a new market design for display advertising contracts, based on posted prices.

Presenting a poster at an international conference is a terrific opportunity to promote your research and raise your professional profile in a global academic forum.

Microsoft Research – 9 августа 2016, 7:41

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.

We live in an information society, with cloud computing is changing the way we live, work and play in a world of devices and services.

3D reconstruction from images has been a tremendous success-story of computer vision, with city-scale reconstruction now a reality.

Microsoft Research – 9 августа 2016, 7:36

Software failures can be sorted into two groups: those that cause the software to do something wrong (e.g. crashing), and those that result in the software not doing something useful (e.g. hanging).

From time to time at Microsoft Research we set aside time to talk about strategic aspects of research, that is, the big picture of why we do research and how to have different sorts of impact

This talk is in two parts.

Computing systems have become increasingly complex and difficult to program, in particular with the emergence of heterogeneous hardware.

Modular programming and modular verification go hand in hand, but most existing logics for concurrency ignore two crucial forms of modularity: *higher-order functions*, which are essential for

With the advent of new technologies such as search engines and data-rich social networks, there has been a major increase on the availability of indirect sources of measurement for social behaviour.