Greg J. Michaelson

Orcid: 0000-0002-3437-6570

Affiliations:
  • Heriot-Watt University, School of Mathematical & Computer Sciences, UK


According to our database1, Greg J. Michaelson authored at least 96 papers between 1986 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Review of <i>Formal Methods: An Appetizer</i>: <i>By Flemming Nielson and Hanne Riis Nielson</i> Springer, 2019, ISBN 978-3-030-05155-6, https: //link.springer.com/book/10.1007/978-3-030-05156-3, pp. 1-160.
Formal Aspects Comput., 2022

2020
Programming Paradigms, Turing Completeness and Computational Thinking.
Art Sci. Eng. Program., 2020

2019
Verifying parallel dataflow transformations with model checking and its application to FPGAs.
J. Syst. Archit., 2019

Optimized Memory Allocation and Power Minimization for FPGA-Based Image Processing.
J. Imaging, 2019

Bernhard Steffen, Oliver R¨uthing, and Michael Huth: Mathematical Foundations of Advanced Informatics - Volume 1: Inductive Approaches - Springer, 2 April 2018, 258 pp, 156x16x234mm, ISBN-13: 978-3319683966 (Hardback, £28.99), ISBN: 978-3030098339 (Paperback, £27.99).
Formal Aspects Comput., 2019

Graphical program transformations for embedded systems.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

2018
RIPL: A Parallel Image Processing Language for FPGAs.
ACM Trans. Reconfigurable Technol. Syst., 2018

Expressiveness, meanings and machines.
Comput., 2018

Colocation of Potential Parallelism in a Distributed Adaptive Run-Time System for Parallel Haskell.
Proceedings of the Trends in Functional Programming - 19th International Symposium, 2018

Parallel Mean Shift Accuracy and Performance Trade-Offs.
Proceedings of the 2018 IEEE International Conference on Image Processing, 2018

Area-Energy Aware Dataflow Optimisation of Visual Tracking Systems.
Proceedings of the Applied Reconfigurable Computing. Architectures, Tools, and Applications, 2018

2017
Profile Guided Dataflow Transformation for FPGAs and CPUs.
J. Signal Process. Syst., 2017

Computer usage and attitudes among Saudi Arabian undergraduate students.
Comput. Educ., 2017

Power efficient dataflow design for a heterogeneous smart camera architecture.
Proceedings of the 2017 Conference on Design and Architectures for Signal and Image Processing, 2017

2016
A Dataflow IR for Memory Efficient RIPL Compilation to FPGAs.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2016

Are there Domain Specific Languages?
Proceedings of the 1st International Workshop on Real World Domain Specific Languages, 2016

2015
RIPL: An Efficient Image Processing DSL for FPGAs.
CoRR, 2015

Towards a Characterisation of Parallel Functional Applications.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

2014
Code or (not code): separating formal and natural language in CS education.
Proceedings of the 9th Workshop in Primary and Secondary Computing Education, 2014

Profile driven dataflow optimisation of mean shift visual tracking.
Proceedings of the 2014 IEEE Global Conference on Signal and Information Processing, 2014

2013
<i>Learn You a Haskell for Great Good! A Beginner's Guide</i>, by Miran Lipovaca, No Starch Press, April 2011, ISBN-10: 1593272839; ISBN-13: 978-1593272838, 376 pp.
J. Funct. Program., 2013

Real-Time People Tracking in a Camera Network.
IEEE J. Emerg. Sel. Topics Circuits Syst., 2013

Resource analyses for parallel and distributed coordination.
Concurr. Comput. Pract. Exp., 2013

Costing by Construction.
Proceedings of the 35th Communicating Process Architectures, 2013

2012
Accelerated People Tracking using Texture in a Camera Network.
Proceedings of the VISAPP 2012, 2012

Modelling of Secure Data Transmission over a Multichannel Wireless Network in Alloy.
Proceedings of the 11th IEEE International Conference on Trust, 2012

Architecture-aware cost modelling for parallel performance portability.
Proceedings of the Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

Harnessing parallelism in FPGAs using the hume language.
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, 2012

2011
In memory of Manny Lehman, 'Father of Software Evolution'.
J. Softw. Maintenance Res. Pract., 2011

Special issue on social impact of AI: killer robots or friendly fridges.
AI Soc., 2011

Reasoning about Multi-process Systems with the Box Calculus.
Proceedings of the Central European Functional Programming School - 4th Summer School, 2011

2010
Hume box calculus: robust system development through software transformation.
High. Order Symb. Comput., 2010

Cost-driven autonomous mobility.
Comput. Lang. Syst. Struct., 2010

2009
The Peter Landin prize.
High. Order Symb. Comput., 2009

Is Economic Planning Hypercomputational? The Argument from Cantor Diagonalisation.
Int. J. Unconv. Comput., 2009

Alison Cawsey.
Comput. Linguistics, 2009

Low Pain vs No Pain Multi-core Haskells.
Proceedings of the Tenth Symposium on Trends in Functional Programming, 2009

Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures.
Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009

Characterising Effective Resource Analyses for Parallel and Distributed Coordination.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2009

Towards Hume SIMD vectorisation.
Proceedings of the 17th European Signal Processing Conference, 2009

2008
Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs.
IEEE Trans. Parallel Distributed Syst., 2008

Physical constraints on hypercomputation.
Theor. Comput. Sci., 2008

Formal Action Semantics for a UML Action Language.
J. Univers. Comput. Sci., 2008

Preserving coordination properties when transforming concurrent system components.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

2007
Inductive Synthesis of Functional Programs by U. Schmid, Springer Verlag, 2003, 420pp, ISBN 3540401741.
J. Funct. Program., 2007

Are There New Models of Computation? Reply to Wegner and Eberbach.
Comput. J., 2007

Towards a Box Calculus for Hierarchical Hume.
Proceedings of the Eighth Symposium on Trends in Functional Programming, 2007

Towards resource-certified software: a formal cost model for time and its application to an image-processing example.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Formal verification of concurrent scheduling strategies using TLA.
Proceedings of the 13th International Conference on Parallel and Distributed Systems, 2007

Automatically Costed Autonomous Mobility.
Proceedings of the 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2007

2006
Managing Heterogeneity in a Grid Parallel Haskell.
Scalable Comput. Pract. Exp., 2006

Empirical Parallel Performance Prediction From Semantics-Based Profiling.
Scalable Comput. Pract. Exp., 2006

Parallel Standard ML with Skeletons.
Scalable Comput. Pract. Exp., 2006

Autonomous mobility skeletons.
Parallel Comput., 2006

Orthogonal parallel processing in vector Pascal.
Comput. Lang. Syst. Struct., 2006

Towards Formally Verifiable WCET Analysis for a Functional Programming Language.
Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

Low-Level Programming in Hume: An Exploration of the HW-Hume Level.
Proceedings of the Implementation and Application of Functional Languages, 2006

Autonomous Mobile Programs.
Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

Constraints on Hypercomputation.
Proceedings of the Logical Approaches to Computational Barriers, 2006

2005
A parallel SML compiler based on algorithmic skeletons.
J. Funct. Program., 2005

Discovering applications of higher order functions through proof planning.
Formal Aspects Comput., 2005

The Embounded project (project start paper).
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

2004
FSM-Hume: programming resource-limited systems using bounded automata.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

2003
Comparing Parallel Functional Languages: Programming and Performance.
High. Order Symb. Comput., 2003

FSM-Hume is finite state.
Proceedings of the Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, 2003

Hume: A Domain-Specific Language for Real-Time Embedded Systems.
Proceedings of the Generative Programming and Component Engineering, 2003

Applied NLG system evaluation: FlexyCAT.
Proceedings of the 9th European Workshop on Natural Language Generation, 2003

The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain.
Proceedings of the Domain-Specific Program Generation, International Seminar, 2003

Skeleton Realisations from Functional Prototypes.
Proceedings of the Patterns and Skeletons for Parallel and Distributed Computing, 2003

2002
Explaining Polymorphic Types.
Comput. J., 2002

Predictable Space Behaviour in FSM-Hume.
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

Technical Documentation: An Integrated Architecture for Supporting the Author in Generation and Resource Editing.
Proceedings of the Artificial Intelligence: Methodology, 2002

2001
Human and "human-like" type explanations.
Proceedings of the 13th Annual Workshop of the Psychology of Programming Interest Group, 2001

Higher Order Function Synthesis Through Proof Planning.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler.
Proceedings of the Implementation of Functional Languages, 13th International Workshop, 2001

2000
A visualisation of polymorphic type checking.
J. Funct. Program., 2000

How do people check polymorphic types?
Proceedings of the 12th Annual Workshop of the Psychology of Programming Interest Group, 2000

1999
A framework for nesting algorithmic skeletons.
Proceedings of the Parallel Computing: Fundamentals & Applications, 1999

Foundations.
Proceedings of the Research Directions in Parallel Functional Programming, 1999

Summary.
Proceedings of the Research Directions in Parallel Functional Programming, 1999

Introduction.
Proceedings of the Research Directions in Parallel Functional Programming, 1999

1998
A Dual Source, Parallel Architecture for Computer Vision.
J. Supercomput., 1998

1997
Automatic assessment of elementary Standard ML programs using Ceilidh.
J. Comput. Assist. Learn., 1997

1996
Automatic Analysis Of Functional Program Style.
Proceedings of the 1996 Australian Software Engineering Conference (ASWEC '96), 1996

1995
Prototyping a Parallel Vision System in Standard ML.
J. Funct. Program., 1995

Implementing Prolog Definite Clause Grammars with SLR(1) parsers on the Relational Algebra Accelerator.
Inf. Softw. Technol., 1995

Prototyping Parallel Algorithms using Standard ML.
Proceedings of the British Machine Vision Conference, 1995

1994
Women and Men in Computer Cartoons from Punch: 1946 to 1982.
Proceedings of the Woman, Work and Computerization: Breaking Old Boundaries - Building New Forms, Proceedings of the IFIP TC9/WG9.1 Fifth International Conference on Woman, Work and Computerization: Breaking Old Boundaries, 1994

1993
Interpreter prototypes from formal language definitions.
PhD thesis, 1993

Parallel Implementations from Functional Prototype Instrumentation.
Proceedings of the Parallel Computing: Trends and Applications, 1993

1992
Dynamic Control and Prototyping of Parallel Algorithms for Intermediate- and High-Level Vision.
Computer, 1992

1990
The Edinburgh Woman in Computing Workshops.
Proceedings of the Woman into Computing: Selected Papers 1988-1990, 1990

1989
Parallel imperative and functional approaches to visual scene labelling.
Image Vis. Comput., 1989

Grammars and Implementation Independent Structure Representation.
Proceedings of the Persistent Object Systems, 1989

An introduction to functional programming through lambda calculus.
International computer science series, Addison-Wesley, ISBN: 978-0-201-17812-8, 1989

1986
Interpreters From Functions and Grammars.
Comput. Lang., 1986


  Loading...