Latest update Aug 7, 2005
To avoid spam, all mail addresses on this page have the "@" replaced by "#".
Latest news: I have decided to skip the fourth assigment of Chapter 5 (the "letregion" assignment), see the assignments page. That is, you don't have to do that assignment to get a pass on the course.
This is a Ph.D. level course on program analysis, which is given during April-May 2005. The basic existing techniques for program analysis are covered: data flow analysis, constraint-based analysis, abstract interpretation, and type systems, and to illustrate with some applications. The contents is covered by the course book. The course is based on selected parts of this book.
Course leader: Björn Lisper
Email: bjorn.lisper#mdh.se
Phone (MdH): 021-151709
Office: room U3-120, IDE (Rosenhill, U building, 3nd floor).
Prerequisites: Semantics of programming languages, besides proficiency in programming languages, algorithms, logic, and discrete math. Appendices A and C in the course book cover the most relevant math for the course: if you can digest this, then you should have no problems in that department. Some basic knowledge of logical inference systems is also essential: in particular, it will be helpful to have some knowledge of type inference systems, like the Hindley-Milner type system (used in languages such as ML and Haskell). Also, in order to use the PAG/WWW program analysis generator, knowledge of Haskell or ML is helpful.
Context: This course is given as a CUGS advanced course, but is also open to other students.
Location: the course is given at the Department of Computer Science and Electronics (IDE), which is located on the third floor in the "U" building at the MdH main campus in Västerås. Here is info how to find us. There is also some local information available (including possible accomodation).
There is a schedule for the course.
Course book: Nielson, Nielson, Hankin Principles of Program Analysis (Springer 1999, second corrected printing 2005, the web page for the book has a link for online purchase). Here are directions for reading.
Extra course material is found here.
Examination is done through a set of assignments. You are supposed to hand in in written solutions by email to these.
The mailing list for the course is pa#ide.mdh.se.
Check this page for updates! I will add information as soon as it becomes available.