schedule

Tentative Schedule

Week 1 (1/9)
- IntroductionSlides
- Program RepresentationSlides
  - Reading: Book Chapters
Week 2 (1/16)
- Dynamic Program Analysis Primitives - TracingSlides
  - Reading:Valgrind:a framework for heavyweight dynamic binary instrumentation
- Student Presentation (Weihang Wang):
Week 3 (1/23)
- ProfilingSlides
  - Reading:Efficient Path Profiling
- Student Presentation (Priyam Biswas):
Week 4 (1/30)
- Dynamic SlicingSlides
- Student Presentation (Charitha Saumya)
Week 5 (2/6)
- Implementing information flow system on Valgrind Slides
- Building a LLVM tool by David Perry on 2/9Slides
- Student Presentation (Abdulellah Abdulaziz M Alsaheel)
Week 6 (2/13)
- Program semantics and formalizing dynamic analysis Slides
- Static program analysisSlides
- Student Presentation (Hongjun Choi)
Week 7 (2/20)
- Static program analysis
- Suggested Reading: Dragon book 9.1-9.3.3
- Student Presentation (Yingqi Liu)
Week 8 (2/27)
- Alias analysis
- Student Presentation (Chris Doak)
Week 9 (3/6, midterm on 3/9)
- Data flow analysis framework
- Midterm
Week 10 (3/13, spring break, no class)
Week 11 (3/20)
- Symbolic analysisSlides
- Propositional LogicSlides
  - Reading: Chapter one of Logic in Computer Science.
Week 12 (3/27)
- SAT solvingSlides
- Student Presentation (Habiba Farrukh)
Week 13 (4/3)
- SMT solvingSlides
- Student Presentation (Sudharshan Viswanathan)
Week 14 (4/10, instructor travels on 4/13)
- Software model checkingSlides
  - Reading:CBMC.
  - Reading:Model Checking Programs
  - Reading:Predicate Abstraction
- Student Presentation (Yuseok Jeon)
Week 15 (4/17)
- Software model checking
- Student Presentation (Sneha Balasubramanian)
Week 16 (4/24)
- Review
- Project Demo

schedule.txt · Last modified: 2017/04/10 23:26 by xyzhang