6.820 Class Home

6.820 Foundations of Program Analysis

Fall 2015

home page image

Foundations of Program Analysis

Instructor: asolar@csail.mit.edu

TA: Yewen Pu

Lecture: M W 1:00-2:30pm (4-231)
Optional Recitation: F 1:00-2:00pm (34-303 )

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.

Announcements

PS5 Grades Up again

The corrected PS5 grades are now up. Most grades did not change significantly, but a few of them did, so please double check them.

Thanks and sorry for the error.
Armando.

Announced on 29 December 2015 1:23 p.m. by Armando Solar Lezama

PS5 grade bug

A student just pointed out an error in the grades that was a result of a bug in the script that tallied the results (the script was not counting the C cases correctly). I am updating the grades after running with the new script and they should be back online in a couple of minutes.

Sorry for the mistake!
Armando.

Announced on 29 December 2015 1:04 p.m. by Armando Solar Lezama

Pset 5 have been posted

PSet 5 grades have now been posted. Took a lot longer than expected because I had to redo all of the testing infrastructure for the new version of the assignment, but they are up now. PSet 6 should be up soon.

Announced on 29 December 2015 12:18 p.m. by Armando Solar Lezama

PSet 4 Grades Posted

I just posted pset 4 grades. If you have any questions about your grade please send me e-mail.
Just 2 more psets to grade!

Announced on 19 December 2015 11:27 a.m. by Armando Solar Lezama

PSet 6 posted

Should be easier than previous ones, but the deadline is also shorter.

Announced on 02 December 2015 12:26 p.m. by Armando Solar Lezama

View archived announcements