Publications
Hume
Towards Formally Verifiable Resource Bounds for Real-Time Embedded Systems Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hoffmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert Pointon, Norman Scaife, Jocelyn Sérot, and Andy Wallace. ACM SIGBED Review - Special issues on Workshop on Innovative Techniques for Certification of Embedded Systems 2006 (ITCES06) 3 (4), October 2006, pp. 27-36.
Towards Formally Verifiable WCET Analysis for a Functional Programming Language Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofman, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert Pointon, Norman Scaife, Jocelyn Sérot, and Andy Wallace. 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Frank Mueller (ed.) : Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, Dagstuhl, Germany, 2006.
Compiling vs Costing - Experiences With Hume Robert F. Pointon, Implementation of Functional Languages (IFL'06), Budapest Hungry, September 2006.
Recursion, Iteration and Hume Scheduling Greg Michaelson, Robert Pointon, Trends in Functional Programming (TFP'06), Nottingham UK, April 2006.
Rate analysis and deadlock detection for Hume Robert F. Pointon, Trends in Functional Programming (TFP'03), Edinburgh Scotland, September 2003.
Draft proceedings Note to self - rate analysis algorithm has flaw in temporal assumptions
The Hume Report Kevin Hammond, Greg Michaelson, Robert Pointon
Version 1.1, or as a Lulu Book/Download
The Hume Manual Greg Michaelson, Kevin Hammond, Robert Pointon
GdH
A Declarative Parallel Bottom-Avoiding Choice André Rauber Du Bois, Robert Pointon, Hans-Wolfgang Loidl, Phil Trinder, Symposium on Computer Architecture and High Performance Computing, Vitoria (SBAC-PAD'02), Brazil, October 28-30, 2002.
Parallel and Distributed Haskells P. W. Trinder, H. W. Loidl, and R.F. Pointon. Journal of Functional Programming, 12(4&5):469-510, July 2002.
Functional vs Object-Oriented Distributed Languages R.F. Pointon, S. Priebe, H-W. Loidl, R. Loogen, and P.W. Trinder, Eurocast'01, Las Palmas, February 2001.
Review of GdH: March 2000 - October 2000 R.F. Pointon, 2nd Internal report, October 2000.
The Design and Implementation of Glasgow Distributed Haskell R.F. Pointon, P.W. Trinder, and H-W. Loidl, Implementation of Functional Languages (IFL'00), Aachen, Germany, September 2000.
Draft proceedings (submitting to final)
Runtime System Level Fault Tolerance for a Distributed Functional Language H-W. Loidl, P.W. Trinder, and R.F. Pointon, Scottish Functional Programming Workshop (SFP'00), St Andrews, Scotland, July 2000.
Draft proceedings (submitted to final)
The Design and Implementation of GdH R.F. Pointon, P.W. Trinder, and H-W. Loidl, Scottish Functional Programming Workshop (SFP'00), St Andrews, Scotland, July 2000.
Review of GdH: August 1999 - February 2000 R.F. Pointon, 1st Internal report, February 2000.
Hope+C
Concurrent Massey Hope+C Robert F. Pointon, Scottish Functional Programming Workshop (SFP'99), Stirling, Scotland, August 1999.
The Concurrent Massey Hope+C Functional Language System Peter Burgess, Nigel Perry, and Robert Pointon, Technical Report, I2ST, Massey University, New Zealand, 1999.
Dynamic Memory Management in Hope+C Robert F. Pointon, Proc of 3rd Massey Functional Programming Workshop (MFPW'96), Massey, New Zealand, February 1996.
Bioinfomatics
Letter to the Editor: RNA Folding Argues Against a Hot-Start Origin of Life Vincent Moulton, Paul P. Gardner, Robert F. Pointon, Lawerance K. Creamer, Geoffrey B. Jameson, and David Penny, Journal of Molecular Evolution, June 2000.
Metrics on RNA Secondary Structures Vincent Moulton, Mickael Zuker, Michael Steel, Robert Pointon, and David Penny, Journal of Computational Biology, Vol 7, Numbers 1/2, Pages 277-292, 2000.
Others
A POSIX thread implemention for MacOS Nigel Perry and Robert Pointon, Apple University Consortium(AUC'98), Melbourne, Australia, Septemer 1998.
Memory and the Subsumption Architecture R.F. Pointon, Honours Report, Computer Science Dept, Massey University, New Zealand, November 1994.
Progress in developing a technique for field-based UV-B enrichment B.D. Campbell, R.F. Robert and C.L. Hunt, AgResearch Internal Report, Palmerston North, New Zealand, May 1994.
