Research banner

Welcome to

Rathlin

Project 'Rathlin' aims to conduct research on developing programmable embedded platforms for remote and compute-intensive image processing applications.

Greg Michaelson

Professor

Email G.Michaelson@hw.ac.uk greg
Website http://www.macs.hw.ac.uk/~greg/
Phone

0044 - (0) 131 451 3422

Contact

Professor of Computer Science

School of Mathematical & Computer Sciences

Heriot-Watt University,

Edinburgh, 

EH14 4AS

United Kingdom

Research intersts

My research is in the broad area of formally motivated computing, focused on programming language design and implementation, in particular functional languages for parallel, distributed and mobile systems. At Heriot-Watt, I work with colleagues in our Dependable Systems Group. With Kevin Hammond at St Andrews, I am co-designer of the Hume programming language. I am currently involved in collaborative projects implementing Hume on heterogeneous platforms, including multi-core & FPGA, and on developing the Box Calculus for reasoning about Hume programs. I am also interested in foundational limitations to computing and their wider philosophical and social implications, working with Paul Cockshott at Glasgow.

Biography

I have a BA (Hons) in Computer Science from the University of Essex (1973), a research MSc in Computational Science from the University of St Andrews (1982) and a PhD from Heriot-Watt University (1993). I taught Computer Studies at Napier College (1977-79) and Computing Science at the University of Glasgow (1979-83) before joining Computer Science at Heriot-Watt in 1983. In 1988-89 I spent a year at CSIRO in Sydney, working on language support for a novel parallel architecture.

Recent publications

  • J. Serot and G. Michaelson, `Harnessing parallelism in FPGAs using the Hume language’, Workshop on Functional High Performance Computing (FHPC2012), Copenhagen, September 2012.
  • T. Alsalkini and G. Michaelson, `Dynamic Farm Skeleton Task Allocation Through Task Mobility’, 18th International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'12), Las Vegas, July 16-19, 2012.
  • A. Alabdali, L. Georgieva and G. Michaelson, `Modelling of secure data transmission over a multichannel wireless network in Alloy’, 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom-2012) to be held in Liverpool, UK, 25-27 June 2012.
  • P. W. Trinder, M. I. Cole, K. Hammond, H-W. Loidl and G. J. Michaelson, `Resource analyses for parallel and distributed coordination’, Concurrency and Computation, Practice and Experience, 2012.
  • G. Michaelson and G. Grov, `Reasoning about multi-process systems with the box calculus’, in V. Zsok, Z. Horvath and R. Plasmeijer (Eds), Proceedings of 4th Central European Summer Functional Programming School (CEFP 2011), Springer, 2012, pp279-338.
  • W. Limprasert, A. Wallace and G. Michaelson, `Accelerated People Tracking using Texture in a Camera Network’, Proceedings of VISAPP 2012: International Conference on Computer Vision Theory and Applications, Rome, February 2012.
  • P. Cockshott, L. Mackenzie and G. Michaelson, `Computation and its Limits’, Oxford, 2012.
  • K. Armih, G. Michaelson and P. Trinder, `Cache size in a cost model for heterogeneous skeletons’, Proceedings of HLPP 2011 : 5th ACM SIGPLAN Workshop on High-Level Parallel Programming and Applications, Tokyo, September. 2011.
  • J. Serot and G. Michaelson, `Compiling Hume down to gates’, Draft Proceedings of 11th International Symposium on Trends in Functional Programming, Madrid, May, 2011.
  • G. Grov and G. Michaelson, `Hume Box Calculus: robust system development through software transformation', Higher Order and Symbolic Computation, Volume 23, Issue 2 (2011), Page 191-226, 2011.
  • K. Hammond and G. Michaelson, `The Peter Landin Prize’, Higher-Order and Symbolic Computation: Volume 22, Issue 4, pp305-312, 2010.
  • X. Y. Deng, P. Trinder and G. Michaelson,`Cost-Driven Autonomous Mobility', Computer Languages, Systems and Structures, 36(1) (April 2010) pp 34-51, 2010.
  • A. Al Zain, Greg Michaelson and Wim Vanderbauwhede, `mHume for parallel FPGA’, Draft proceedings of 22nd International Symposium on Implementation and Application of Functional Languages, Amsterdam, September, 2010.
  • M. Aswad, P. Trinder, A. Al Zain, G. Michaelson and J. Berthold, `Low Pain v No Pain Multi-core Haskell’, in Z. Horvath and V. Zsok (eds), Trends in Functional Programming 10, Intellect, 2010, p49-64.
  • P. Cockshott, L. Mackenzie and G. Michaelson, Non-classical computing: feasible versus infeasible, Proceedings of ACM-BCS Visions of Computer Science 2010, University of Edinburgh, April, 2010.
  • A. Al Zain, W. Vanderbauwhede and G. Michaelson, `Hume on FPGA’, Draft Proceedings of 10th International Symposium on Trends in Functional Programming, University of Oklahoma, May 2010.
  • M. Yang, `Action Semantics of Unified Modelling Language’, PhD, School of Mathematical and Computer Sciences, Heriot-Watt University, July, 2009.
  • G. Michaelson, G. Grov and A. Al Zain, Multi-core parallelisation of Hume through structured transformation, Draft Proceedings of 21st International Symposium on Implementation and Application of Functional Languages, Seton-Hall University, New Jersey, Sept 2009.
  • A. Al Zain, V. Gibson and G. Michaelson, `Towards Hume SIMD Paralellisation’, Proceedings of 17th European Signal Processing Conference, Glasgow, August, 2009.
  • G. Grov, G. Michaelson, H-W. Loidl, C. Herrmann, S. Jost and K. Hammond, `An application of Hume analysis to imperative programs’, in Z. Horvath and V. Zsok (eds), Proceedings of 10th Symposium on Trends in Functional Programming, Komarno, Slovakia, 2-4 June 2009, Eotvos Lorand University, pp27-42.
  • Al Zain, G. Michaelson and K. Hammond, `Multi-core Parallelisation for Hume’,in Z. Horvath and V. Zsok (eds), Draft Proceedings of 10th Symposium on Trends in Functional Programming, Komarno, Slovakia, 2-4 June 2009, Eotvos Lorand University, pp131-141.
  • S. Jost, H.-W. Loidl, N. Scaife, K. Hammond, G. Michaelson and M. Hofmann, Worst-Case Execution Time Analysis through Types, Proc. EuroMicro Conf. on Real-Time Systems (Work in Progress Session), Dublin, July 1-3 2009.
  • G. Grov, Reasoning About Correctness Properties of a Coordination Language, PhD, Heriot-Watt University, March 2009.
  • A. Cottrell, P. Cockshott and G. J. Michaelson, `Is economic planning hypercomputational? The argument from Cantor diagonalisation', International Journal of Unconventional Computing - Special Issue: Future Trends in Hypercomputation, Volume 5, Number 3-4, 2009, p223-236.
  • G. Grov, G. Michaelson, C. Herrmann, H-W. Loidl, S. Jost and K. Hammond, `Hume Cost Analyses for Imperative Programs’, International Conference on Software Engineering Theory and Practise, Orlando, Florida, July 2009.
  • A. Al Zain, P. Trinder, M. Aswad, G. Michaelson, K. Hammond and J. Berthold, `Low-Pain, High-Gain Multicore Programming in Haskell: Coordinating Irregular Symbolic Computations on MultiCore Architectures’, DAMP 2009: Workshop on Declarative Aspects of Multicore Programming, January 20, 2009, Savannah, Georgia, USA, ACM Press.
  • P.Cockshott, A. Cottrell, G. Michaelson, I. Wright and V. Yakovenko, `Classical Econophysics’, Routledge, 2009.
  • M. Yang, G. Michaelson and R. Pooley, `Semantics for a UML Action Langauge', Proceedings of XII Brazilian Symposium on Programming Languages, Brazilian Computer Society, pp129-142, August, 2008.
  • G. Grov, R. Pointon, G. Michaelson and A. Ireland, `Preserving Coordination Properties when Transforming Concurrent System Components’, in Coordination Models, Languages and Applications Track of the 23rd Annual ACM Symposium on Applied Computing, Vol. 1, pp 126-127, March, 2008.
  • G. Grov and G. Michaelson, `Towards a Box Calculus for Hume', in M. Morazan and H. Nilsson (Eds), Trends in Functional Programming 8, Intellect, pages 71-88, 2008.
  • A. D. Al Zain, P. W. Trinder, G. J. Michaelson and H-W. Loidl, `Evaluating a High Level Parallel Language (GpH) for Computational Grids', IEEE Transactions on Parallel and Distributed Systems, Vol. 19, No, 2, pp219-238, 2008.
  • P.Cockshott, L. Mackenzie and G. Michaelson, `Physical constraints on hypercomputation', Theoretical Computer Science (A), Vol. 394, No 3, April 2008, pp159–174.
  • K. Hammond, G. Grov, G. Michaelson, and Andrew Ireland, `Low-Level Programming in Hume: An Exploration of the HW-Hume Level' in Z. Horvath, V. Zsok, and A. Butterfield (Eds.), Proceedings of 18th International Workshop on Implementation of Functional Langauges (IFL 2006), LNCS 4449, pp. 91-107, Springer, 2007.
  • C. Liu and G. Michaelson, `HW-Hume in Isabelle, in O. Chitil (Ed), Draft Proceedings of 19th International Symposium on Implementation and Application of Functional Languages, Freiburg, Germany, 27th-29th Sept, 2007, Computing Laboratory, University of Kent, TR 12-07, p366-381.
  • G. Grov, G. Michaelson and A. Ireland, `Formal verification of concurrent scheduling strategies using TLA', 3rd Workshop and Scheduling and Resource Managment for Parallel and Distributed Systems, Taiwan, December 2007.
  • X. Y. Deng, P. Trinder and G. Michaelson, `Automatically Costed Autonomous Mobility’, IEEE/WIC/ACM International Conference on Intelligent Agent Technology 2007 (IAT '07), November 2007.
  • X. Y. Deng, `Cost Driven Autonomous Mobility’, PhD, June 2007.
  • K. Hammond, D. Pectu, P. Trinder, A. Al Zain, S. Linton and G. Michaelson, `The SCIence Joint Research Activity: Symbolic Computation on the Grid', in M. Morazan and H. Nilsson (Eds), draft proceedings 8th Symposium on Trends in Functional Programming, TR-SHU-CS-2007-04-1, Seton Hall University, 2nd-4th April 2007.
  • A. D. Al Zain, P. W. Trinder, G. J. Michaelson and H-W. Loidl, `Evaluating a High Level Parallel Language (GpH) for Computational Grids', IEEE Transactions on Parallel and Distributed Systems, pages 219-233, 2008.
  • A. Bonenfant, Z. Chen, K. Hammond, G. Michaelson, A. Wallace and I. Wallace, `Towards resource-certified image processing software', 22nd ACM Symposium on Applied Computing, Seoul, Korea, March 2007.
  • P. Cockshott and G. Michaelson, `Are there new models of computation: a reply to Wegner and Eberbach', Computer Journal, Vol 50, No 2, pp232-247, 2007.
  • K. Hammond, R. Dyckhoff, C. Ferdinand, R. Heckmann, M. Hofmann, H-W. Loidl, G. Michaelson, J. Serot and A. Wallace, `The EmBounded Project', in M van Eekling(Ed), Trends in Functional Programming 6, Intellect.
  • G. Michaelson and P. Cockshott, `Constraints on Hypercomputation', in A. Beckmann et al (Eds), Logical Approaches to Computational Barriers: Proceedings of Computability in Europe 2006, Swansea, Springer, LNCS 3988, pp378-387, July 2006.
  • X. Y. Deng, P. Trinder and G. Michaelson, `Autonomous Mobile Programs', IEEE/WIC/ACM International Conference on Intelligent Agent Technology 2006 (IAT '06), pp.177-186, Dec. 2006.
  • K. Hammond, C. Ferdinand, R. Heckmann, R. Dyckhoff, M. Hofman, S. Jost, H-W. Loidl, G. Michaelson, R. Pointon, N. Scaife, J. Serot and A. Wallace, `Towards Formally Verifiable WCET Analysis for a Functional Programming Language', in F. Mueller (Ed), Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time Analysis (WCET'06), Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006.
  • A. Al Zain, P. W. Trinder, H-W. Loidl and G. Michaelson, `Managing Heterogeneity in a Grid Parallel Haskell', Scaleable Computing: Practice and Experience, Vol 7, No 3, pp9-26, September.
  • N.Scaife, G. Michaelson and S. Horiguchi, `Empirical Parallel Performance Prediction from Semantics-Based Profiling', Scaleable Computing: Practice and Experience, Vol 7, No 3, pp1-8, September 2006.
  • X. Deng, G. Michaelson and P. Trinder, `Autonomous Mobility Skeletons', Parallel Computing, Vol. 32, Issue 7-8, pp463-478, September 2006.
  • A Al-Zain, `Implementing High Level Parallelism on Computational Grids', with Skeletons', PhD, School of Matematical & Computer Sciences, Heriot-Watt University, May 2006.
  • N. Scaife, G. Michaelson and S. Horiguchi, `Parallel Standard ML with Skeletons', Scaleable Computing Practise and Experience, Vol 6, No 4, 2006.
  • G. Michaelson, R. Pointon, G. Grov and A. Ireland `Recursion, Iteration and Hume Scheduling', in H. Nilsson and M van Eekling (Eds), Draft Proceedings of 7th Symposium on Trends in Functional Programming, University of Nottingham, April 2006, pp 403-416.
  • K. Hammond, G. Michaelson and M. Sun, `Programming Reactive Systems in Hume', in H. Nilsson and M van Eekling (Eds), Draft Proceedings of 7th Symposium on Trends in Functional Programming, University of Nottingham, April 2006, pp 417-426.
  • K. Hammond, G. Michaelson and G. Grov, `Towards Hardware/Software Codesign: Exploring the HW-Hume Level', in Z. Horvath and V. Zsok (Eds), Draft proceedings 18th International Symposium on Implementation and Application of Functional Programs', Budapest, Hungary, Sept 2006, pp99-114.
  • A. Cook, A. Ireland and G. Michaelson, `Discovering Applications of Higher Order Functions Through Proof Planning', Formal Aspects of Computing, Vol 17, No 1, pp38-57, May 2005.
  • N. Scaife, S. Horiguchi, G. Michaelson and P. Bristow, `A Parallel SML compiler based on algorithmic skeletons', Journal of Functional Programming, Vol 15, No 4, pp615-650, July 2005.
  • P. Cockshott and G. Michaelson, `Orthogonal Parallel Processing in Vector Pascal', Journal of Computer Languages, Systems and Structures, Vol 32, Issue 1, pp2-41, 2005.
  • M. Pohl and G. Michaelson, `"I know that's not the topic we're on but it's all linked isn't it?": Gender and Interaction in Email List Cooperation', J. Archibald, J. Emms, F. Grundy, E. Turner (Eds), The Gender Politics of ICT, Proceedings of 6th International Conference on Women into Computing, London, Middlesex University Press, pp179-190, July 2005 WfW.
  • N.Scaife, G. Michaelson and S. Horiguchi, `Empirical Parallel Performance Prediction from Semantics-Based Profiling', 2nd International Workshop on Practical Aspects of High-Level Parallel Programming, in Proceedings of 5th International Conference on Computational Science (Part 2), Atlanta, Springer, LNCS 3515, pp781-789, May 2005.
  • A. Al Zain, P. W. Trinder, H-W. Loidl and G. Michaelson, `Managing Heterogeneity in a Grid Parallel Haskell', 2nd International Workshop on Practical Aspects of High-Level Parallel Programming, in Proceedings of 5th International Conference on Computational Science (Part 2), Atlanta, Springer, LNCS 3515, pp746-754, May 2005.
  • K. Hammond, R. Dyckhoff, C. Ferdinand, R. Heckmann, M. Hofmann, H-W. Loidl, G. Michaelson, J. Serot and A. Wallace, `The EmBounded Project', in M van Eekling and K. Hammond (Eds), Draft Proceedings of 6th Symposium on Trends in Functional programming, Institute of Cybernetics, Tallinn, Estonia, Sept 2005,pp220-235.
  • C. Liu and G. Michaelson, `Towards a Hume IDE', in M van Eekling and K. Hammond (Eds), Draft Proceedings of 6th Symposium on Trends in Functional programming, Institute of Cybernetics, Tallinn, Estonia, Sept 2005,pp355-369.
  • G. Michaelson, K. Hammond and J. Serot, `FSM-Hume: Programming Resource-Limited Systems using Bounded Automata', Proceedings of ACM Symposium on Applied Computing, Nicosia, Cyprus, March 2004, ACM Press, pp1455-1461.
  • G. Michaelson, K. Hammond and J. Serot, `FSM-Hume is Finite State', in S. Gilmore (Ed), Trends in Functional Programming 4, Intellect, 2004, pp 19-28.
  • K. Hammond and G. Michaelson, `The Design of Hume, a High-Level Language for the Real-Time Embedded System Domain', C. Lengaur (Ed), Domain Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-38 2003, Revised Papers, Springer, LNCS 3016, 2004, pp127-142.
  • G. Grov, A. Ireland and G. Michaelson, `Model Checking HW-Hume', in H-W. Loidl (Ed), Draft Proceedings of 5th Symposium on Trends in Functional Programming, Ludwig-Maximillian's Universitat, Munich, Germany, November 2004, pp33-48.
  • X. Deng, P. Trinder and G. Michaelson, `Towards High Level Autonomous Mobility', in H-W. Loidl (Ed), Draft Proceedings of 5th Symposium on Trends in Functional Programming, Ludwig-Maximillian's Universitat, Munich, Germany, November 2004, pp97-112.
  • C. Liu and G. Michaelson, `Translating Hume to Java' in H-W. Loidl (Ed), Draft Proceedings of 5th Symposium on Trends in Functional Programming, Ludwig-Maximillian's Universitat, Munich, Germany, November 2004, pp113-128.
  • A. Al Zain, G. Michaelson, H-W. Loidl and P. Trinder, `Improving load Balance in a Grid-Enabled Parallel Haskell', in H-W. Loidl (Ed), Draft Proceedings of 5th Symposium on Trends in Functional Programming, Ludwig-Maximillian's Universitat, Munich, Germany, November 2004, pp329-344.
  • H-W. Loidl, F. Rubio, N. Scaife, K. Hammond, S. Horiguchi, U. Klusik, R. Loogen, G. Michaelson, R, Pena, A. Rebon Portillo, S. Priebe and P. Trinder, `Comparing Parallel Functional Languages: Programming and Performance', Higher Order and Symbolic Computation, Vol. 16, No. 3, pp203-251, Sept 2003.
  • K.Hammond and G.Michaelson, `Hume: a Domain-Specific Language for Real-Time Embedded Systems', Proceedings of Conference on Generative Programming and Component Engineering (GPCE03), Springer, LNCS 2830, pp37-56, 2003.
  • K. Hammond and G. Michaelson, `Predictable space behaviour in FSM-Hume', Proceedings of 14th Workshop on Implementation of Functional Languages, Madrid, Sept 2002, Springer.
  • K.Hammond and G. Michaelson , `The Hume Report Version 0.2', Heriot-Watt University/University of St Andrews, March 2003.
  • G. Michaelson and K.Hammond, `The Hume Manual Version 0.1', Heriot-Watt University/University of St Andrews, March 2003.
  • A. Al Zain, P. Trinder, G. Michaelson and H-W. Loidl, `Evaluation of Communication Libraries for a Parallel Functional Language Implementation', in S. Gilmore (Ed), Draft Proceedings of 4th Symposium on Trends in Functional Programming, University of Edinburgh, September 2003.
  • H-W Loidl, N. Scaife, S, Horiguchi, G. Michaelson and P. Trinder, `Implementation Designs for Parallel Functional Languages', in P. Trinder and G. Michaelson (Eds), Draft proceedings of 15th International Workshop on the Implementation of Functional Languages, Edinburgh, September 2003, pp 177-192.
  • A. Al Zain, P. Trinder, H-W. Loidl and G. Michaelson, `Grid-GUM: Towards Grid-Enabled Haskell', in C. Grelck and F. Huch (Eds),Draft Proceeedings of 16th International Workshop on Implementation and Application of Functional Languages, Lubeck, September 2003 Technischer Bericht 0408, Institut fur Informatik und Praktische Mathematik, Christian-Albrechts-Universitat zu Kiel, pp223-238.