Dr. Geoff Hamilton

I am a Senior Lecturer in the School of Computing, a member of the Dependable Systems research group in Dublin City University (DCU) and a Senior Researcher with Lero, the Irish Software Engineering Research Centre and CloudCore, the Cloud Computing Research Centre.

Grouping: 
Academic Lecturing
Office: 
L2.55
Phone Number: 
+353-1-7005017
Email Address: 

Research Group: 
Dependable Systems
Associated Research Centres: 
The Irish Software Engineering Research Centre (Lero)
Research Interests: 
  • Program transformation
  • Program verification
  • Automated theorem proving
  • Program parallelization
  • Static program analysis
Selected Publications: 
  • G.W. Hamilton
    "A Hierarchy of Program Transformers"
    Proceedings of the Third International Workshop on Metacomputation
    Pereslavl-Zalessky, Russia, July 2012
  • N.D. Jones and G.W. Hamilton
    "Superlinear Speedup by Program Transformation"
    Proceedings of the Third International Workshop on Metacomputation
    Pereslavl-Zalessky, Russia, July 2012

  • G. Mendel-Gleason and G.W. Hamilton
    "Development of the Productive Forces"
    Proceedings of the Third International Workshop on Metacomputation
    Pereslavl-Zalessky, Russia, July 2012
  • M. Dever and G.W. Hamilton
    "A Comparison of Program Transformation Systems"
    Proceedings of the Third International Workshop on Metacomputation
    Pereslavl-Zalessky, Russia, July 2012
  • M. Dever and G.W. Hamilton
    "Automating the Parallelization of Functional Programs"
    Proceedings of Trends in Functional Programming
    St Andrews, Scotland, June 2012
  • G.W. Hamilton and N.D. Jones
    "Distillation with Labelled Transition Systems"
    Proceedings of the ACM Workshop on Partial Evaluation and Program Manipulation
    Philadelphia, USA, January 2012
    ACM Press
  • G.W. Hamilton and N.D. Jones
    "Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation"
    Proceedings of the Eighth International Andrei Ershov Memorial Conference: Perspectives of System Informatics
    Novosibirsk, Russia, June/July 2011
    Lecture Notes in Computer Science LNCS 7162:153-169
  • B. Aziz and G.W. Hamilton
    "Verifying a Delegation Protocol for Grid Systems"
    Future Generation Computer Systems, 27(5): 476-485
    May 2011
    Elsevier
  • G.W. Hamilton and G. Mendel-Gleason
    "A Graph-Based Definition of Distillation"
    Proceedings of the Second International Workshop on Metacomputation
    Pereslavl-Zalessky, Russia, July 2010
  • G. Mendel-Gleason and G.W. Hamilton
    "Supercompilation and Normalisation by Evaluation"
    Proceedings of the Second International Workshop on Metacomputation
    Pereslavl-Zalessky, Russia, July 2010
  • G.W. Hamilton
    "Extracting the Essence of Distillation"
    Proceedings of the Seventh International Andrei Ershov Memorial Conference: Perspectives of System Informatics
    Novosibirsk, Russia, June 2009
    Lecture Notes in Computer Science LNCS 5947:151-164
  • B. Aziz and G.W. Hamilton
    "Detecting Man-in-the-Middle Attacks by Precise Timing"
    Proceedings of the Third International Conference on Emerging Security Information, Systems and Technologies
    Athens, Greece, June 2009
Active Research Grants: 

SFI RFP: "AUTOPAR: Automatic Parallelization of Programs" 2010-2014

SFI Lero CSET2: "TAAAPOS: Towards Automated Architecture-Aware Parallelization of Systems" 2010-2015