Greg Michaelson

95 papers A* 1B 4C 2Misc 7Journal 41Unranked 30
YearRankTypeTitle / Venue / Authors
2026 — conf
Life in Computer Science at Heriot-Watt University 1983-1993.
The Importance of Being Learnable
Greg Michaelson
2022 J jnl
Review of
Formal Aspects Comput.
Greg Michaelson
2020 J jnl
Programming Paradigms, Turing Completeness and Computational Thinking.
CoRR
Greg Michaelson
2020 J jnl
Programming Paradigms, Turing Completeness and Computational Thinking.
Art Sci. Eng. Program.
Greg Michaelson
2019 J jnl
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.
Greg Michaelson
2019 Misc conf
Graphical program transformations for embedded systems.
SAC
Robert J. Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew M. Wallace
2019 J jnl
Optimized Memory Allocation and Power Minimization for FPGA-Based Image Processing.
J. Imaging
Paulo Garcia, Deepayan Bhowmik, Robert J. Stewart, Greg Michaelson, Andrew M. Wallace
2019 J jnl
Verifying parallel dataflow transformations with model checking and its application to FPGAs.
J. Syst. Archit.
Robert J. Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew M. Wallace
2018 — conf
Area-Energy Aware Dataflow Optimisation of Visual Tracking Systems.
ARC
Paulo Garcia, Deepayan Bhowmik, Andrew M. Wallace, Robert J. Stewart, Greg Michaelson
2018 — conf
Colocation of Potential Parallelism in a Distributed Adaptive Run-Time System for Parallel Haskell.
TFP
Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson
2018 J jnl
Expressiveness, meanings and machines.
Comput.
Joe Davidson, Greg Michaelson
2018 B conf
Parallel Mean Shift Accuracy and Performance Trade-Offs.
ICIP
Kirsty R. Duncan, Robert J. Stewart, Greg Michaelson
2018 J jnl
RIPL: A Parallel Image Processing Language for FPGAs.
ACM Trans. Reconfigurable Technol. Syst.
Rob Stewart, Kirsty Duncan, Greg Michaelson, Paulo Garcia, Deepayan Bhowmik, Andrew M. Wallace
2017 J jnl
Computer usage and attitudes among Saudi Arabian undergraduate students.
Comput. Educ.
Manal Alothman, Judy Robertson, Greg Michaelson
2017 — conf
Power efficient dataflow design for a heterogeneous smart camera architecture.
DASIP
Deepayan Bhowmik, Paulo Garcia, Andrew M. Wallace, Robert J. Stewart, Greg Michaelson
2017 — ed.
Proceedings of the 2nd International Workshop on Real World Domain Specific Languages, RWDSL@CGO 2017, Austin, TX, USA, February 4, 2017
RWDSL@CGO
Robert J. Stewart, Greg Michaelson
2017 J jnl
Profile Guided Dataflow Transformation for FPGAs and CPUs.
J. Signal Process. Syst.
Robert J. Stewart, Deepayan Bhowmik, Andrew M. Wallace, Greg Michaelson
2016 — conf
Are there Domain Specific Languages?
RWDSL@CGO
Greg Michaelson
2016 — ed.
Proceedings of the 1st International Workshop on Real World Domain Specific Languages, RWDSL@CGO 2016, Barcelona, Spain, March 12, 2016
RWDSL@CGO
Robert J. Stewart, Greg Michaelson
2015 J jnl
RIPL: An Efficient Image Processing DSL for FPGAs.
CoRR
Robert J. Stewart, Deepayan Bhowmik, Greg Michaelson, Andrew M. Wallace
2014 — conf
Code or (not code): separating formal and natural language in CS education.
WiPSCE
Quintin I. Cutts, Richard Connor, Greg Michaelson, Peter Donaldson
2013 — conf
Costing by Construction.
CPA
Greg Michaelson
2013 J jnl
Real-Time People Tracking in a Camera Network.
IEEE J. Emerg. Sel. Topics Circuits Syst.
Wasit Limprasert, Andrew M. Wallace, Greg Michaelson
2013 J jnl
Resource analyses for parallel and distributed coordination.
Concurr. Comput. Pract. Exp.
Philip W. Trinder, M. I. Cole, Kevin Hammond, Hans-Wolfgang Loidl, Greg Michaelson
2012 — conf
Accelerated People Tracking using Texture in a Camera Network.
VISAPP (2)
Wasit Limprasert, Andrew M. Wallace, Greg Michaelson
2012 C conf
Architecture-aware cost modelling for parallel performance portability.
Software Engineering (Workshops)
Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson, Philip W. Trinder
2012 B conf
Modelling of Secure Data Transmission over a Multichannel Wireless Network in Alloy.
TrustCom
Aliaa M. Alabdali, Lilia Georgieva, Greg Michaelson
2011 J jnl
In memory of Manny Lehman, 'Father of Software Evolution'.
J. Softw. Maintenance Res. Pract.
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
2011 — conf
Reasoning about Multi-process Systems with the Box Calculus.
CEFP
Greg Michaelson, Gudmund Grov
2011 J jnl
Special issue on social impact of AI: killer robots or friendly fridges.
AI Soc.
Greg Michaelson, Ruth Aylett
2010 J jnl
Cost-driven autonomous mobility.
Comput. Lang. Syst. Struct.
Xiao Yan Deng, Greg Michaelson, Philip W. Trinder
2010 J jnl
Hume box calculus: robust system development through software transformation.
High. Order Symb. Comput.
Gudmund Grov, Greg Michaelson
2009 J jnl
Alison Cawsey.
Comput. Linguistics
Greg Michaelson
2009 — conf
Characterising Effective Resource Analyses for Parallel and Distributed Coordination.
FOPARA
Philip W. Trinder, Murray Cole, Hans-Wolfgang Loidl, Greg Michaelson
2009 J jnl
Is Economic Planning Hypercomputational? The Argument from Cantor Diagonalisation.
Int. J. Unconv. Comput.
Allin Cottrell, W. Paul Cockshott, Greg Michaelson
2009 — conf
Low Pain vs No Pain Multi-core Haskells.
Trends in Functional Programming
Mustafa Aswad, Phil Trinder, Abdallah Al Zain, Greg Michaelson, Jost Berthold
2009 — conf
Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures.
DAMP
Abdallah Al Zain, Kevin Hammond, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad
2009 J jnl
The Peter Landin prize.
High. Order Symb. Comput.
Kevin Hammond, Greg Michaelson
2008 J jnl
Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs.
IEEE Trans. Parallel Distributed Syst.
Abdallah Al Zain, Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl
2008 J jnl
Physical constraints on hypercomputation.
Theor. Comput. Sci.
W. Paul Cockshott, Lewis Mackenzie, Greg Michaelson
2008 Misc conf
Preserving coordination properties when transforming concurrent system components.
SAC
Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland
2007 J jnl
Are There New Models of Computation? Reply to Wegner and Eberbach.
Comput. J.
W. Paul Cockshott, Greg Michaelson
2007 — conf
Automatically Costed Autonomous Mobility.
IAT
Xiao Yan Deng, Greg Michaelson, Philip W. Trinder
2007 B conf
Formal verification of concurrent scheduling strategies using TLA.
ICPADS
Gudmund Grov, Greg Michaelson, Andrew Ireland
2007 J jnl
Inductive Synthesis of Functional Programs by U. Schmid, Springer Verlag, 2003, 420pp, ISBN 3540401741.
J. Funct. Program.
Greg Michaelson
2007 — conf
Towards a Box Calculus for Hierarchical Hume.
Trends in Functional Programming
Gudmund Grov, Greg Michaelson
2007 Misc conf
Towards resource-certified software: a formal cost model for time and its application to an image-processing example.
SAC
Armelle Bonenfant, Zezhi Chen, Kevin Hammond, Greg Michaelson, Andrew M. Wallace, Iain Wallace
2006 — conf
Autonomous Mobile Programs.
IAT
Xiao Yan Deng, Philip W. Trinder, Greg Michaelson
2006 J jnl
Autonomous mobility skeletons.
Parallel Comput.
Xiao Yan Deng, Greg Michaelson, Philip W. Trinder
2006 C conf
Constraints on Hypercomputation.
CiE
Greg Michaelson, W. Paul Cockshott
2006 J jnl
Empirical Parallel Performance Prediction From Semantics-Based Profiling.
Scalable Comput. Pract. Exp.
Norman Scaife, Greg Michaelson, Susumu Horiguchi
2006 — conf
Low-Level Programming in Hume: An Exploration of the HW-Hume Level.
IFL
Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland
2006 J jnl
Managing Heterogeneity in a Grid Parallel Haskell.
Scalable Comput. Pract. Exp.
Abdallah Al Zain, Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl
2006 J jnl
Orthogonal parallel processing in vector Pascal.
Comput. Lang. Syst. Struct.
W. Paul Cockshott, Greg Michaelson
2006 J jnl
Parallel Standard ML with Skeletons.
Scalable Comput. Pract. Exp.
Norman Scaife, Greg Michaelson, Susumu Horiguchi
2006 — conf
Towards Formally Verifiable WCET Analysis for a Functional Programming Language.
WCET
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
2005 J jnl
A parallel SML compiler based on algorithmic skeletons.
J. Funct. Program.
Norman Scaife, Susumu Horiguchi, Greg Michaelson, Paul Bristow
2005 J jnl
Discovering applications of higher order functions through proof planning.
Formal Aspects Comput.
Andrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife
2005 Misc conf
Empirical Parallel Performance Prediction from Semantics-Based Profiling.
International Conference on Computational Science (2)
Norman Scaife, Greg Michaelson, Susumu Horiguchi
2005 — ed.
Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers
IFL
Clemens Grelck, Frank Huch, Greg Michaelson, Philip W. Trinder
2005 Misc conf
Managing Heterogeneity in a Grid Parallel Haskell.
International Conference on Computational Science (2)
Abdallah Al Zain, Philip W. Trinder, Hans-Wolfgang Loidl, Greg Michaelson
2005 — conf
The Embounded project (project start paper).
Trends in Functional Programming
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
2004 Misc conf
FSM-Hume: programming resource-limited systems using bounded automata.
SAC
Greg Michaelson, Kevin Hammond, Jocelyn Sérot
2004 — ed.
Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers
IFL
Philip W. Trinder, Greg Michaelson, Ricardo Pena
2003 — conf
Applied NLG system evaluation: FlexyCAT.
ENLG@EACL
Nestor Yurievich Miliaev, Alison Cawsey, Greg Michaelson
2003 J jnl
Comparing Parallel Functional Languages: Programming and Performance.
High. Order Symb. Comput.
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
2003 — conf
FSM-Hume is finite state.
Trends in Functional Programming
Greg Michaelson, Kevin Hammond, Jocelyn Sérot
2003 B conf
Hume: A Domain-Specific Language for Real-Time Embedded Systems.
GPCE
Kevin Hammond, Greg Michaelson
2003 — ch.
Skeleton Realisations from Functional Prototypes.
Patterns and Skeletons for Parallel and Distributed Computing
Greg Michaelson, Norman Scaife
2003 — conf
The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain.
Domain-Specific Program Generation
Kevin Hammond, Greg Michaelson
2002 J jnl
Explaining Polymorphic Types.
Comput. J.
Yang Jun, Greg Michaelson, Philip W. Trinder
2002 — conf
Predictable Space Behaviour in FSM-Hume.
IFL
Kevin Hammond, Greg Michaelson
2002 Misc conf
Technical Documentation: An Integrated Architecture for Supporting the Author in Generation and Resource Editing.
AIMSA
Nestor Yurievich Miliaev, Alison Cawsey, Greg Michaelson
2001 — conf
Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler.
IFL
Norman Scaife, Greg Michaelson, Susumu Horiguchi
2001 A* conf
Higher Order Function Synthesis Through Proof Planning.
ASE
Andrew Cook, Andrew Ireland, Greg Michaelson
2001 — conf
Human and "human-like" type explanations.
PPIG
Yang Jun, Greg Michaelson, Phil Trinder
2000 J jnl
A visualisation of polymorphic type checking.
J. Funct. Program.
Yang Jung, Greg Michaelson
2000 — conf
How do people check polymorphic types?
PPIG
Yang Jun, Greg Michaelson, Phil Trinder
2000 — ed.
Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), University of Stirling, Bridge of Allan, Scotland, August 29th to September 1st, 1999
Scottish Functional Programming Workshop
Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl
1999 — ch.
Foundations.
Research Directions in Parallel Functional Programming
Greg Michaelson, Kevin Hammond, Chris Clack
1999 — ch.
Introduction.
Research Directions in Parallel Functional Programming
Kevin Hammond, Greg Michaelson
1999 — book
Research Directions in Parallel Functional Programming
Kevin Hammond, Greg Michaelson
1999 — ch.
Summary.
Research Directions in Parallel Functional Programming
Greg Michaelson, Kevin Hammond
1998 J jnl
A Dual Source, Parallel Architecture for Computer Vision.
J. Supercomput.
Andrew M. Wallace, Greg Michaelson, Norman Scaife, W. J. Austin
1997 J jnl
Automatic assessment of elementary Standard ML programs using Ceilidh.
J. Comput. Assist. Learn.
Sandra P. Foubister, Greg Michaelson, N. Tomes
1996 — conf
Automatic Analysis Of Functional Program Style.
Australian Software Engineering Conference
Greg Michaelson
1995 J jnl
Implementing Prolog Definite Clause Grammars with SLR(1) parsers on the Relational Algebra Accelerator.
Inf. Softw. Technol.
Greg Michaelson
1995 J jnl
Prototyping a Parallel Vision System in Standard ML.
J. Funct. Program.
Greg Michaelson, Norman Scaife
1994 — conf
Women and Men in Computer Cartoons from Punch: 1946 to 1982.
WWC
Greg Michaelson
1993 — conf
Parallel Implementations from Functional Prototype Instrumentation.
PARCO
Greg Michaelson, Tore A. Bratvold, David John Busvine, K. G. Waugh
1992 J jnl
Dynamic Control and Prototyping of Parallel Algorithms for Intermediate- and High-Level Vision.
Computer
Andrew M. Wallace, Greg Michaelson, Patrick McAndrew, K. G. Waugh, W. J. Austin
1990 — conf
The Edinburgh Woman in Computing Workshops.
WiC
D. Welch, Greg Michaelson
1989 — conf
Grammars and Implementation Independent Structure Representation.
POS
Greg Michaelson
1989 J jnl
Parallel imperative and functional approaches to visual scene labelling.
Image Vis. Comput.
S. Hopkins, Greg Michaelson, Andrew M. Wallace
1986 J jnl
Interpreters From Functions and Grammars.
Comput. Lang.
Greg Michaelson