Here are papers and technical reports from the TStreams project, which I worked on with Kath Knobe and Alex Nelson at the Hewlett-Packard Cambridge Research Lab.
The ultimate goal of this project, toward which we had made significant progress, was to automatically discover opportunities for parallel execution of an ordinary serial program, represent that program in an architecture-independent form that supports analysis of that parallelism, and finally provide ways of producing actual parallel code from that internal form which could be tailored to various machine architectures.