SPSTC Keynote: Dean Halstead on ‘Innovation at Microsoft’