Microsoft Research

Typed Assembly Language (TAL) extends traditional untyped assembly languages with typing annotations, memory management primitives, and a sound set of typing rules. These typing rules guarantee the memory safety, control flow safety, and type safety of TAL programs. Moreover, the typing constructs…

Alec Wolman is a senior researcher in the Networking Research Group at MSR. Alec has been working on a difficult problem; how to get the most from mobile computing devices. This involves several other problems; mobile computing devices often don't have the horse-power to drive computation-heavy…

This week, we have a very special guest host, Charles Torre and he brought with him some exciting stories and an even more exciting guest! Mark Russinovich stops by to chat about his new book!  IE love for Firefox Phone application creates 3D models

Jamie Shotton is one of the inventors of Human Skeletal Tracking—he works in Microsoft Research Cambridge and dropped by the states, and our studio, to chat about this great invention. Human skeletal tracking employed in Kinect is a great example of collaboration between MSR and Microsoft…

Microsoft Research has produced two tools to dramatically simplify the construction of unit tests.  We will look at Moles, a framework and Visual Studio add-in that helps to isolate your code from external dependencies.  With Moles you can replace any .Net method with a delegate. …

(PT) Nesta sessão serão dados exemplos das novidades que estão a ser criadas pela Microsoft no sentido de fomentar interacções mais naturais entre as pessoas e os computadores. Conceitos tradicionais de interacção como – rato e WIMP – estão condenados a ficar no passado.  O futuro aponta neste…

(PT) Shahram Izadi, da Microsoft Research, mostra-nos os novos projetos que a Microsoft está a preparar na área da interacção pessoa-computador. *esta sessão foi gravada no evento Webday 2010, que teve lugar no mês de Outubro de 2010 nas cidades de Lisboa e Porto. (EN) Shahram Izadi, from Microsoft…

Innovation is an overused buzzword these days. What does it mean, really? Well, Microsoft Research is in the business of scientific discovery which often leads to innovations that end up in the hands of computer users (or not in the hands of the computer users as the case may be). One area of…

This research demonstrates the use of 3-D projection, combined with a Kinect depth camera to capture and display 3-D objects. Any physical object brought into the demo can be instantaneously digitized and viewed in 3-D. For example, we show a simple modeling application in which complex 3-D…

This research showcases a new, 3-D, photo-real talking head with freely controlled head motions and facial expressions. It extends our prior, high-quality, 2-D, photo-real talking head to 3-D. First, we apply a 2-D-to-3-D reconstruction algorithm frame by frame on a 2-D video to construct a…