Publications of Yasushi Hayashi

Yasushi Hayashi and Murray Cole, BSP-based Cost Analysis of Skeletal Programs.
Trends in Functional Programming (selected papers from 1st Scottish Functional Programming Workshop), pages 20-28, Intellect, 2000.

Yasushi Hayashi, Shape-based Cost Analysis of Skeletal Parallel Programs.
PhD thesis, University of Edinburgh, 2001.

Yasushi Hayashi and Murray Cole, Static Performance Prediction of Skeletal Programs.
to appear in Journal of Parallel Algorithms and Applications, 2002.

Yasushi Hayashi and Murray Cole, Automated Cost Analysis of a Parallel Maximum Segment Sum Program Derivation.
to appear in Parallel Processing Letters, 2002.