==== Maximal Program Parallelization Within Trace Theory ====

We believe Trace Theory offers great potential for modelling concurrent and parallel computation. In order to assess its current development, we contribute to the [[http://tracetheory.elet.polimi.it|ESF Workshop on  Developments and New Tracks in Trace Theory]], Cremona, Italy, 9-11 October 2008.

Our work aims at finding new algorithms for program parallelization by exploiting theoretical properties of trace languages, a class of languages that suitably model the dependencies between code instructions.

In particular, for a subclass of "well structured" programs, we are able to efficiently decide whether a sequence of instructions is an admissible re-scheduling of a given execution.
We are now investigating how to extend this result to a wider class of programs.