6.820 Foundations of Program Analysis
Fall 2011
Instructor: Armando Solar Lezama
Lecture: TR1-2.30 (36-372)
Information:
The last ten years have seen program analysis technology move
from the periphery and into the mainstream of software development.
Modern program analysis tools are routinely used to find hidden
bugs in device drivers and major applications, and even to prove
the absence of large classes of bugs in avionics software. Behind
these exciting developments lies almost half a century of research
in programming languages and automated reasoning.
This course will offer a comprehensive introduction to the field of
program analysis. The course will cover some of the major forms of
program analysis including Type Checking, Abstract Interpretation
and Model Checking. For each of these, the course will cover the
underlying theories as well as modern techniques and
applications.
To learn more see the
course syllabus or this
brief introduction to the course.
Course secretary: Sally Lee (sally at csail)
Announcements
End of Semester Office Hours
You should be able to sign up for an individual slot by clicking on any of these links:
For thursday:
https://www.google.com/calendar/selfsched?sstoken=UUJFSE9jeE15TEhifGRlZmF1bHR8Y2FmOTYzYmI4NDEyN2E1ZWE1NDNjOTRmYjAzNWQ3ODk
For friday:
https://www.google.com/calendar/selfsched?sstoken=UUJFSE9jeE15TEhifGRlZmF1bHR8Y2FmOTYzYmI4NDEyN2E1ZWE1NDNjOTRmYjAzNWQ3ODk
I will be releasing grades for the outstanding assignments later today.
Also, as mentioned in class a few times before, I am allowing people to submit their last assignments until Friday. In fairness to those who submit by the original deadline, you can have 5/100 points of extra credit on each assignment if you submit by today at 5pm.
Announced on 14 December 2011 11:03 a.m. by Armando Solar Lezama
Homework 5 released
https://stellar.mit.edu/S/course/6/fa11/6.820/homework/assignment4/
The collaboration policy is the same as for the last homework. As usual, if you have questions, don't hesitate to ask.
Enjoy!
Armando.
Announced on 24 November 2011 3:21 a.m. by Armando Solar Lezama
Homework 4 Released
https://stellar.mit.edu/S/course/6/fa11/6.820/homework/assignment4/
The collaboration policy is the same as for the last homework. As usual, if you have questions, don't hesitate to ask.
Enjoy!
Armando.
Announced on 03 November 2011 4:14 a.m. by Armando Solar Lezama
Office hours and homework Q&A at 3PM today.
Armando.
Announced on 27 October 2011 12:13 p.m. by Armando Solar Lezama
Clarification on collaboration policy for ProblemSet 3
Armando.
Announced on 25 October 2011 2:55 p.m. by Armando Solar Lezama