Program Analysis: COM S 413/513 and CPR E 513 @ Iowa State University

Instructor

Wei Le ([email protected]), Associate Professor, Iowa State University

Office hours: 12:15-1:15pm Tue/Thur, Atanasoff 210

Tentative Schedule and Topics

1. finding bugs (control flow analysis, dataflow analysis, abstract interpretation)

2. automatic test input generation (symbolic execution, fuzzing)

3. debugging (dependency analysis, slicing, delta-debugging)

4. program repair and synthesis

5. analyzing software changes and versions (patch verification and testing, differential testing, version compatibility)

6. specification and inference (dynamic analysis, invariants, typestate)

7. AI for program analysis tasks (representation learning and downstream tasks)

8. analyzing and testing AI code and models

Acknowledgment

This course is developed under the support of the National Science Foundation (NSF) under Award 1542117 and Award 1816352