Tentative Schedule
- Week 1 (1/7)
- IntroductionSlides
- Program RepresentationSlides
- Reading: Book Chapters
- Week 2 (1/14)
- Dynamic Program Analysis Primitives - TracingSlides
- Suggested Reading:Whole Execution Trace (Section 4 only)
- Student Presentation (Ryan Miller):
- Week 3 (1/21)
- ProfilingSlides
- Reading:Efficient Path Profiling
- Student Presentation (Azfar Khandoker):
- Week 4 (1/28)
- Dynamic SlicingSlides
- Student Presentation (Yonghwi Kwon)
- Week 5 (2/4, instructor travels from 2/2-2/8)
- Week 6 (2/11)
- Week 7 (2/18)
- Static program analysis
- Student Presentation (Hou-Jen Ko)
- Week 8 (2/25)
- Propositional LogicSlides
- Reading: Chapter one of Logic in Computer Science.
- Student Presentation (Brendan Saltaformaggio)
- Week 9 (3/4, midterm on 3/7)
- Propositional Logic
- Midterm
- Week 10 (3/11, spring break, no class)
- Week 11 (3/18)
- SAT solvingSlides
- Model Checking C ProgramsSlides
- Reading:CBMC.
- Suggested Reading:SMT solver
- Student Presentation (Jeff Avery)
- Week 12 (3/25)
- Model Checking Java ProgramsSlides
- Student Presentation (Chung Hwan Kim)
- Week 13 (4/1)
- JPF-Predicate AbstractionSlides
- Reading:Predicate Abstraction
- Suggested Reading:Lazy Abstraction
- JPF-Predicate Abstraction
- Student Presentation (Chunmeng Zhou)
- Week 14 (4/8)
-
- Reading: Concolic Testing
- Student Presentation (John S. Lima)
-
- Week 15 (4/15)
- Testing-II (testing concurrent programs)Slides
- Student Presentation (Rodrigo Haragutchi)
- Week 16 (4/22)
- Review
- Project Demo