Course»Course 6»Fall 2011»6.820»Homepage

6.820  Foundations of Program Analysis

Fall 2011

home page image

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

As mentioned yesterday in class, Thursday and Friday I will have office hours for anyone who is interested in discussing their grades, or who has questions about any asssignment.

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

You can find the latest homework on the stellar website:

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

You can find the latest homework on the stellar website:

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.

As I mentioned last week, I am going to have another recitation session for people to ask questions about the homework and class material. I am holding it in my office (32G-840) from 3 to 4PM today.

Armando.

Announced on 27 October 2011  12:13  p.m. by Armando Solar Lezama

Clarification on collaboration policy for ProblemSet 3

As always, everyone is expected to do their own work. You may discuss the problems with other people, but everyone must turn in their own original work. If you do discuss problems with others, please include their names in your writeup.

Armando.

Announced on 25 October 2011  2:55  p.m. by Armando Solar Lezama

View archived announcements