6.883 Program Analysis (MIT)
6.883 is a graduate seminar that investigates a variety of program analysis techniques that address software engineering tasks. Static analysis topics include abstract interpretation (dataflow), type systems, model checking, decision procedures (SAT, BDDs), theorem-proving. Dynamic analysis topics include testing, fault isolation (debugging), model inference, and visualization. While the course focuses on the design and implementation of programming tools, the material will be useful to anyone who wishes to improve his or her programming or understand the state of the art. Students are expected to read classic and current technical papers, actively participate in class discussion, perform small exercises that provide experience with a variety of tools, and complete a team research project.
- Source: Massachusetts Institute of Technology
- Language: English
- Author: Ernst, Michael
- Lisence Terms: Content within individual OCW courses is (c) by the individual authors unless otherwise noted. MIT OpenCourseWare materials are licensed by the Massachusetts Institute of Technology under a Creative Commons License (Attribution-NonCommercial-ShareAlike). For further information see http://ocw.mit.edu/terms/index.htm
- Tags: program analysis, static analysis, abstract interpretation (dataflow), type systems, model checking, decision procedures (SAT, BDDs), theorem-proving, dynamic analysis, testing, fault isolation (debugging), model inference, and visualization, decision procedures (SAT, BDDs),
- Course Publishing Date: Apr 25, 2006