14th Estonian Winter School in Computer Science (EWSCS)
XIV Eesti Arvutiteaduse Talvekool

Palmse, Estonia, March 1-6, 2009


Markus Müller-Olm

Institut für Informatik
Westfälische Wilhelms-Universität Münster

Program Analysis of Sequential and Parallel Programs


For various reasons, computer programs must be analyzed and processed after or during their construction. A particular challenge for automatic program analyses are aspects that induce an unbounded or even infinite state space. Examples include data aspects like unrestricted value domains as well as control aspects like call/return behavior of (potentially recursive) procedures or thread creation.

These lectures present techniques for constructing automatic program analyses and arguing about their soundness and optimality. It will cover fixpoint-based as well as automata-based approaches. Special emphasis will be given to techniques for analyzing infinity aspects of program behavior. In particular, I will consider analysis of parallel programs.

The literature on program analysis is vast such that it is impossible to give a representative or even complete reference list here. Below I cite only some of my own, more recent papers. These and further articles relevant to these lectures can be downloaded from my homepage. References to work of other authors can be found in these papers.

Course materials

Further reading

Valid CSS! Valid XHTML 1.0 Strict Last changed March 7, 2009 17:18 EET by local organizers, ewscs09(at)cs.ioc.ee
EWSCS'09 page: http://cs.ioc.ee/ewscs/2009/