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.

Abstract

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
• Status: Published
• Refereed: Yes
• 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