1. Course Overview
Ben Livshits

2. Ben Livshits http://research.microsoft.com/~livshits/
Microsoft Research
Redmond, Washington

3. Организация Microsoft Research
Redmond, WA
Организация Microsoft Research
исследователей и ученых
Исследования в computer science
…с двумя основными целями:
академическое влияние и публикации
исследования, отражающиеся в продуктах Microsoft’а в следующие 5-10 лет

4. Goals Before lunch: Lunch After lunch
Figuring out students’ background
Making sure that everyone is on the same page
Lunch
Free-form discussion
Feeding time ;-)
After lunch
Show some of the current research
Will give several conference talks that appeared in the last 2 years
Will give a sense of what the research community is interested in
Will give a sense of the flavor of work that is being done and what it takes to get a paper published
Will answer questions

5. Course Outline 11:15-12:50: Introduction to security
13:00-14:35: Introduction to compilers
14:35-15:35: Lunch
15:35-17:10: Connecting the two topics
Recent research
15:35-16:30: Nozzle
16:30-17:10 Gatekeeper
Before lunch:
Figuring out students’ background
Making sure that everyone is on the same page
Lunch
Free-form discussion
Feeding time ;-)
After lunch
Show some of the current research
Will give several conference talks that appeared in the last 2 years
Will give a sense of what the research community is interested in
Will give a sense of the flavor of work that is being done and what it takes to get a paper published
Will answer questions