PhD Stuff

I submitted my PhD in Sep 2001 and was awarded it in July 2002 from Glasgow University. This research focused on the development of a methodology for deriving parallel programs (theoretically in a variety of languages, but so far only in C+MPI). To do this we used functional languages, chiefly Haskell, and developed programs incrementally through a series of small(ish) steps. A very simple and brief description of the research area can be found here.

My supervisor was John O'Donnell, and more information about the research area can also be found on his page.

I also worked with Noel Winstanley and the programming group in Passau (Germany).

Some publications related to my PhD

• Joy Goodman, Incremental Program Transformation Using Abstract Parallel Machines, PhD Thesis, Department of Computing Science, University of Glasgow, June 2002.
• Joy Goodman, Introduction of Pipelining Optimisations into Gaussian Elimination, Proceedings of the 3rd Scottish Functional Programming Workshop, 2001.
• Joy Goodman and John O'Donnell, Introduction of Static Load Balancing in Incremental Parallel Programming, Seventh International Euro-Par Conference, Springer LNCS 2150, Aug 2001.
• Joy Goodman and John O'Donnell, Nondeterminism in the APM Methodology, Draft Proceedings of the 1st Scottish Functional Programming Workshop, 1999.
• Joy Goodman, A Methodology for the Derivation of Parallel Programs, Student's Workshop at the Third International Summer School on Advanced Functional Programming. Technical Report UMDITR03, Departamento de Informatica, Universidade do Minho, 1998.
• Joy Goodman, John O'Donnell and Gudula Rünger, Refinement Transformation Using Abstract Parallel Machines, Glasgow Functional Programming Group Workshop 1998, Computing Science Department, University of Glasgow (1998).