Greg Michaelson

Publication Activity (10 Years)

Years Active: 1986-2022
Publications (10 Years): 16

Top Topics

Undergraduate Students

Computational Thinking

Image Processing

Top Venues

Formal Aspects Comput.

ACM Trans. Reconfigurable Technol. Syst.

Publications

Greg Michaelson
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. 34 (2) (2022)
Greg Michaelson
Programming Paradigms, Turing Completeness and Computational Thinking. Art Sci. Eng. Program. 4 (3) (2020)
Greg Michaelson
Programming Paradigms, Turing Completeness and Computational Thinking. CoRR (2020)
Robert J. Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew M. Wallace
Graphical program transformations for embedded systems. SAC (2019)
Greg Michaelson
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. 31 (5) (2019)
Paulo Garcia, Deepayan Bhowmik, Robert J. Stewart, Greg Michaelson, Andrew M. Wallace
Optimized Memory Allocation and Power Minimization for FPGA-Based Image Processing. J. Imaging 5 (1) (2019)
Robert J. Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew M. Wallace
Verifying parallel dataflow transformations with model checking and its application to FPGAs. J. Syst. Archit. 101 (2019)
Paulo Garcia, Deepayan Bhowmik, Andrew M. Wallace, Robert J. Stewart, Greg Michaelson
Area-Energy Aware Dataflow Optimisation of Visual Tracking Systems. ARC (2018)
Kirsty R. Duncan, Robert J. Stewart, Greg Michaelson
Parallel Mean Shift Accuracy and Performance Trade-Offs. ICIP (2018)
Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson
Colocation of Potential Parallelism in a Distributed Adaptive Run-Time System for Parallel Haskell. TFP (2018)
Rob Stewart, Kirsty Duncan, Greg Michaelson, Paulo Garcia, Deepayan Bhowmik, Andrew M. Wallace
RIPL: A Parallel Image Processing Language for FPGAs. ACM Trans. Reconfigurable Technol. Syst. 11 (1) (2018)
Joe Davidson, Greg Michaelson
Expressiveness, meanings and machines. Comput. 7 (4) (2018)
Robert J. Stewart, Deepayan Bhowmik, Andrew M. Wallace, Greg Michaelson
Profile Guided Dataflow Transformation for FPGAs and CPUs. J. Signal Process. Syst. 87 (1) (2017)
Manal Alothman, Judy Robertson, Greg Michaelson
Computer usage and attitudes among Saudi Arabian undergraduate students. Comput. Educ. 110 (2017)
Deepayan Bhowmik, Paulo Garcia, Andrew M. Wallace, Robert J. Stewart, Greg Michaelson
Power efficient dataflow design for a heterogeneous smart camera architecture. DASIP (2017)
Greg Michaelson
Are there Domain Specific Languages? RWDSL@CGO (2016)
Robert J. Stewart, Deepayan Bhowmik, Greg Michaelson, Andrew M. Wallace
RIPL: An Efficient Image Processing DSL for FPGAs. CoRR (2015)
Quintin I. Cutts, Richard Connor, Greg Michaelson, Peter Donaldson
Code or (not code): separating formal and natural language in CS education. WiPSCE (2014)
Greg Michaelson
, by Miran Lipovaca, No Starch Press, April 2011, ISBN-10: 1593272839; ISBN-13: 978-1593272838, 376 pp. J. Funct. Program. 23 (3) (2013)
Greg Michaelson
Costing by Construction. CPA (2013)
Philip W. Trinder, M. I. Cole, Kevin Hammond, Hans-Wolfgang Loidl, Greg Michaelson
Resource analyses for parallel and distributed coordination. Concurr. Comput. Pract. Exp. 25 (3) (2013)
Wasit Limprasert, Andrew M. Wallace, Greg Michaelson
Real-Time People Tracking in a Camera Network. IEEE J. Emerg. Sel. Topics Circuits Syst. 3 (2) (2013)
Wasit Limprasert, Andrew M. Wallace, Greg Michaelson
Accelerated People Tracking using Texture in a Camera Network. VISAPP (2) (2012)
Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson, Philip W. Trinder
Architecture-aware cost modelling for parallel performance portability. Software Engineering (Workshops) (2012)
Aliaa M. Alabdali, Lilia Georgieva, Greg Michaelson
Modelling of Secure Data Transmission over a Multichannel Wireless Network in Alloy. TrustCom (2012)
Gerardo Canfora, Darren Dalcher, David Raffo, Victor R. Basili, Juan Fernández-Ramil, Václav Rajlich, Keith H. Bennett, Liz Burd, Malcolm Munro, Sophia Drossopoulou, Barry W. Boehm, Susan Eisenbach, Greg Michaelson, Peter Ross, Paul Wernick, Dewayne E. Perry
In memory of Manny Lehman, 'Father of Software Evolution'. J. Softw. Maintenance Res. Pract. 23 (3) (2011)
Greg Michaelson, Ruth Aylett
Special issue on social impact of AI: killer robots or friendly fridges. AI Soc. 26 (4) (2011)
Greg Michaelson, Gudmund Grov
Reasoning about Multi-process Systems with the Box Calculus. CEFP (2011)
Xiao Yan Deng, Greg Michaelson, Philip W. Trinder
Cost-driven autonomous mobility. Comput. Lang. Syst. Struct. 36 (1) (2010)
Gudmund Grov, Greg Michaelson
Hume box calculus: robust system development through software transformation. High. Order Symb. Comput. 23 (2) (2010)
Abdallah Al Zain, Kevin Hammond, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad
Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures. DAMP (2009)
Allin Cottrell, W. Paul Cockshott, Greg Michaelson
Is Economic Planning Hypercomputational? The Argument from Cantor Diagonalisation. Int. J. Unconv. Comput. 5 (3-4) (2009)
Mustafa Aswad, Phil Trinder, Abdallah Al Zain, Greg Michaelson, Jost Berthold
Low Pain vs No Pain Multi-core Haskells. Trends in Functional Programming (2009)
Kevin Hammond, Greg Michaelson
The Peter Landin prize. High. Order Symb. Comput. 22 (4) (2009)
Philip W. Trinder, Murray Cole, Hans-Wolfgang Loidl, Greg Michaelson
Characterising Effective Resource Analyses for Parallel and Distributed Coordination. FOPARA (2009)
Greg Michaelson
Alison Cawsey. Comput. Linguistics 35 (4) (2009)
Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland
Preserving coordination properties when transforming concurrent system components. SAC (2008)
W. Paul Cockshott, Lewis Mackenzie, Greg Michaelson
Physical constraints on hypercomputation. Theor. Comput. Sci. 394 (3) (2008)
Abdallah Al Zain, Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl
Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs. IEEE Trans. Parallel Distributed Syst. 19 (2) (2008)
Gudmund Grov, Greg Michaelson
Towards a Box Calculus for Hierarchical Hume. Trends in Functional Programming (2007)
Greg Michaelson
Inductive Synthesis of Functional Programs by U. Schmid, Springer Verlag, 2003, 420pp, ISBN 3540401741. J. Funct. Program. 17 (3) (2007)
Armelle Bonenfant, Zezhi Chen, Kevin Hammond, Greg Michaelson, Andrew M. Wallace, Iain Wallace
Towards resource-certified software: a formal cost model for time and its application to an image-processing example. SAC (2007)
Gudmund Grov, Greg Michaelson, Andrew Ireland
Formal verification of concurrent scheduling strategies using TLA. ICPADS (2007)
Xiao Yan Deng, Greg Michaelson, Philip W. Trinder
Automatically Costed Autonomous Mobility. IAT (2007)
W. Paul Cockshott, Greg Michaelson
Are There New Models of Computation? Reply to Wegner and Eberbach. Comput. J. 50 (2) (2007)
Xiao Yan Deng, Greg Michaelson, Philip W. Trinder
Autonomous mobility skeletons. Parallel Comput. 32 (7-8) (2006)
W. Paul Cockshott, Greg Michaelson
Orthogonal parallel processing in vector Pascal. Comput. Lang. Syst. Struct. 32 (1) (2006)
Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace
Towards Formally Verifiable WCET Analysis for a Functional Programming Language. WCET (2006)
Greg Michaelson, W. Paul Cockshott
Constraints on Hypercomputation. CiE (2006)
Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland
Low-Level Programming in Hume: An Exploration of the HW-Hume Level. IFL (2006)
Norman Scaife, Greg Michaelson, Susumu Horiguchi
Parallel Standard ML with Skeletons. Scalable Comput. Pract. Exp. 7 (2) (2006)
Abdallah Al Zain, Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl
Managing Heterogeneity in a Grid Parallel Haskell. Scalable Comput. Pract. Exp. 7 (3) (2006)
Xiao Yan Deng, Philip W. Trinder, Greg Michaelson
Autonomous Mobile Programs. IAT (2006)
Norman Scaife, Greg Michaelson, Susumu Horiguchi
Empirical Parallel Performance Prediction From Semantics-Based Profiling. Scalable Comput. Pract. Exp. 7 (3) (2006)
Andrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife
Discovering applications of higher order functions through proof planning. Formal Aspects Comput. 17 (1) (2005)
Abdallah Al Zain, Philip W. Trinder, Hans-Wolfgang Loidl, Greg Michaelson
Managing Heterogeneity in a Grid Parallel Haskell. International Conference on Computational Science (2) (2005)
Norman Scaife, Susumu Horiguchi, Greg Michaelson, Paul Bristow
A parallel SML compiler based on algorithmic skeletons. J. Funct. Program. 15 (4) (2005)
Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace
The Embounded project (project start paper). Trends in Functional Programming (2005)
Norman Scaife, Greg Michaelson, Susumu Horiguchi
Empirical Parallel Performance Prediction from Semantics-Based Profiling. International Conference on Computational Science (2) (2005)
Greg Michaelson, Kevin Hammond, Jocelyn Sérot
FSM-Hume: programming resource-limited systems using bounded automata. SAC (2004)
Nestor Yurievich Miliaev, Alison Cawsey, Greg Michaelson
Applied NLG system evaluation: FlexyCAT. ENLG@EACL (2003)
Greg Michaelson, Kevin Hammond, Jocelyn Sérot
FSM-Hume is finite state. Trends in Functional Programming (2003)
Kevin Hammond, Greg Michaelson
The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain. Domain-Specific Program Generation (2003)
Hans-Wolfgang Loidl, Fernando Rubio, Norman Scaife, Kevin Hammond, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Pena, Steffen Priebe, Álvaro J. Rebón Portillo, Philip W. Trinder
Comparing Parallel Functional Languages: Programming and Performance. High. Order Symb. Comput. 16 (3) (2003)
Kevin Hammond, Greg Michaelson
Hume: A Domain-Specific Language for Real-Time Embedded Systems. GPCE (2003)
Yang Jun, Greg Michaelson, Philip W. Trinder
Explaining Polymorphic Types. Comput. J. 45 (4) (2002)
Nestor Yurievich Miliaev, Alison Cawsey, Greg Michaelson
Technical Documentation: An Integrated Architecture for Supporting the Author in Generation and Resource Editing. AIMSA (2002)
Kevin Hammond, Greg Michaelson
Predictable Space Behaviour in FSM-Hume. IFL (2002)
Norman Scaife, Greg Michaelson, Susumu Horiguchi
Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler. IFL (2001)
Andrew Cook, Andrew Ireland, Greg Michaelson
Higher Order Function Synthesis Through Proof Planning. ASE (2001)
Yang Jun, Greg Michaelson, Phil Trinder
Human and "human-like" type explanations. PPIG (2001)
Yang Jun, Greg Michaelson, Phil Trinder
How do people check polymorphic types? PPIG (2000)
Yang Jung, Greg Michaelson
A visualisation of polymorphic type checking. J. Funct. Program. 10 (1) (2000)
Andrew M. Wallace, Greg Michaelson, Norman Scaife, W. J. Austin
A Dual Source, Parallel Architecture for Computer Vision. J. Supercomput. 12 (1-2) (1998)
Sandra P. Foubister, Greg Michaelson, N. Tomes
Automatic assessment of elementary Standard ML programs using Ceilidh. J. Comput. Assist. Learn. 13 (2) (1997)
Greg Michaelson
Automatic Analysis Of Functional Program Style. Australian Software Engineering Conference (1996)
Greg Michaelson, Norman Scaife
Prototyping a Parallel Vision System in Standard ML. J. Funct. Program. 5 (3) (1995)
Greg Michaelson
Implementing Prolog Definite Clause Grammars with SLR(1) parsers on the Relational Algebra Accelerator. Inf. Softw. Technol. 37 (10) (1995)
Greg Michaelson
Women and Men in Computer Cartoons from Punch: 1946 to 1982. Woman, Work and Computerization (1994)
Greg Michaelson, Tore Bratvold, David John Busvine, K. G. Waugh
Parallel Implementations from Functional Prototype Instrumentation. PARCO (1993)
Andrew M. Wallace, Greg Michaelson, Patrick McAndrew, K. G. Waugh, W. J. Austin
Dynamic Control and Prototyping of Parallel Algorithms for Intermediate- and High-Level Vision. Computer 25 (2) (1992)
D. Welch, Greg Michaelson
The Edinburgh Woman in Computing Workshops. Woman into Computing (1990)
Greg Michaelson
Grammars and Implementation Independent Structure Representation. POS (1989)
S. Hopkins, Greg Michaelson, Andrew M. Wallace
Parallel imperative and functional approaches to visual scene labelling. Image Vis. Comput. 7 (3) (1989)
Greg Michaelson
Interpreters From Functions and Grammars. Comput. Lang. 11 (2) (1986)