Home

Research

Publications

Teaching

Project Proposals

Computing Home

DCU Home

 

Selected Publications

  • G.W. Hamilton
    "Generating Counterexamples for Model Checking by Transformation"
    Electronic Proceedings in Theoretical Computer Science 216: 65-82
    July 2016

  • V. Kannan and G.W. Hamilton
    "Program Transformation to Identify List-Based Parallel Skeletons"
    Electronic Proceedings in Theoretical Computer Science 216: 118-136
    July 2016

  • V. Kannan and G.W. Hamilton
    "Functional Program Transformation for Parallelisation using Skeletons"
    Proceedings of the Ninth International Symposium on High-Level Parallel Programming and Applications
    Münster, Germany, July 2016

  • V. Kannan and G.W. Hamilton
    "Distilling New Data Types"
    Proceedings of the Fifth International Workshop on Metacomputation
    Pereslavl-Zalessky, Russia, June/July 2016

  • G.W. Hamilton
    "Generating Counterexamples for Model Checking by Transformation"
    Proceedings of the Fourth International Workshop on Verification and Program Transformation
    Eindhoven, The Netherlands, April 2016

  • V. Kannan and G.W. Hamilton
    "Program Transformation to Identify List-Based Parallel Skeletons"
    Proceedings of the Fourth International Workshop on Verification and Program Transformation
    Eindhoven, The Netherlands, April 2016

  • V. Kannan and G.W. Hamilton
    "Program Transformation to Identify Parallel Skeletons"
    Proceedings of the 24th Euromicro International Conference on Parallel, Distributed and Network-Based Processing
    Heraklion Crete, Greece, February 2016

  • G.W. Hamilton
    "Verifying Temporal Properties of Reactive Systems by Transformation"
    Electronic Proceedings in Theoretical Computer Science, 199: 33-50
    December 2015

  • G.W. Hamilton
    "Verifying Temporal Properties of Reactive Systems by Transformation"
    Proceedings of the Third International Workshop on Verification and Program Transformation
    London, UK, April 2015

  • A. Gugel, B. Aziz and G.W. Hamilton
    "Revisiting the BAN-modified Andrew Secure RPC protocol"
    Journal of Internet Services and Information Security, 4(3): 82-96
    August 2014

  • G.W. Hamilton and Morten Heine Sørensen
    "Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem"
    Proceedings of the Second International Workshop on Verification and Program Transformation
    Vienna, Austria, July 2014

  • N.D. Jones and G.W. Hamilton
    "Towards Understanding Superlinear Speedup by Distillation"
    Proceedings of the Fourth International Workshop on Metacomputation
    Pereslavl-Zalessky, Russia, June/July 2014

  • V. Kannan and G.W. Hamilton
    "Extracting Data Parallel Computations from Distilled Programs"
    Proceedings of the Fourth International Workshop on Metacomputation
    Pereslavl-Zalessky, Russia, June/July 2014

  • M. Dever and G.W. Hamilton
    "AutoPar: Automating the Parallelization of Functional Programs"
    Proceedings of the Fourth International Workshop on Metacomputation
    Pereslavl-Zalessky, Russia, June/July 2014

  • N.D. Jones and G.W. Hamilton
    "Asymptotic Speedups, Bisimulation and Distillation"
    Proceedings of the Ninth International Andrei Ershov Memorial Conference: Perspectives of System Informatics
    St. Petersburg, Russia, June 2014
    Lecture Notes in Computer Science LNCS 8974:177-185

  • M. Dever and G.W. Hamilton
    "Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs"
    Proceedings of the Ninth International Andrei Ershov Memorial Conference: Perspectives of System Informatics
    St. Petersburg, Russia, June 2014
    Lecture Notes in Computer Science LNCS 8974:59-66

  • B. Aziz and G.W. Hamilton
    "Enforcing Reputation Constraints on Business Process Workflows"
    Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, 5(1): 101-121
    March 2014

  • B. Aziz and G.W. Hamilton
    "Reputation-Controlled Business Process Workflows"
    Proceedings of the Eighth International Conference on Availability, Reliability and Security
    Regensburg, Germany, September 2013
    IEEE Computer Society

  • G.W. Hamilton
    "On the Termination of Higher-Order Positive Supercompilation"
    Proceedings of the First International Workshop on Verification and Program Transformation
    Saint Petersburg, Russia, July 2013

  • 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

  • G.W. Hamilton and M.H. Kabir
    "Constructing Programs From Metasystem Transition Proofs"
    Proceedings of the First International Workshop on Metacomputation
    Pereslavl-Zalessky, Russia, July 2008

  • M.H. Kabir and G.W. Hamilton
    "Extending Poitín to Handle Explicit Quantification"
    Proceedings of the Sixth International Workshop on First-Order Theorem Proving
    Liverpool, UK, September 2007

  • B. Aziz and G.W. Hamilton
    "Modelling and Analysis of PKI-Based Systems Using Process Calculi"
    International Journal of Foundations of Computer Science, 18(3):593-618
    June 2007
    World Scientific

  • G.W. Hamilton
    "Distilling Programs for Verification"
    Proceedings of the International Conference on Compiler Optimization Meets Compiler Verification
    Braga, Portugal, March 2007
    Electronic Notes in Theoretical Computer Science 190(4):17-32

  • G.W. Hamilton
    "Distillation: Extracting the Essence of Programs"
    Proceedings of the ACM Workshop on Partial Evaluation and Program Manipulation
    Nice, France, January 2007
    ACM Press

  • G.W. Hamilton
    "Higher Order Deforestation"
    Fundamenta Informaticae, 69(1-2):39-61
    January 2006
    IOS Press

  • B. Aziz, D. Gray and G.W. Hamilton
    "A Static Analysis of PKI-Based Systems"
    Proceedings of The Ninth Italian Conference on Theoretical Computer Science
    Siena, Italy, October 2005
    Lecture Notes in Computer Science LNCS 3701:51-65

  • B. Power and G.W. Hamilton
    "Declassification: Transforming Java Programs to Remove Intermediate Classes"
    Proceedings of the Fifth International Workshop on Source Code Analysis and Manipulation
    Budapest, Hungary, September 2005
    IEEE Computer Society

  • B. Aziz, G.W. Hamilton and D. Gray
    "A Static Analysis of Cryptographic Processes: The Denotational Approach"
    Journal of Logic and Algebraic Programming, 64(2):285-320
    August 2005
    Elsevier

  • G.W. Hamilton
    "Poitín: Distilling Theorems From Conjectures"
    Proceedings of The Twelfth Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
    Newcastle-Upon-Tyne, England, July 2005
    Electronic Notes in Theoretical Computer Science 151(1):143-160

  • D. Sinclair, D. Gray and G.W. Hamilton
    "Synthesising Attacks on Cryptographic Protocols"
    Second International Symposium on Automated Technology for Verification and Analysis
    Taipei, Taiwan, November 2004
    Lecture Notes in Computer Science LNCS 3299:49-63

  • D. Gray, B. Aziz and G.W. Hamilton
    "SPIKY: A Nominal Calculus for modelling Protocols that use PKIs"
    Proceedings of the International Workshop on Security Analysis of Systems: Formalism and Tools
    Orleans, France, June 2004

  • B. Aziz, G.W. Hamilton and D. Gray
    "A Denotational Approach to Static Analysis of Cryptographic Processes"
    Proceedings of The International Workshop on Software Verification and Validation
    Mumbai, India, December 2003
    Electronic Notes in Theoretical Computer Science 118:19-36

  • B. Aziz and G.W. Hamilton
    "A Privacy Analysis for the Pi-Calculus: The Denotational Approach"
    Proceedings of The Second Workshop on Specification, Analysis and Verification for Emerging Technologies
    Copenhagen, Denmark, July 2002

  • G.W. Hamilton
    "Extending Higher Order Deforestation: Transforming Programs to Eliminate Even More Trees"
    Proceedings of the Third Scottish Functional Programming Workshop
    Stirling, Scotland, August 2001
    Chapter in Trends in Functional Programming (Volume 3)
    Intellect Books, 2002

  • B. Aziz, D. Gray, G.W. Hamilton, F. Oehl, J. Power and D. Sinclair
    "Implementing Protocol Verification for E-Commerce"
    Proceedings of the International Conference on Advances in Infrastructure for Electronic Business, Science, and Education on the Internet
    L'Aquila, Italy, August 2001

  • B. Power and G.W. Hamilton
    "Declassification: Transforming Java Programs to Remove Intermediate Classes"
    Proceedings of the Workshop on Intermediate Representation Engineering for the Java Virtual Machine
    Orlando, Florida, USA, July 2001

  • B. Aziz and G.W. Hamilton
    "A Denotational Semantics for the Pi-Calculus"
    Proceedings of The Fifth Irish Workshop on Formal Methods
    Dublin, Ireland, July 2001

  • D. Gray, G.W. Hamilton, J. Power and D. Sinclair
    "A Specification of TCP/IP using Mixed Intuitionistic Linear Logic"
    Proceedings of the 2nd Joint Workshop on Formal Specification of Computer-Based Systems
    Washington DC, USA, April 2001

  • G.W. Hamilton
    "Composing Fair Objects"
    International Journal of Computer and Information Science, 1(3): 134-144
    September 2000

  • G.W. Hamilton, J.P. Gibson and D. Méry
    "Composing Fair Objects"
    Proceedings of the International Conference on Software Engineering Applied to Networking & Parallel/ Distributed Computing
    Reims, France, May 2000

  • J.P. Gibson, G.W. Hamilton and D. Méry
    "A Taxonomy for Triggered Interactions Using Fair Object Semantics"
    Proceedings of the Feature Interaction Workshop 2000
    Glasgow, Scotland, May 2000
    IOS Press

  • D. Sinclair, J. Power, J.P. Gibson, D. Gray and G.W. Hamilton
    "Specifying and Verifying IP with Linear Logic"
    Proceedings of the International Workshop on Distributed System Validation and Verification
    Taipei, Taiwan, April 2000
    IEEE Computer Society Press

  • D. Gray, G.W. Hamilton, D. Sinclair, J.P. Gibson and J. Power
    "Four Logics and a Protocol"
    Proceedings of The Third Irish Workshop on Formal Methods
    Galway, Ireland, July 1999
    BCS Electronic Workshops in Computing

  • J.P. Gibson, G.W. Hamilton and D. Méry
    "Integration Problems in Telephone Feature Requirements"
    Proceedings of The First International Conference on Integrated Formal Methods, 129-151
    York, England, June 1999
    Springer

  • O.P. Brereton, D. Budgen and G.W. Hamilton
    "Hypertext: The Next Maintenance Mountain"
    IEEE Computer, 31(12):49-55
    December 1998
    IEEE Computer Society

  • G.W. Hamilton
    "Usage Counting Analysis for Lazy Functional Languages"
    Information and Computation, 146(2):100-137
    November 1998
    Academic Press

  • G.W. Hamilton
    "Higher Order Deforestation"
    Proceedings of the Eighth International Symposium on Programming Languages, Implementations, Logics, and Programs, 213-227
    Aachen, Germany, September 1996
    Springer
    Lecture Notes in Computer Science LNCS 1140

  • G.W. Hamilton
    "Compile-Time Garbage Collection for Lazy Functional Languages"
    Proceedings of the 1995 International Workshop on Memory Management, 119-144
    Kinross, Scotland, September 1995
    Springer
    Lecture Notes in Computer Science LNCS 986

  • G.W. Hamilton
    "Garbage Recycling: Transforming Programs to Reuse Garbage"
    Technical Report TR95-13
    Department of Computer Science, Keele University
    July 1995

  • G.W. Hamilton
    "Determining Usage Information in Lazy Functional Languages"
    Technical Report TR95-12
    Department of Computer Science, Keele University
    July 1995

  • G.W. Hamilton
    "Higher-Order Deforestation"
    Technical Report TR95-07
    Department of Computer Science, Keele University
    July 1995

  • G.W. Hamilton
    "Extending First Order Deforestation"
    Technical Report TR95-06
    Department of Computer Science, Keele University
    July 1995

  • G.W. Hamilton
    "Compile-Time Optimisation of Store Usage in Lazy Functional Programs"
    PhD Thesis
    Department of Computing Science and Mathematics, University of Stirling
    October 1993

  • G.W. Hamilton
    "Sharing Analysis of Lazy First Order Functional Programs"
    Proceedings of the Workshop on Static Analysis, 68-78
    Bordeaux, France, September 1992
    BIGRE Vol 81-82

  • G.W. Hamilton and S.B. Jones
    "Transforming Programs to Eliminate Intermediate Structures"
    Proceedings of the Workshop on Static Analysis of Equational, Functional and Logic Programming Languages, 182-188
    Bordeaux, France, October 1991
    BIGRE Vol 74

  • G.W. Hamilton and S.B. Jones
    "Extending Deforestation for First Order Functional Programs"
    Proceedings of the 1991 Glasgow Workshop on Functional Programming, 134-145
    Portree, Isle of Skye, Scotland, August 1991
    Springer-Verlag
    BCS Workshops in Computing

  • G.W. Hamilton
    "Compile-Time Garbage Avoidance"
    Technical Report TR 74
    Department of Computing Science and Mathematics, University of Stirling
    December 1991

  • G.W. Hamilton and S.B. Jones
    "Compile-Time Garbage Collection by Necessity Analysis"
    Proceedings of the 1990 Glasgow Workshop on Functional Programming, 66-70
    Ullapool, Scotland, August 1990
    Springer-Verlag
    BCS Workshops in Computing

  • G.W. Hamilton and S.B. Jones
    "Compile-Time Garbage Collection by Necessity Analysis"
    Technical Report TR 67
    Department of Computing Science and Mathematics, University of Stirling
    September 1990

[ Back to the top ]