2021
G. Michaelson (editor), 'Mathematical Reasoning: The History and Impact of the DReaM Group', Springer here
2020
G. Michaelson, 'Programming Paradigms, Turing Completeness and Computational Thinking',The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 3, Article 4 arXiv
2019
E. Belikov, H-W. Loidl, and G. Michaelson, 'Colocation of Potential Parallelism in a Distributed Adaptive Run-Time System for Parallel Haskell', in M. Palka and M. Myreen (Eds.) 19th International Symposium, TFP 2018 Gothenburg, Sweden, June 11-13, 2018 Revised Selected Papers, Trends in Functional Programming, LNCS 11457, Springer, pp. 1-19, May, 2019.
E. Belikov, 'Adaptive Architecture-Transparent Policy Control In A Distributed Graph Reducer', PhD,Heriot-Watt University, 2019. PDF
2018
K. R. Duncan, R. Stewart, and G. Michaelson, Parallel Mean Shift Accuracy and Performance Trade-Offs', In 2018 25th IEEE International Conference on Image Processing (ICIP) (pp. 2197-2201). IEEE. October 2018. PDF
G. Michaelson, 'Microworlds, Objects First, Programming and Computational Thinking', in M. S. Khine (ed), Computational Thinking in the STEM Disciplines: Foundations and Research Highlights, Springer, August, 2018, pp31-48. PDF
J. Davidson and G. Michaelson, `Expressiveness, meanings and machines', Computability, Vol. 7, No. 4, pp367-394, 2018. PDF
R. Stewart, K. Duncan, G. Michaelson, P. Garcia, D. Bhowmik and A. Wallace, `RIPL: A Parallel Image Processing Language for FPGAs', ACM Transactions on Reconfigurable Technology and Systems (TRETS) TRETS, Volume 11 Issue 1, March 2018, Article No. 7 PDF
2017
T. Alsalkini, `A self-mobile skeleton in the presence of external loads', PhD, Heriot-Watt University, 2017 PDF
R. Stewart, D. Bhowmik, A. Wallace and G. Michaelson, `Profile Guided Dataflow Transformation for FPGAs and CPUs', Journal of Signal Processing Systems 87 (1), 3-20, 2017 PDF
M. Alothman, J. Robertson and G. Michaelson, `Computer usage and attitudes among Saudi Arabian undergraduate students', Computers and Education, February 2017 link
2016
R. Stewart, G. Michaelson, D. Bhowmik, P. Garcia and Andy Wallace,` A Dataflow IR for Memory Efficient RIPL Compilation to FPGAs', International Conference on Algorithms and Architectures for Parallel Processing ICA3PP 2016: Algorithms and Architectures for Parallel Processing, Springer, LNCS 10049, pp 174-188, December 2016. PDF
J. Davidson, `An information theoretic approach to the expressiveness of programming languages', PhD, University of Glasgow, 2016 PDF
G. Michaelson, `Are there Domain Specific Languages?', in Proceedings of 1st International Workshop on Real World Domain Specific Languages, Barcelona, March, 2016, ACM PDF
2015
R. Stewart, D. Bhowmik, A. Wallace and G. Michaelson, `RIPL: An Efficient Image Processing DSL for FPGAs', Second International Workshop on FPGAs for Software Programmers, 2015. London UK, August, 2015 PDF
T. Alsalkini and G. Michaelson, `Optimising data parallel performance with a cost model in the presence of external load', in proceedings of 12th International Conference on Applied Computing, Maynooth, Ireland, 24th-26th October, 2015 PDF
G. Michaelson, `Teaching programming with computational and informational thinking', Journal of Pedagogic Development, Vol. 5, Issue 1, March 2015 PDF
G. Michaelson, `Teaching recursion with counting songs', ACM SIGCHI Interaction Design and Children (IDC 2015), Workshop on Every Child a Coder? Research Challenges for a 5-18 Programming Curriculum, Boston, 21st June, 2015 PDF
2014
Q. Cutts, R. Connor, P. Donaldson and G. Michaelson, `Code or (Not Code): Separating Formal and Natural Language in CS Education', WIPSCE 2014, 9th Workshop in Primary and Secondary Computing Education, Bonn, Germany, Nov 5-7, 2014 PDF
T. Alsalkini and G. Michaelson, `Generating artificial load patterns on multiprocessor platforms', in H. Weghorn (Ed), Proceedings of 11th International Conference on Applied Computing, Porto, Portugal, IADIS, pp77-84, 24th-27th October, 2014 PDF
D. Bhowmik, R. Stewart, X. Qian, A. Wallace and G. Michaelson, `Profile Driven Dataflow Optimisation of Mean Shift Visual Tracking', 2nd IEEE Global Conference on Signal and Information Processing (Global SIP14), Atlanta, Georgia, 3-5 December 2014 PDF
S. George, `Design, formalization and realization of Harmonic Box Coordination Language: an externally timed specification substrate for arbitrarily reliable distributed systems', PhD, University of Bristol, 2014 PDF
2013
W. Limprasert, A. Wallace and G. Michaelson, `Real time people tracking in a camera network', IEEE Journal on Emerging and Selected Topics in Circuits and Systems, Volume 3, No. 2, pp 263-271, June 2013
J. Davidson and G. Michaelson, `Brute force is not ignorance', Computability in Europe 2013, Milan, June, 2013 PDF
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 25 (3), 309-348 PDF
2012
J. Serot and G. Michaelson, `Harnessing parallelism in FPGAs using the Hume language', Workshop on Functional High Performance Computing (FHPC2012), Copenhagen, September 2012 PDF
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 docx
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 doc
Paul Cockshott and Greg Michaelson, `Tangled Tapes: Infinity, Interaction and Turing Machines', Turing Centenary Conference: CIE 2012 – How the World Computes, Cambridge, June 2012 PDF of full paper
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 PDF
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 PDF
P. Cockshott, L. Mackenzie and G. Michaelson, `Computation and its Limits', Oxford, 2012 Link
2011
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 PDF
J. Serot and G. Michaelson, `Compiling Hume down to gates', Draft Proceedings of 11th International Symposium on Trends in Functional Programming, Madrid, May, 2011 PDF
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 PDF
2010
K. Hammond and G. Michaelson, `The Peter Landin Prize', Higher-Order and Symbolic Computation: Volume 22, Issue 4, pp305-312, 2010 PDF
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 PDF
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, to appear PDF
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 PDF
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, to appear PDF
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, to appear PDF
2009
M. Yang, `Action Semantics of Unified Modelling Language', PhD, School of Mathematical and Computer Sciences, Heriot-Watt University, July, 2009 PDF
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, to appear PDF
A. Al Zain, V. Gibson and G. Michaelson, `Towards Hume SIMD Paralellisation', Proceedings of 17th European Signal Processing Conference, Glasgow, August, 2009 PDF
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 PDF
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 PDF
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, to appear PDF
G. Grov, `Reasoning About Correctness Properties of a Coordination Language', PhD, Heriot-Watt University, March 2009 PDF
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 PDF
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, to appear PDF
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, to appear PDF
P.Cockshott, A. Cottrell, G. Michaelson, I. Wright and V. Yakovenko, `Classical Econophysics', Routledge, 2009 Link
2008
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 PDF
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 PDF
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. PDF
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. PDF
P.Cockshott, L. Mackenzie and G. Michaelson, `Physical constraints on hypercomputation', Theoretical Computer Science (A), Vol. 394, No 3, April 2008, pp159–174 PDF
2007
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 PDF
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 PDF
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 PDF
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 PDF
X. Y. Deng, `Cost Driven Autonomous Mobility’, PhD, June 2007 PDF
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, Chapter II
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, to appear
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 PDF
2006
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, 2006, to appear
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. PDF
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 PDF
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 2006
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 Postscript
X. Deng, G. Michaelson and P. Trinder, `Autonomous Mobility Skeletons', Parallel Computing, Vol. 32, Issue 7-8, pp463-478, September 2006 PDF
A Al-Zain, `Implementing High Level Parallelism on Computational Grids', with Skeletons', PhD, School of Matematical & Computer Sciences, Heriot-Watt University, May 2006. Postscript
N. Scaife, G. Michaelson and S. Horiguchi, `Parallel Standard ML with Skeletons', Scaleable Computing Practise and Experience, Vol 6, No 4, 2006. Postscript
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 PDF
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
2005
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. Postscript
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. Postscript
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. Postscript
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. Postscript
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 PDF
2004
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 PDF
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 PDF
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 PDF
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
2003
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. PDF
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 Postscript Postscript
K. Hammond and G. Michaelson, `Predictable space behaviour in FSM-Hume', Proceedings of 14th Workshop on Implementation of Functional Languages, Madrid, Sept 2002, Springer, to appear Postscript
K.Hammond and G. Michaelson , `The Hume Report Version 0.2', Heriot-Watt University/University of St Andrews, March 2003 Postscript
G. Michaelson and K.Hammond, `The Hume Manual Version 0.1', Heriot-Watt University/University of St Andrews, March 2003 Postscript
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
2002
G. Michaelson and N. Scaife, `Functional prototyping for parallel skeleton based implementation', Chapter 5 in S. Gorlatch and F. Rabhi(Eds), `Patterns and Skeletons for Parallel and Distributed Computing', Springer-Verlag, Sept 2002, ISBN 1-85233-506-8, pp129-153 Postscript
G. Michaelson, `SML Prototypes from Z Specifications", Proceedings of ASE 2002 Workshop on Declarative Meta-Programming to Support Software Development, Sept 2002, Programming Technology Lab, Free University of Brussels, Technical Report VUB-PROG-TR-02-14, pp57-63 Postscript
A. Cook, `Using Proof for Transformation Synthesis in Automatic Parallelisation', PhD, Department of Computing & Electrical Engineering, Heriot-Watt University, March 2002 Postscript
N. Scaife, G. Michaelson and S. Horiguchi, `Comparative cross-platform results from a parallelising SML compiler', in: T. Arts and M. Mohnen (Eds), Proceedings of 13th International Workshop on Implementation of Functional Languages, Stockholm, September 2001, Springer-Verlag, LNCS 2312, pp 138-154, 2002 Postscript
P. Bristow, `Hybrid Skeletons for Parallel Higher Order Function Evaluation', MPhil Dissertation, Department of Computing & Electrical Engineering, Heriot-Watt University, January 2002 Postscript
J.Yang, G. Michaelson and P. Trinder, `Explaining polymorphic types', Computer Journal, Vol 45, No 4, pp436-452, Aug 2002 Postscript
2001
A. Cook, A. Ireland and G. Michaelson, `Higher order function synthesis through proof planning', Proceedings of 16th Annual International Conference on Automated Software Engineering (ASE 2001), San Diego, USA, IEEE Computer Society, pp307-310, Nov 2001 Postscript
G. McHale and G. Michaelson, `Generating functional programs with parallel genetic algorithms', in S. Curtis (Ed), Proceedings of 3rd Scottish Functional Programming Workshop, University of Stirling, August 2001, pp105-117 Postscript
J. Yang. `Improving polymorphic type explanations', PhD, Department of Computing and Electrical Engineering, Heriot-Watt University, October 2001 Postscript
J. Yang, G. Michaelsom and P. Trinder, `How human-like are "human-like" polymorphic type explanations?', Proceedings of 2nd Annual Conference of the LSTN Centre for Information and Computer Sciences, University of North London, to appear, Sept 2001 WfW
G. Michaelson, N. Scaife, P. Bristow & P. King, `Nested algorithmic skeletons from higher order functions', Parallel Algorithms and Applications special issue on High Level Models and Languages for Parallel Processing, Vol. 16, pages 181-206, Aug 2001 Postscript
J. Yang, G. Michaelson and P. Trinder, `Human and "human-like" type explanations', Proceedings of 13th Workshop on Psychology of Programming, Bournmouth, pages 163-172, April 2001 WfW
G. Michaelson and M. Pohl, Gender in email-based co-operative problem solving, Chapter 2 in E. Green and A. Adam (Eds), Virtual Gender: technology, consumption and identity, Routledge, June 2001, ISBN 0-415-23315-1, pp 28-44 WfW
2000
M. Grant, `An investigation into the suitability of genetic programming for computing visibility areas for sensor planning', PhD, School of Mathematical and Computer Sciences, Heriot-Watt University, July, 2000 PDF
K. Hammond & G. Michaelson, `Hume, a functionally inspired language for safety critical systems', in S. Gilmore (Ed), Proceedings of 2nd Scottish Functional Programming Workshop, St Andrews, July 2000, pp 85-100 Postscript
G. Michaelson, `Constraints on Recursion in the Hume Expression Language', Proceedings of 12th International Workshop on Implementation of Functional Languages, Aachener Informatik-Berichte, RWTH, Aachen, pp231-246, July 00 PDF
G. Michaelson and N. Scaife, `Parallel Island Model Genetic Algorithms through Nested Skeletons', Proceedings of 12th International Workshop on Implementation of Functional Languages, Aachener Informatik-Berichte, RWTH, Aachen, pp307-313, July 00 Postscript
N.Scaife, `A dual source parallel architecture for computer vision', PhD, Dept of Computing and Electrical Engineering, Heriot-Watt University, May 2000 Postscript
J.Yang, G. Michaelson and P. Trinder, `Helping students understand polymorphic type errors', Proceedings of 1st Annual Conference of the LSTN Centre for Information and Computer Sciences, S. Alexander et al (Eds), LTSN-ICS, University of Ulster, pp11-19, August 2000 WfW
M. Pohl and G. Michaelson, `"(Just ignore the other message)": Alignment, quoting and iconic strategies in computer-mediated communication', Proceedings of 7th IFIP Women, Work and Computerization Conference, Simon Fraser University, Canada, June 2000 WfW
J. Yang, G. Michaelson and P. Trinder, `How do people check polymorphic types?', Proceedings of 12th Workshop on Psychology of Programming, Corigliano Calabro, Italy, Edizioni Memoria, pp67-77, April 2000 WfW
M. Hamdan, `A combinational framework for parallel programming using algorithmic skeletons', PhD, Dept of Computing and Electrical Engineering, Heriot-Watt University, January 2000 Postscript
J.Yang & G.Michaelson, `A visualisation of polymorphic typechecking', Journal of Functional Programming, Vol. 10, No. 1, pp57-75, January 2000 Postscript
1999
Trinder P.W. Motivation for GdH, a Distributed Non-strict Functional Language. International Workshop on Parallel and Distributed Computing for Symbolic, Irregular Applications (PDSIA'99), Sendai, Japan (July 1999), to appear in Springer Verlag LNCS.
Loidl H-W. Trinder P.W. Hall C.V. Hammond K. Junaidu S.B. Morgan R.G. Peyton Jones S.L. Engineering Parallel Symbolic Programs in GpH. Concurrency: Practice and Experience, 11(12) (December 1999), pp~701-752. Postscript
K. Hammond & G. Michaelson, `Research Directions in Parallel Functional Programming', Springer, ISBN 1-85233-092-9, October 1999 Further Details
M. Hamdan, G. Michaelson & P. King, `A framework for nesting algorithmic skeletons', Proceedings of ParCo'99, Imperial College Press, to appear Postscript
M.Hamdan, `A survey of cost models for algorithmic skeletons', Dept of Computing and Electrical Engineering, Heriot-Watt University, Technical Report RM/11/99, September 1999 Postscript
J.Yang, `Explaining type errors by finding the sources of type conflicts', Draft Proceedings of 1st Scottish Functional Programming Workshop, P.Trinder & G.Michaelson (Eds), Dept of Computing and Electrical Engineering, Heriot-Watt University, Technical Report RM/99/9, pages 387-401, August 1999 Postscript
G.Michaelson & P.Bristow, `Parallel functional genetic algorithms in Standard ML from RPL2', Draft Proceedings of 1st Scottish Functional Programming Workshop, P.Trinder & G.Michaelson (Eds), Dept of Computing and Electrical Engineering, Heriot-Watt University, Technical Report RM/99/9, pages 253-261, August 1999 Postscript
J. Yang, G. Michaelson and P. Trinder, `Explaining Polymorphic Types Through Visualisation', Proceedings of 7th Conference on the Teaching of Computing, S. Alexander and U. O'Reilly (Eds), CTI Computing, University of Ulster, Jordanstown, pages 73-77, August 1999 WfW
1998
A. M. Wallace, G. Michaelson, N, Scaife & W. Austin, `A Dual Source, Parallel Architecture for Computer Vision', The Journal of Supercomputing, Vol 12, pp 37-56, 1998 PDF
N.Scaife, P.Bristow, G.Michaelson & P.King, `Engineering a parallel compiler for SML', Clack, T.Davie & K.Hammond (eds): Proceedings of 10th International Workshop on Implementation of Functional Languages, University College London, Sept, 1998, pp213-226 Postscript
M.Hamdan, G.Michaelson & P.King, `A scheme for nesting algorithmic skeletons', IFL'98, Clack, T.Davie & K.Hammond (eds): Proceedings of 10th International Workshop on Implementation of Functional Languages, University College London, Sept, 1998, pp195-212 Postscript
1997
N.R.Scaife, G.J.Michaelson & A.M.Wallace, `Four skeletons and a function', C.Clack, T.Davie & K.Hammond (eds): Proceedings of 9th International Workshop on Implementation of Functional Languages, University of St Andrews, Sept, 1997, pp529-538 Postscript
G.J.Michaelson, A.Ireland & P.J.B.King, `Towards a skeleton based parallelising compiler for SML', C.Clack, T.Davie & K.Hammond (eds): Proceedings of 9th International Workshop on Implementation of Functional Languages, University of St Andrews, Sept, 1997, pp539-546 Postscript
M.Hamdan, G.J.Michaelson & P.J.B.King, `A predictably portable process farm skel eton', working paper, May 1997 Postscript
M. Pohl and G. Michaelson, ```I don't think that's an interesting dialogue'' - Computer-Mediated Communication and Gender', in A. F.Grundy, D.Koehler, V. Oechtering, U. Petersen (Eds): Women, Work and Computerization. Spinning a Web from Past to Future. Proceedings of the 6th International IFIP-Conference Bonn, Germany, May 24-27,1997, Springer, pp87-97 WfW
1996
J.Serot, `Writing an edge tracker in ML: a case study', Research Memo RM 96/13, November 1996 Postscript
S.Foubister, G.J.Michaelson & N.Tomes, `Automatic assessment of elementary Standard ML programs using Ceilidh', Journal of Computer Assisted Learning, to appear Postscript
G.J.Michaelson, `Automatic assessment of functional program style', 1996 Australian Software Engineering Conference, Melbourne, July 1996, IEEE Computer Society Press, pp38-46, IEEE copyright Postscript
N.R.Scaife, `A survey of concurrent object-oriented programming languages', Research Memo RM/96/4, January 1996 Postscript
N.R.Scaife, G.J.Michaelson & A.M.Wallace, `A method for developing parallel vision algorithms with an example of edge tracking', Research Memo RM/96/1, January 1996 Postscript
1995
D.Bental, `Why doesn't my program work?': requirements for automated analysis of novices' computer programs, Workshop on Automated Understanding of (Novice) Programs, World Conference on AI & Education, Washington DC, USA, 1995 html
T.A.Bratvold, Skeleton-based Parallelisation of Functional Programs, PhD, Dept of Computing & Electrical Engineering, Heriot-Watt University, 1995 Postscript
G.J.Michaelson, TLTP Ceilidh Project: Feedback Questionnaire Summary, Research Memo RM/95/6, Dept of Computing & Electrical Engineering, Heriot-Watt University, June 1995 Postscript
G.J.Michaelson & N.R.Scaife, Prototyping a parallel vision system in Standard ML, Journal of Functional Programming, Vol 5, Part 3, pp 345-382, July 1995, CUP copyright Postscript
G.J.Michaelson, N.R.Scaife & A.M.Wallace, Prototyping parallel algorithms in Standard ML, in Proceedings of British Machine Vision Conference, Birmingham, Sept 1995 Postscript
G. Michaelson, `Implementing Prolog Definite Clause Grammars with SLR(1) parsers on the Relational Algebra Accelerator', Information and Software Technology, Vol. 37, No. 10, pp547-555, October 1995 PDF
G.J.Michaelson, Elementary Standard ML, UCL Press, November 1995, 306 pages, ISBN 1-85728-398-8, UCL Press copyright Full text without index in Postscript
1994
G. Michaelson, Women and men in computer cartoons from Punch: 1946 to 1982, in Proceedings of the IFIP TC9/WG9.1 Fifth International Conference on Woman, Work and Computerization: Breaking Old Boundaries - Building New Forms. Elsevier, pp. 171-184, Manchester, UK, 2-5 July, 1994. PDF
T.A.Bratvold, Parallelising a Functional Program Using a List-Homomorphism Skeleton, Proceedings of PaSCo94 (ed Hoon Hong), Linz, Austria, World Scientific Publishing Company, September, 1994, pp 44-53 Postscript
W.J.Austin & N.R.Scaife, Reconfigurable parallel vision system: informal specification, Research Memo RM/94/4, Dept of Computing & Electrical Engineering, Heriot-Watt University, 1994 Postscript
N.R.Scaife, Prototyping an intensity-based vision recognition system, Research Memo RM/94/3, Dept of Computing & Electrical Engineering, Heriot-Watt University, June 1994 Postscript
G. Michaelson, `Is big beautiful? Computers and their sizes in cartoons', Computer Bulletin, Vol. 6, Part 2, pp16-17, April 1994
1993
T.A.Bratvold, A Skeleton-Based Parallelising Compiler for ML, Proceedings of the Fifth International Workshop on Implementation of Functional Languages, Nijmegen, the Netherlands, September, 1993, pp 23-34 Postscript
D.J.Busvine, Detecting Parallel Structures in Functional Programs, PhD, Dept of Computing & Electrical Engineering, Heriot-Watt University, 1993 tar-ed Postscript
G.J.Michaelson, Interpreter Prototypes from Formal Language Definitions, PhD, Dept of Computing & Electrical Engineering, Heriot-Watt University, 1993 PDF
1992
A. Wallace, G. Michaelson, P. McAndrew, K. Waugh and W. Austin, `Dynamic control and prototyping of parallel vision algorithms', IEEE Computer special issue on `Parallel processing for computer vision and image understanding', Vol. 25, No. 2, pp43-53, February 1992
T.A.Bratvold, Determining Useful Parallelism in Higher Order Functions, Proceedings of the 4th International Workshop on the Parallel Implementation of Functional Languages, Aachen, Germany, September 1992, Aachener Informatik-Berichte Nr 92-19", pp 213-226 Postscript
1990
G. Michaelson, Text generation from grammars, Information & Software Technology, October, 1990, Vol. 32, No. 8, pp566-568 PDF
1989 S. Hopkins, G. Michaelson and A. Wallace, `Parallel imperative and functional approaches to visual scene labelling', Image and Vision Computing, Vol. 7, No. 3, pp. 178-193, August 1989
1988
G. Michaelson, Interpreter prototypes from formal language definition style specifications, Information & Software Technology, Vol. 30, No. 1, January/February 1988, p23-31 PDF
G.J.Michaelson, An Introduction to Functional Programming Through Lambda Calculus, Addison-Wesley, 320 pages in original, 241 pages in this form, 1988
G. Michaelson, `Early computer cartoons', Computer Bulletin, Series III, Vol. 2, Part 4, pp. 22-24, December 1986
1986
G.J.Michaelson, `Interpreters from Functions and Grammars’,Computer Languages, Vol ll. No 2, pp 85--104, 1986 PDF