Hume on FPGA

Al Zain, A., Vanderbauwhede, W. and Michaelson, G. (2010) Hume on FPGA. In: 10th International Symposium on Trends in Functional Programming (TFP10), University of Oklahoma, OK, USA, 17-19 May 2010, pp. 151-164.

Full text not currently available from Enlighten.


Hume is a novel language in the functional tradition, strongly oriented to systems requiring strong guarantees that resource bounds are met. To facilitate resource assurance, Hume enforces a separation of co- ordination and computation concerns, and deploys an abstract machine intermediary between implementations and analyses. These core design decisions also enable a high degree of portability across architectures and suit Hume well to multi-processor implementations. This papers considers how Hume may be implemented on FPGAs via concurrent ab- stract machines. Initial results from experimental implementations are discussed and the design of a novel FPGA architecture tailored to Hume coordination is presented.

Item Type:Conference Proceedings
Glasgow Author(s) Enlighten ID:Vanderbauwhede, Professor Wim
Authors: Al Zain, A., Vanderbauwhede, W., and Michaelson, G.
College/School:College of Science and Engineering > School of Computing Science

University Staff: Request a correction | Enlighten Editors: Update this record