schedule_2008fall · CS 590 Program Analysis For Deep Learning

Week 1 (8/25)
- Introduction Slides
- Program Representation Slides
  - Reading: Book Chapters
- Dynamic Program Analysis Primitives - TracingSlides
  - Reading:Valgrind:a framework for heavyweight dynamic binary instrumentation
  - Suggested Reading:Whole Execution Trace (Section 4 only)

Week 2 (9/1)
- ProfilingSlides
  - Reading:Efficient Path Profiling
Week 3 (9/8)
- Logging and ReplaySlides
  - Reading:Jockey:A Userspace Library for Recordreplay Debugging
  - Suggested Reading:Flashback
- Student PresentationExperience with Mirth: An Open Source Health Care Integration Engine by Al-Ansari, Salman R.
- Dynamic SlicingSlides
Week 4 (9/15)
- Dynamic Slicing
- Execution IndexingSlides
  - Reading:Efficient Program Execution Indexing
- Student PresentationTODO or To Bug: Exploring How Task Annotations Play a Role in the Work Practices of Software Developers by Mussabek
- Delta Debugging
Week 5 (9/22)
- Delta DebuggingSlides
  - Reading:Simplifying and Isolating Failure-Inducing Input
- Student PresentationA Tale of Four Kernels by Tao
- Dynamic Analysis ApplicationsSlides
Week 6 (9/29)
- Propositional LogicSlides
  - Reading: Chapter one of Logic in Computer Science.
- Logic
- Student PresentationPrecise memory leak detection for java software using container profiling by William
- CNF
Week 7 (10/6)
- SAT solving
- Student PresentationjPredictor by Brandon
- Model Checking C ProgramsSlides 1 Slides 2 Slides 3
  - Reading:CBMC.

Week 8 (10/13)
- Student PresentationStatic Detection of Cross-Site Scripting Vulnerabilities by Jayaram
- Model Checking Java ProgramsSlides
- Reading:Model Checking Programs
Week 9 (10/20)
- JPF-Predicate AbstractionSlides
  - Suggested Reading:Lazy Abstraction
- Student PresentationIncremental state-space exploration for programs with dynamically allocated data by Salman Pervez
- JPF-Partial Order ReductionSlides
- Midterm
- Static Program Analysis
Week 10 (10/27)
- Static Program AnalysisSlides
  - Reading: Dragon book 9.2 (9.3 and 9.4 are suggested).
- Student PresentationUsing Components for Architecture-Based Management: The Self-Repair Case by Anurag
Week 11 (11/3)
- Logic based Program Analysis (Datalog)Slides
  - Reading: Dragon book 12.3 and 12.4
- Student Presentation Unknown by Mike
- BDD (Datalog)Slides-2
- DatalogSlides-3 Slides-4
Week 12 (11/10)
- Software VerificationSlides
  - Reading: Logic in Computer Science 4.1-4.3
- No Student Presentation
Week 13 (11/17)
- Software VerificationSlides
- Student Presentation (11/21) Unknown by Chao
- Software ProcessSlides

Week 14 (11/24)
- Software Process-Unified ProcessSlides
- Student Presentation (11/24) Unknown by Tulika
Week 15 (12/1)
- Extreme ProgrammingSlides
- Student Presentations (12/3) Unknown by Emil Unknown by Yunhui
- Software TestingSlides
- Final Project Presentations (12/5)
  - Bao, Tao
Week 16 (12/8)
- Presentations(12/8)
  - Al-Ansari, Salman R.
  - Baimukhambetov, Mussabek
  - Culhane, William J.
  - Hill, Brandon G.
- Presentations(12/10)
  - Kallapalayam Radhakrishnan, Jayaram
  - Pervez, Salman
  - Singh, Anurag
  - Sorensen, Michael E.
- Presentations(12/12)
  - Xu, Chao
  - Srivastava, Tulika
  - Stefanov, Emil P.
  - Zheng, Yunhui
- Review

schedule_2008fall.txt · Last modified: 2019/08/16 21:33 (external edit)