Analysis of Multi-threaded Programs
Besides on theoretical investigations on the analysis of multi-threaded programs
as listed below, the Trier group has provided two prototypical analyzers:
Members of the DAEDALUS group in Trier:
Publications related to DAEDALUS:
- Polynomial Constants are Decidable.
Markus Müller-Olm
and Helmut Seidl.
9th Static Analysis Symposium (SAS),
LNCS 2477, 2002.
- Weakly Regular Relations and Applications.
Helmut Seidl,
Pierre Rety, Sebastien Limet
Rewriting Theory and Applications (RTA), LNCS 2051, 185-200, 2001.
- On Optimal Slicing of Parallel Programs.
Markus Müller-Olm
and Helmut Seidl.
ACM Symposium on Theory of Computing (STOC), 647-656, 2001.
- Synchronized Tree Languages Revisited and New Applications.
Helmut Seidl,
Pierre Rety
and Valérie Gouranton
Foundations of Software Science and Computation
Structures (FoSSaCS),
LNCS 2030, 214-229, 2001
- Constraint-Based Inter-Procedural Analysis of
Parallel Programs.
Helmut Seidl and
Bernhard
Steffen.
Nordic Journal of
Computing (NJC) 7 (4), 375-400, 2000
- Constraint-Based Inter-Procedural Analysis of
Parallel Programs.
Helmut Seidl and
Bernhard
Steffen.
9th European Symposium on Programming (ESOP),
LNCS 1782, 351-365, 2000.
Preprints related to DAEDALUS:
Helmut Seidl - DAEDALUS -
30-April-2002