PDC 2008: Day 3 Keynote Live Blog

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
        Problem solving
        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
        Data Centers
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
Virtual Classroom
        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!!!


Leave a Reply

Your email address will not be published.