In this project we want to monitor and analyse the execution of parallel programs at runtime, in a predictable and reproducible way, in order to find race conditions and other dependencies between processes, and analyse properties of the system as a whole. The key feature of our approach is to use an instruction-level simulator, which gives a number of interesting advantages.
SAAPP is a collaboration between Uppsala University and Virtutech AB
, sponsored by ASTEC
, a Swedish national competence centre in the area of software technology.
We also collaborate with Lars Albertson
at SICS
, the Swedish Institute of Computer Science, and with the UART group at our department.
[a list of references will appear here]