-talks about his work in field of computer operating system
-msft research founded in 1990s – basic research organization
not just about Microsoft, its about advancement of technology.
-good idea to products in a fast and efficient way.
-840 Ph.D researchers
-some of the most distinguished researchers in msft researcher
-one of the top research center in field of computer sciences
-published more than 4k papers in total.
-strong relationship with universities and research communities.
-many msft products were coming from msft research
-msr generates roughly 25% of the company;.s patents and generally msr patents are more fundamental
-ability to bring smart people to bear rapidly on hard problems confronting products, product groups or the company
-ears to the ground in new areas across a broad range of technologies.
basic research group allows a company like Microsoft to respond more rapidly to change
research provides a reservoir of technology, expertise and people that can be quickly brought to bear.
software model checking
input-c source "as is"
api rules written in SLIC language
–transfer a program into a binary program and prove the thing you are trying to find out.
using prove to test the legitimacy of the code.
-we can prove the point of termination(halt) of a large software project.
research in software engineering
pex – tool for analyzing what should be test in a program
church’s thesis proven by one of msr researcher.
CS Resarch challenge
software engineering and system design
energy and the environment
natural interaction with the PC
speaker; Feng zhao principal searcher Microsoft research.
-computers used about 1.5% of total power consumption in US
Energy Efficient Computing
Sensor device from MSR that measures power consumption, temperature, humidity, and lots of other thing.
Demo: implementing the sensor in real world.
see the video.
-array of sensors- mesh network, passing information from one device to another, servers mode manage the information and a central server mesh all the results.
all the sensors produces about 100mb of data per day.
-sensors improve energy efficient of Microsoft data center.
Data Center Genome project
saving energy and improving operation efficiency by networked sensing, data mining and control.
-sensors platform that use cloud services for sharing data with other researchers.
enable sharing od deployed instrumentation and data for communities of scientists and hobbyists
Demo Sensor map:
tiny sensors, big impact
(end of sensor technology section)
computer allows rapid genome decode
graphical model compiler.
MSR on HIV virus research
creating and sharing tools that accelerate scientific discoveries in many areas
technology for education: ConfereceXp platform.
center for personal robotics in education
-world wide telescope(combine all the telescope in the world in one place)
lightweight programming for kids
-concurrent rule evaluations
Demo:secondlight interaction beyond the surface
-changing the transparency of a surface by applying voltage.
-display another set of images on top of surface.