SlideShare a Scribd company logo
1 of 5
Course Overview Ben Livshits
Ben Livshits Microsoft Research Redmond, Washington http://research.microsoft.com/~livshits/
Microsoft Research Microsoft Research Redmond, WA Организация Microsoft Research 300-400 исследователей и ученых Исследования в computer science …с двумя основными целями: академическое влияние и публикации  исследования, отражающиеся в продуктах Microsoft’ав следующие 5-10 лет
Goals 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 4
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

More Related Content

Viewers also liked

Н. Иготти. Виртуализация и виртуальные машины. Лекция 02
Н. Иготти. Виртуализация и виртуальные машины. Лекция 02Н. Иготти. Виртуализация и виртуальные машины. Лекция 02
Н. Иготти. Виртуализация и виртуальные машины. Лекция 02Computer Science Club
 
20071104 verification konev_lecture12
20071104 verification konev_lecture1220071104 verification konev_lecture12
20071104 verification konev_lecture12Computer Science Club
 
20121007 algorithmsinbioinformatics vyahhi_lecture04_0
20121007 algorithmsinbioinformatics vyahhi_lecture04_020121007 algorithmsinbioinformatics vyahhi_lecture04_0
20121007 algorithmsinbioinformatics vyahhi_lecture04_0Computer Science Club
 
20080921 introductorycourse itsykson_lecture01
20080921 introductorycourse itsykson_lecture0120080921 introductorycourse itsykson_lecture01
20080921 introductorycourse itsykson_lecture01Computer Science Club
 
20080217 efficientalgorithms kulikov_lecture13
20080217 efficientalgorithms kulikov_lecture1320080217 efficientalgorithms kulikov_lecture13
20080217 efficientalgorithms kulikov_lecture13Computer Science Club
 
20071104 verification konev_lecture13
20071104 verification konev_lecture1320071104 verification konev_lecture13
20071104 verification konev_lecture13Computer Science Club
 
20080420 machine learning_nikolenko_lecture10
20080420 machine learning_nikolenko_lecture1020080420 machine learning_nikolenko_lecture10
20080420 machine learning_nikolenko_lecture10Computer Science Club
 
20091025 algorithmsfornphardproblems kulikov_lecture04
20091025 algorithmsfornphardproblems kulikov_lecture0420091025 algorithmsfornphardproblems kulikov_lecture04
20091025 algorithmsfornphardproblems kulikov_lecture04Computer Science Club
 
20110224 systems of_typed_lambda_calculi_moskvin_lecture01
20110224 systems of_typed_lambda_calculi_moskvin_lecture0120110224 systems of_typed_lambda_calculi_moskvin_lecture01
20110224 systems of_typed_lambda_calculi_moskvin_lecture01Computer Science Club
 

Viewers also liked (12)

20100822 opensmt bruttomesso
20100822 opensmt bruttomesso20100822 opensmt bruttomesso
20100822 opensmt bruttomesso
 
Н. Иготти. Виртуализация и виртуальные машины. Лекция 02
Н. Иготти. Виртуализация и виртуальные машины. Лекция 02Н. Иготти. Виртуализация и виртуальные машины. Лекция 02
Н. Иготти. Виртуализация и виртуальные машины. Лекция 02
 
20071104 verification konev_lecture12
20071104 verification konev_lecture1220071104 verification konev_lecture12
20071104 verification konev_lecture12
 
20121007 algorithmsinbioinformatics vyahhi_lecture04_0
20121007 algorithmsinbioinformatics vyahhi_lecture04_020121007 algorithmsinbioinformatics vyahhi_lecture04_0
20121007 algorithmsinbioinformatics vyahhi_lecture04_0
 
20091108 mfcs itsykson_lecture06
20091108 mfcs itsykson_lecture0620091108 mfcs itsykson_lecture06
20091108 mfcs itsykson_lecture06
 
20090920 mfcs itsykson_lecture01
20090920 mfcs itsykson_lecture0120090920 mfcs itsykson_lecture01
20090920 mfcs itsykson_lecture01
 
20080921 introductorycourse itsykson_lecture01
20080921 introductorycourse itsykson_lecture0120080921 introductorycourse itsykson_lecture01
20080921 introductorycourse itsykson_lecture01
 
20080217 efficientalgorithms kulikov_lecture13
20080217 efficientalgorithms kulikov_lecture1320080217 efficientalgorithms kulikov_lecture13
20080217 efficientalgorithms kulikov_lecture13
 
20071104 verification konev_lecture13
20071104 verification konev_lecture1320071104 verification konev_lecture13
20071104 verification konev_lecture13
 
20080420 machine learning_nikolenko_lecture10
20080420 machine learning_nikolenko_lecture1020080420 machine learning_nikolenko_lecture10
20080420 machine learning_nikolenko_lecture10
 
20091025 algorithmsfornphardproblems kulikov_lecture04
20091025 algorithmsfornphardproblems kulikov_lecture0420091025 algorithmsfornphardproblems kulikov_lecture04
20091025 algorithmsfornphardproblems kulikov_lecture04
 
20110224 systems of_typed_lambda_calculi_moskvin_lecture01
20110224 systems of_typed_lambda_calculi_moskvin_lecture0120110224 systems of_typed_lambda_calculi_moskvin_lecture01
20110224 systems of_typed_lambda_calculi_moskvin_lecture01
 

Similar to Ben Livshits Course Overview

Shaping the Open Course at Bucks County Community College
Shaping the Open Course at Bucks County Community CollegeShaping the Open Course at Bucks County Community College
Shaping the Open Course at Bucks County Community CollegeBill Hemmig
 
1 Course Overview-Literature Search.pptx
1 Course Overview-Literature Search.pptx1 Course Overview-Literature Search.pptx
1 Course Overview-Literature Search.pptxSaddamSarwar1
 
EDUC5103G - Week 1 Class Slides
EDUC5103G - Week 1 Class SlidesEDUC5103G - Week 1 Class Slides
EDUC5103G - Week 1 Class SlidesRobert Power
 
Web 2.0: Promises and Potentials
Web 2.0: Promises and PotentialsWeb 2.0: Promises and Potentials
Web 2.0: Promises and Potentialsedlinker
 
Web 2.o Promises and Potentials
Web 2.o Promises and PotentialsWeb 2.o Promises and Potentials
Web 2.o Promises and Potentialsqdsouza
 
HIBERLINK: Reference Rot and Linked Data: Threat and Remedy
HIBERLINK: Reference Rot and Linked Data: Threat and RemedyHIBERLINK: Reference Rot and Linked Data: Threat and Remedy
HIBERLINK: Reference Rot and Linked Data: Threat and RemedyPRELIDA Project
 
Dagstuhl Search as Learning: seminar introduction
Dagstuhl Search as Learning: seminar introductionDagstuhl Search as Learning: seminar introduction
Dagstuhl Search as Learning: seminar introductionClaudia Hauff
 
Current state of EduFeedr project
Current state of EduFeedr projectCurrent state of EduFeedr project
Current state of EduFeedr projectHans Põldoja
 
Asw2 a meu seminar slideshare
Asw2 a meu seminar slideshareAsw2 a meu seminar slideshare
Asw2 a meu seminar slidesharejwaycott
 
From OpenCourseWare to Open CourseWare
From OpenCourseWare to Open CourseWareFrom OpenCourseWare to Open CourseWare
From OpenCourseWare to Open CourseWareBrandon Muramatsu
 
Project Greenfield: A New Way of thinking about OpenCourseWare and Open Educa...
Project Greenfield: A New Way of thinking about OpenCourseWare and Open Educa...Project Greenfield: A New Way of thinking about OpenCourseWare and Open Educa...
Project Greenfield: A New Way of thinking about OpenCourseWare and Open Educa...Brandon Muramatsu
 
EduFeedr — Redesigning the Feed Reader for an Open Education
EduFeedr — Redesigning the Feed Reader for an Open EducationEduFeedr — Redesigning the Feed Reader for an Open Education
EduFeedr — Redesigning the Feed Reader for an Open EducationHans Põldoja
 
Salford uni pres 2011
Salford uni pres 2011Salford uni pres 2011
Salford uni pres 2011oseamons
 
Salford uni pres 2011
Salford uni pres 2011Salford uni pres 2011
Salford uni pres 2011oseamons
 
Information Literacy Champions Transform Lives FLA 3_3_2016 Version 3
Information Literacy Champions Transform Lives FLA  3_3_2016 Version 3Information Literacy Champions Transform Lives FLA  3_3_2016 Version 3
Information Literacy Champions Transform Lives FLA 3_3_2016 Version 3Mary Howrey
 
Topic Modeling for Learning Analytics Researchers LAK15 Tutorial
Topic Modeling for Learning Analytics Researchers LAK15 TutorialTopic Modeling for Learning Analytics Researchers LAK15 Tutorial
Topic Modeling for Learning Analytics Researchers LAK15 TutorialVitomir Kovanovic
 
Library & Sakai 3 Integration Project Update
Library & Sakai 3 Integration Project UpdateLibrary & Sakai 3 Integration Project Update
Library & Sakai 3 Integration Project UpdateGaurav Bhatnagar
 

Similar to Ben Livshits Course Overview (20)

Trend-si.pdf
Trend-si.pdfTrend-si.pdf
Trend-si.pdf
 
Shaping the Open Course at Bucks County Community College
Shaping the Open Course at Bucks County Community CollegeShaping the Open Course at Bucks County Community College
Shaping the Open Course at Bucks County Community College
 
1 Course Overview-Literature Search.pptx
1 Course Overview-Literature Search.pptx1 Course Overview-Literature Search.pptx
1 Course Overview-Literature Search.pptx
 
EDUC5103G - Week 1 Class Slides
EDUC5103G - Week 1 Class SlidesEDUC5103G - Week 1 Class Slides
EDUC5103G - Week 1 Class Slides
 
Web 2.0: Promises and Potentials
Web 2.0: Promises and PotentialsWeb 2.0: Promises and Potentials
Web 2.0: Promises and Potentials
 
Web 2.o Promises and Potentials
Web 2.o Promises and PotentialsWeb 2.o Promises and Potentials
Web 2.o Promises and Potentials
 
HIBERLINK: Reference Rot and Linked Data: Threat and Remedy
HIBERLINK: Reference Rot and Linked Data: Threat and RemedyHIBERLINK: Reference Rot and Linked Data: Threat and Remedy
HIBERLINK: Reference Rot and Linked Data: Threat and Remedy
 
AAUP 2013: OA Textbooks and MOOCs (D. Fisher)
AAUP 2013: OA Textbooks and MOOCs (D. Fisher)AAUP 2013: OA Textbooks and MOOCs (D. Fisher)
AAUP 2013: OA Textbooks and MOOCs (D. Fisher)
 
Dagstuhl Search as Learning: seminar introduction
Dagstuhl Search as Learning: seminar introductionDagstuhl Search as Learning: seminar introduction
Dagstuhl Search as Learning: seminar introduction
 
Reference Rot and E-Theses: Threat and Remedy
Reference Rot and E-Theses: Threat and RemedyReference Rot and E-Theses: Threat and Remedy
Reference Rot and E-Theses: Threat and Remedy
 
Current state of EduFeedr project
Current state of EduFeedr projectCurrent state of EduFeedr project
Current state of EduFeedr project
 
Asw2 a meu seminar slideshare
Asw2 a meu seminar slideshareAsw2 a meu seminar slideshare
Asw2 a meu seminar slideshare
 
From OpenCourseWare to Open CourseWare
From OpenCourseWare to Open CourseWareFrom OpenCourseWare to Open CourseWare
From OpenCourseWare to Open CourseWare
 
Project Greenfield: A New Way of thinking about OpenCourseWare and Open Educa...
Project Greenfield: A New Way of thinking about OpenCourseWare and Open Educa...Project Greenfield: A New Way of thinking about OpenCourseWare and Open Educa...
Project Greenfield: A New Way of thinking about OpenCourseWare and Open Educa...
 
EduFeedr — Redesigning the Feed Reader for an Open Education
EduFeedr — Redesigning the Feed Reader for an Open EducationEduFeedr — Redesigning the Feed Reader for an Open Education
EduFeedr — Redesigning the Feed Reader for an Open Education
 
Salford uni pres 2011
Salford uni pres 2011Salford uni pres 2011
Salford uni pres 2011
 
Salford uni pres 2011
Salford uni pres 2011Salford uni pres 2011
Salford uni pres 2011
 
Information Literacy Champions Transform Lives FLA 3_3_2016 Version 3
Information Literacy Champions Transform Lives FLA  3_3_2016 Version 3Information Literacy Champions Transform Lives FLA  3_3_2016 Version 3
Information Literacy Champions Transform Lives FLA 3_3_2016 Version 3
 
Topic Modeling for Learning Analytics Researchers LAK15 Tutorial
Topic Modeling for Learning Analytics Researchers LAK15 TutorialTopic Modeling for Learning Analytics Researchers LAK15 Tutorial
Topic Modeling for Learning Analytics Researchers LAK15 Tutorial
 
Library & Sakai 3 Integration Project Update
Library & Sakai 3 Integration Project UpdateLibrary & Sakai 3 Integration Project Update
Library & Sakai 3 Integration Project Update
 

More from Computer Science Club

20140531 serebryany lecture01_fantastic_cpp_bugs
20140531 serebryany lecture01_fantastic_cpp_bugs20140531 serebryany lecture01_fantastic_cpp_bugs
20140531 serebryany lecture01_fantastic_cpp_bugsComputer Science Club
 
20140531 serebryany lecture02_find_scary_cpp_bugs
20140531 serebryany lecture02_find_scary_cpp_bugs20140531 serebryany lecture02_find_scary_cpp_bugs
20140531 serebryany lecture02_find_scary_cpp_bugsComputer Science Club
 
20140531 serebryany lecture01_fantastic_cpp_bugs
20140531 serebryany lecture01_fantastic_cpp_bugs20140531 serebryany lecture01_fantastic_cpp_bugs
20140531 serebryany lecture01_fantastic_cpp_bugsComputer Science Club
 
20140511 parallel programming_kalishenko_lecture12
20140511 parallel programming_kalishenko_lecture1220140511 parallel programming_kalishenko_lecture12
20140511 parallel programming_kalishenko_lecture12Computer Science Club
 
20140427 parallel programming_zlobin_lecture11
20140427 parallel programming_zlobin_lecture1120140427 parallel programming_zlobin_lecture11
20140427 parallel programming_zlobin_lecture11Computer Science Club
 
20140420 parallel programming_kalishenko_lecture10
20140420 parallel programming_kalishenko_lecture1020140420 parallel programming_kalishenko_lecture10
20140420 parallel programming_kalishenko_lecture10Computer Science Club
 
20140413 parallel programming_kalishenko_lecture09
20140413 parallel programming_kalishenko_lecture0920140413 parallel programming_kalishenko_lecture09
20140413 parallel programming_kalishenko_lecture09Computer Science Club
 
20140329 graph drawing_dainiak_lecture02
20140329 graph drawing_dainiak_lecture0220140329 graph drawing_dainiak_lecture02
20140329 graph drawing_dainiak_lecture02Computer Science Club
 
20140329 graph drawing_dainiak_lecture01
20140329 graph drawing_dainiak_lecture0120140329 graph drawing_dainiak_lecture01
20140329 graph drawing_dainiak_lecture01Computer Science Club
 
20140310 parallel programming_kalishenko_lecture03-04
20140310 parallel programming_kalishenko_lecture03-0420140310 parallel programming_kalishenko_lecture03-04
20140310 parallel programming_kalishenko_lecture03-04Computer Science Club
 
20140216 parallel programming_kalishenko_lecture01
20140216 parallel programming_kalishenko_lecture0120140216 parallel programming_kalishenko_lecture01
20140216 parallel programming_kalishenko_lecture01Computer Science Club
 

More from Computer Science Club (20)

20141223 kuznetsov distributed
20141223 kuznetsov distributed20141223 kuznetsov distributed
20141223 kuznetsov distributed
 
Computer Vision
Computer VisionComputer Vision
Computer Vision
 
20140531 serebryany lecture01_fantastic_cpp_bugs
20140531 serebryany lecture01_fantastic_cpp_bugs20140531 serebryany lecture01_fantastic_cpp_bugs
20140531 serebryany lecture01_fantastic_cpp_bugs
 
20140531 serebryany lecture02_find_scary_cpp_bugs
20140531 serebryany lecture02_find_scary_cpp_bugs20140531 serebryany lecture02_find_scary_cpp_bugs
20140531 serebryany lecture02_find_scary_cpp_bugs
 
20140531 serebryany lecture01_fantastic_cpp_bugs
20140531 serebryany lecture01_fantastic_cpp_bugs20140531 serebryany lecture01_fantastic_cpp_bugs
20140531 serebryany lecture01_fantastic_cpp_bugs
 
20140511 parallel programming_kalishenko_lecture12
20140511 parallel programming_kalishenko_lecture1220140511 parallel programming_kalishenko_lecture12
20140511 parallel programming_kalishenko_lecture12
 
20140427 parallel programming_zlobin_lecture11
20140427 parallel programming_zlobin_lecture1120140427 parallel programming_zlobin_lecture11
20140427 parallel programming_zlobin_lecture11
 
20140420 parallel programming_kalishenko_lecture10
20140420 parallel programming_kalishenko_lecture1020140420 parallel programming_kalishenko_lecture10
20140420 parallel programming_kalishenko_lecture10
 
20140413 parallel programming_kalishenko_lecture09
20140413 parallel programming_kalishenko_lecture0920140413 parallel programming_kalishenko_lecture09
20140413 parallel programming_kalishenko_lecture09
 
20140329 graph drawing_dainiak_lecture02
20140329 graph drawing_dainiak_lecture0220140329 graph drawing_dainiak_lecture02
20140329 graph drawing_dainiak_lecture02
 
20140329 graph drawing_dainiak_lecture01
20140329 graph drawing_dainiak_lecture0120140329 graph drawing_dainiak_lecture01
20140329 graph drawing_dainiak_lecture01
 
20140310 parallel programming_kalishenko_lecture03-04
20140310 parallel programming_kalishenko_lecture03-0420140310 parallel programming_kalishenko_lecture03-04
20140310 parallel programming_kalishenko_lecture03-04
 
20140223-SuffixTrees-lecture01-03
20140223-SuffixTrees-lecture01-0320140223-SuffixTrees-lecture01-03
20140223-SuffixTrees-lecture01-03
 
20140216 parallel programming_kalishenko_lecture01
20140216 parallel programming_kalishenko_lecture0120140216 parallel programming_kalishenko_lecture01
20140216 parallel programming_kalishenko_lecture01
 
20131106 h10 lecture6_matiyasevich
20131106 h10 lecture6_matiyasevich20131106 h10 lecture6_matiyasevich
20131106 h10 lecture6_matiyasevich
 
20131027 h10 lecture5_matiyasevich
20131027 h10 lecture5_matiyasevich20131027 h10 lecture5_matiyasevich
20131027 h10 lecture5_matiyasevich
 
20131027 h10 lecture5_matiyasevich
20131027 h10 lecture5_matiyasevich20131027 h10 lecture5_matiyasevich
20131027 h10 lecture5_matiyasevich
 
20131013 h10 lecture4_matiyasevich
20131013 h10 lecture4_matiyasevich20131013 h10 lecture4_matiyasevich
20131013 h10 lecture4_matiyasevich
 
20131006 h10 lecture3_matiyasevich
20131006 h10 lecture3_matiyasevich20131006 h10 lecture3_matiyasevich
20131006 h10 lecture3_matiyasevich
 
20131006 h10 lecture3_matiyasevich
20131006 h10 lecture3_matiyasevich20131006 h10 lecture3_matiyasevich
20131006 h10 lecture3_matiyasevich
 

Ben Livshits Course Overview

  • 2. Ben Livshits Microsoft Research Redmond, Washington http://research.microsoft.com/~livshits/
  • 3. Microsoft Research Microsoft Research Redmond, WA Организация Microsoft Research 300-400 исследователей и ученых Исследования в computer science …с двумя основными целями: академическое влияние и публикации исследования, отражающиеся в продуктах Microsoft’ав следующие 5-10 лет
  • 4. Goals 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 4
  • 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