Course Overview Ben Livshits

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

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

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

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