Gregory John Michaelson

Research output

Research output per year 1986 2001 2002 2003 2004 2005 2006 2007 2008 2012 2018 2020

• 37 Article
• 24 Conference contribution
• 21 Paper
• 5 Chapter
• 9 More
  • 4 Chapter (peer-reviewed)
  • 2 Other chapter contribution
  • 2 Literature review
  • 1 Anthology

Research output per year

Research output per year

Search results

• 2019

  Colocation of Potential Parallelism in a Distributed Adaptive Run-Time System for Parallel Haskell

  Belikov, E., Loidl, H-W. & Michaelson, G., 24 Apr 2019, (E-pub ahead of print) Trends in Functional Programming: 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers. Pałka, M. & Myreen, M. (eds.). p. 1-19 19 p. (Lecture Notes in Computer Science; vol. 11457).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Runtime Systems 100%
  • Haskell 71%
  • Adaptive Systems 71%
  • Parallelism 58%
  • Electric sparks 51%

• Graphical Program Transformations for Embedded Systems

  Stewart, R., Berthomieu, B., Garcia, P., Ibrahim, I., Michaelson, G. & Wallace, A., 8 Apr 2019, Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. Association for Computing Machinery, p. 647-649 3 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Embedded systems 100%
  • Computer systems programming 45%
  • Real time systems 35%
  • Field programmable gate arrays (FPGA) 29%
  • Throughput 24%
  2 Citations (Scopus)
• 2018

  Area-energy aware dataflow optimisation of visual tracking systems

  Garcia, P., Bhowmik, D., Wallace, A., Stewart, R. & Michaelson, G., 8 Apr 2018, Applied Reconfigurable Computing: Architectures, Tools, and Applications. Springer, p. 523-536 14 p. (Lecture Notes in Computer Science; vol. 10824).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Visual Tracking 100%
  • Tracking System 81%
  • Visual System 78%
  • Data Flow 66%
  • Refactoring 43%
  1 Citation (Scopus)

  14 Downloads (Pure)

• Parallel Mean Shift Accuracy and Performance Trade-Offs

  Duncan, K., Stewart, R. J. & Michaelson, G. J., 6 Sep 2018, 2018 25th IEEE International Conference on Image Processing (ICIP). IEEE, p. 2197-2201 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Program processors 100%
  20 Downloads (Pure)
• 2017

  Power Efficient Dataflow Design for a Heterogeneous Smart Camera Architecture

  Bhowmik, D., Garcia, P., Wallace, A., Stewart, R. & Michaelson, G., 1 Dec 2017, 2017 Conference on Design and Architectures for Signal and Image Processing (DASIP). IEEE, 8122128

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Data Flow 100%
  • Multiprocessing 73%
  • Mobile Robot 70%
  • Computer Vision 54%
  • Embedded Systems 54%
  6 Citations (Scopus)
• 2016

  A Dataflow IR for memory efficient RIPL compilation to FPGAs

  Stewart, R., Michaelson, G. J., Bhowmik, D., Garcia, P. & Wallace, A., 2016, Algorithms and Architectures for Parallel Processing: ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016, Proceedings. Springer International Publishing, p. 174-188 15 p. (Lecture Notes in Computer Science; vol. 10049).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Field Programmable Gate Array 100%
  • Data Flow 84%
  • Compilation 82%
  • Image Processing 69%
  • Field programmable gate arrays (FPGA) 51%
  9 Citations (Scopus)

  37 Downloads (Pure)

• Are there domain specific languages?

  Michaelson, G. J., 12 Mar 2016, RWDSL '16 Proceedings of the 1st International Workshop on Real World Domain Specific Languages. Association for Computing Machinery, 1

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2015

  Profile driven dataflow optimisation of mean shift visual tracking

  Bhowmik, D., Wallace, A., Stewart, R., Qian, X. & Michaelson, G., 9 Feb 2015, 2014 IEEE Global Conference on Signal and Information Processing (GlobalSIP). IEEE, 7032066

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Program processors 100%
  • Field programmable gate arrays (FPGA) 96%
  • Data storage equipment 71%
  • Computer vision 49%
  • Scheduling 40%
  1 Citation (Scopus)

  77 Downloads (Pure)

• RIPL: An Efficient Image Processing DSL for FPGAs

  Stewart, R., Bhowmik, D., Michaelson, G. J. & Wallace, A. M., 2015, Proceedings of the Second International Workshop on FPGAs for Software Programmers. London, p. 80-81 2 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Field programmable gate arrays (FPGA) 100%
  • Image processing 95%
  • Pipelines 31%
  • Data storage equipment 24%
  • Computer hardware 23%
• 2012

  Accelerated People Tracking using Texture in a Camera Network

  Limprasert, W., Wallace, A. M. & Michaelson, G. J., Feb 2012, Proceedings of the International Conference on Computer Vision Theory and Applications 2012. p. 225-234

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Graphics processing unit 100%
  • Textures 85%
  • Cameras 76%

• Harnessing parallelism in FPGAs using the hume language

  Sérot, J. & Michaelson, G. J., 2012, Proceedings of the 1st ACM SIGPLAN Workshop on Functional High-Performance Computing. Filinski, A. (ed.). Association for Computing Machinery, p. 27-36 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Modelling of secure data transmission over a multichannel wireless network in alloy

  Alabdali, A. M., Georgieva, L. & Michaelson, G. J., 2012, 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) . IEEE, p. 785-792 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Wireless local area networks (WLAN) 100%
  • Data communication systems 92%
  • Wireless networks 80%
  • Specification languages 39%
• 2010

  Characterising effective resource analyses for parallel and distributed coordination

  Trinder, P., Cole, M., Loidl, H. W. & Michaelson, G., 2010, Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Revised Selected Papers. Vol. 6324 LNCS. p. 67-83 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6324 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • coordination 100%
  • resource 59%
  • analysis 28%
  • cost 27%
  • communication 20%
  1 Citation (Scopus)
• 2009

  Low-pain,high-gain multicore programming in haskell coordinating irregular symbolic computations on multiCore architectures

  Zain, A. A., Trinder, P., Aswad, M., Michaelson, G., Hammond, K. & Berthold, J., 2009, Proceedings of the 4th ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, DAMP'09. p. 25-36 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Multicore programming 100%
  • Algebra 60%
  • Data storage equipment 35%
  • Functional programming 25%
  • Message passing 20%
  6 Citations (Scopus)
• 2008

  Automatically costed autonomous mobility

  Deng, X. Y., Michaelson, G. & Trinder, P., 2008, Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2007. p. 95-101 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Costs 100%
  1 Citation (Scopus)

• Formal action semantics for a UML action language

  Yang, M., Michaelson, G. J. & Pooley, R. J., 2008, Proceedings of XII Brazilian Symposium on Programming Languages. p. 129-142

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2007

  Autonomous mobile programs

  Deng, X. Y., Trinder, P. & Michaelson, G., 2007, Proceedings - 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2006 Main Conference Proceedings), IAT'06. p. 177-183 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Costs 100%
  • Scalability 70%
  • Experiments 31%
  5 Citations (Scopus)

• Formal verification of concurrent scheduling strategies using TLA

  Grov, G., Michaelson, G. & Ireland, A., 2007, The 13th International Conference on Parallel and Distributed Systems, ICPADS. Vol. 2.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Temporal logic 100%
  • Formal verification 99%
  • Scheduling 58%
  • Computer programming languages 38%
  5 Citations (Scopus)

• Low-level programming in Hume: An exploration of the HW-Hume level

  Hammond, K., Grov, G., Michaelson, G. & Ireland, A., 2007, Implementation and Application of Functional Languages - 18th International Symposium, IFL 2006, Revised Selected Papers. Vol. 4449 LNCS. p. 91-107 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4449 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  1 Citation (Scopus)

• Towards resource-certified software: A formal cost model for time and its application to an image-processing example

  Bonenfant, A., Chen, Z., Hammond, K., Michaelson, G., Wallace, A. & Wallace, I., 2007, Proceedings of the 2007 ACM Symposium on Applied Computing. p. 1307-1314 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Image processing 100%
  • Costs 48%
  • Motion tracking 39%
  • Software architecture 33%
  • Embedded systems 29%
  5 Citations (Scopus)
• 2006

  Constraints on hypercomputation

  Michaelson, G. & Cockshott, P., 2006, Logical Approaches to Computational Barriers - Second Conference on Computability in Europe, CiE 2006, Proceedings. Vol. 3988 LNCS. p. 378-387 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3988 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Turing machines 100%
  3 Citations (Scopus)

• Towards formally verifiable WCET analysis for a functional programming language

  Hammond, K., Ferdinand, C., Heckmann, R., Dyckhoff, R., Hofmann, M., Jost, S., Loidl, H-W., Michaelson, G., Pointon, R., Scaife, N., Sérot, J. & Wallace, A., 2006, Proceedings of the 6th International Workshop on Worst-Case Execution Time Analysis. Dagstuhl, (OpenAccess Series in Informatics; vol. 4).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Functional programming 100%
  • Functional Programming 97%
  • Binary codes 93%
  • programming language 82%
  • Programming Languages 81%
• 2004

  FSM-Hume: Programming resource-limited systems using bounded automata

  Michaelson, G., Hammond, K. & Serot, J., 2004, Proceedings of the 2004 ACM Symposium on Applied Computing. Vol. 2. p. 1455-1461 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Recursive functions 100%
  • Computability and decidability 91%
  • Pattern matching 75%
  • Autonomous vehicles 71%
  • Real time systems 66%
  2 Citations (Scopus)
• 1994

  Women and men in computer cartoons from punch: 1946 to 1982

  Michaelson, G., 1994, Proceedings of the IFIP TC9/WG9.1 Fifth International Conference on Woman, Work and Computerization: Breaking Old Boundaries - Building New Forms. Elsevier, p. 171-184 14 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • cartoon 100%
  • gender role 15%
  • mass media 15%
  • unemployment 14%
  • genre 14%
  1 Citation (Scopus)