Latest update March 18, 2008
To avoid spam, all mail addresses on this page have the "@" replaced by "#".
Latest news: there is a schedule for the course.
This is a Ph.D. level course on program analysis, which is given during April-May 2008. 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: note, however, that the link is from 2005, so prices may not be valid anymore).
Note: From Jan 1st, 2008, the department has merged with some other parts of MDH to form the new School of Innovation, Design, and Engineering (Innovation, Design och Teknik, IDT). Appropriate links will be provided when they exist.
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.
The course was previously given in 2005.
Check this page for updates! I will add information as soon as it becomes available.