The Future of Research
8:30-8:45 History of research at Microsoft
Microsoft Research started in 1990
Microsoft had just broken 1B in revenue when MSR started
8:45 MSR Mission Statement
Expand state of the art in technology
Bring advances in research to product ASAP
Heavy participation in Academic Community
8:46-8:50 Organized for Innovation
MSR is structured like a University
Open Research environment
Engage the Research Community
MSR has 850 PhD researchers!
MSR pulls in world class talent
Strongest research company in CompSci field.
Largest PhD internship program in the industry
More Graduate research hours at MSR than many Universities
8:53 Driving Technologies into products
Many of Microsoft’s offerings (e.g. DirectX, Windows Media) started in MSR
TabletPC, Cleartype, SQL Data Mining, among other examples
CCR and DSS Toolkit started as MSR Robotics tools.
8:56-9:00 Value of MSR To Microsoft
Source of IP and new product technologies
Generates about 25% of Company’s patents
Able to bring a strong brain trust to bear on difficult product
Can keep abreast of trends that MSFT should follow
9:00 Research –> Agility
Can respond more rapidly to change
Address new technologies, competitors, and business models rapidly
9:01-9:07 Research and Software Engineering
MSR has made incredible investments in improving SE
SLAM – static verification of source now provided as Static Driver Verification in Vista DDK
Proof of program termination now possible because of MSR
CHESS, Code Contracts, Pex, Z3, and Proof of Church’s Thesis over 70 year old problem
9:07-9:10 DryadLINQ harness power of clustered computing. Single query can be spread across thousands of nodes.
The same progam can run single-core, multi-core, and cluster.
9:10-9:13 Research for energy Introducing Feng Zhao
Computers can be made more energy efficient
Computers can be used to improve energy efficiency of things we use
Energy efficient computing compelling area of research in Comp Sci
Programming for using less resources is also programming for energy efficiency.
Showing special sensor for collecting environment information
9:13-920 Demo of sensor grid collecting temperature data from Keynote hall over the course of conference
Showing a time lapse of heat map collected from sensors over the Monday Keynote.
9:20 MSFT uses sensors in Data Centers to help monitor cooling and efficiency of HVAC
Can use data to optimize placement of high workload units within DC
9:23 Sensing in the wild
SenseWeb: WikiPedia of Sensors
Can share instrumentation and data for communities of scientists and hobbyist
9:25-9:30 Demonstration of SensorMap
Showing sensor data mashed up with Virtual Earth Map.
9:30 Environment Sensors can be useful in multiple scenarios
9:30 Research in Healthcare
Using genetics for personalized healthcare.
Based on genetic makeup, the same medication that heals one person can kill another
Unlocking the human genome possible within next 2-3 years.
Using graphical models to gather more Useful data from genetics
Fighting HIV using computer learning (same technique used to fight spam)
9:33 Video creating a vaccine for HIV using Machine Learning
discovered that HIV mutates based on individual genetics
discovered that some parts of HIV serves as a “decoy” tricking the immune system to waste resources on them
Microsoft’s Research has lead to advances in Medicine
9:36 Research in Education
Computer Science Curricula
World Wide Telescope –Virtual Observatory
Enabled amateur astronomers to discover new astronomical phenomena before Professionals
New release of WWT Equinox
9:40-9:44 Video Demo of Equinox release
3D View of Solar System
Zoom out to surrounding stars in galaxy
Go view new release available now
Final Montage…zooming out to view entire visible universe!
9:45-9:48 Discussion about children learning to program
Boku proect with Matt MacLaurin
What is Boku – lightweight programming for kids
Integrating gaming and programming
Why programming for children
Programming is actually a life skill.
9:48-9:56 Demo of Boku
All Programming done with the Xbox 360 controller
Icon based language program logic
Rule based model…all rules evaluated at once.
Characters can respond to joystick movements.
9:56 Video Montage of Boku Creations
9:57 SecondLight Interaction Beyond Surface Steve Hodges
Showing what appears to be a basic surface unit
Second projection showing on tracing paper held over the surface!
You have got to see this!!!