Computing

Biographical Details:

Dr. Geoff Hamilton graduated from the University of Stirling, Scotland with a first class honours degree in Computer Science in 1989. He was awarded a Ph.D. from the University of Stirling in 1993. Geoff joined the Computer Science Department in the University of Keele, England as a lecturer in 1993, and then moved to the School of Computer Applications, DCU in 1998, also as a lecturer. He was promoted to senior lecturer in 2001.

Research Interests:

formal methods, program transformation, static analysis, automated verification, model checking, theorem proving

Selected Peer Reviewed Journals

• B. Aziz and G.W. Hamilton. 2011. Verifying a Delegation Protocol for Grid Systems. Future Generation Computer Systems, 27, 5, pp476-485.
• G.W. Hamilton. 2007. Distilling Programs for Verification. Electronic Notes In Theoretical Computer Science, 190, 4, pp17-32.
• B. Aziz and G.W. Hamilton. 2007. Modelling and Analysis of PKI-based Systems using Process Calculi. International Journal Of Foundations Of Computer Science, 18, 3, pp593-618.
• G.W. Hamilton. 2006. Poitín: Distilling Theorems From Conjectures. Electronic Notes In Theoretical Computer Science, 151, 1, pp143-160.
• G.W. Hamilton. 2006. Higher Order Deforestation. Fundamenta Informaticae, 69, 1-2, pp39-61.
• B. Aziz, G.W. Hamilton and D. Gray. 2005. A Static Analysis of Cryptographic Processes: The Denotational Approach. Journal Of Logic And Algebraic Programming, 64, 2, pp285-320.
• B. Aziz, G.W. Hamilton and D. Gray. 2005. A Denotational Approach to the Static Analysis of Cryptographic Processes. Electronic Notes In Theoretical Computer Science, 118, , pp19-36.
• G.W. Hamilton. 2000. Composing Fair Objects. International Journal Of Computer And Information Scien, 1, 3, pp134-144.
• O.P. Brereton, D. Budgen and G.W. Hamilton. 1999. Support for Hypertext Maintenance - Response. Ieee Computer, 32, 6, pp9-9.
• O.P. Brereton, D. Budgen and G.W. Hamilton. 1998. Hypertext: The Next Maintenance Mountain. Ieee Computer, 31, 12, pp49-55.
• G.W. Hamilton. 1998. Usage Counting Analysis for Lazy Functional Languages. Information And Computation, 146, 2, pp100-137.

Selected Chapters

• G.W. Hamilton. 2002. Extending Higher-Order Deforestation: Transforming Programs to Eliminate Even More Trees. Trends in Functional Programming Volume 3, pp25-36.

Selected Non-peer Reviewed Journals

• M. H. Kabir Dr Geoff W Hamilton. 2007. Constructing Programs from Metasystem Transition Proofs. School of Computing Dublin City University Working Paper, CA-0207,
• M.H. Kabir Dr Geoff W Hamilton. 2007. Extending Poitín to Handle Explicit Quantifiers. School of Computing Dublin City University Working Paper, CA-0107,
• G.W. Hamilton. 1997. Software Visualisation Status Report. Internal British Telecom Report,
• G.W. Hamilton. 1995. Higher-Order Deforestation. Department of Computer Science, Keele University Technical Report, TR95-07,
• G.W. Hamilton. 1995. Extending First Order Deforestation. Department of Computer Science, Keele University Technical Report, TR95-06,
• G.W. Hamilton. 1995. Garbage Recycling: Transforming Programs to Reuse Garbage. Department of Computer Science, Keele University Technical Report, TR95-13,
• G.W. Hamilton. 1995. Determining Usage Information in Lazy Functional Languages. Department of Computer Science, Keele University Technical Report, TR95-12,
• G.W. Hamilton. 1991. Compile-Time Garbage Avoidance. Department of Computing Science and Mathematics, University of Stirling Technical Report, 74,
• G.W. Hamilton and S.B. Jones. 1990. Compile-Time Garbage Collection by Necessity Analysis. Department of Computing Science and Mathematics, University of Stirling Technical Report, 67,

• Hamilton G.W., A Hierarchy of Program Transformers, In: A. Klimov and S. Romanenko ed.Proceedings of the Third International Workshop on Metacomputation, 05-JUL-12 - 09-JUL-12, Pereslavl-Zalessky, Russia, 66 - 86
• M. Dever and G.W. Hamilton, A Comparison of Program Transformation Systems, In: A. Klimov and S. Romanenko ed.Proceedings of the Third International Workshop on Metacomputation , 05-JUL-12 - 09-JUL-12, Pereslavl-Zalessky, Russia, 33 - 47
• Jones N.D. and Hamilton G.W., Superlinear Speedup by Program Transformation, In: A. Klimov and S. Romanenko ed.Proceedings of the Third International Workshop on Metacomputation , 05-JUL-12 - 09-JUL-12, Pereslavl-Zalessky, Russia, 88 - 90
• Mendel-Gleason G. and Hamilton G.W., Development of the Productive Forces, In: A. Klimov and S. Romanenko ed.Proceedings of the Third International Workshop on Metacomputation , 05-JUL-12 - 09-JUL-12, Pereslavl-Zalessky, Russia, 184 - 202
• Dever M. and Hamilton G.W., Automating the Parallelization of Functional Programs, Proceedings of Trends in Functional Programming, 12-JUN-12 - 14-JUN-12, St. Andrews, Scotland
• Hamilton G.W. and Jones N.D., Distillation with Labelled Transition Systems, In: O. Kiselyov and S. Thompson ed.Proceedings of the ACM Workshop on Partial Evaluation and Program Manipulation, 23-JAN-12 - 24-JAN-12, Philadelphia, PA, USA, 15 - 24
• Hamilton G.W. and Jones N.D., Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation, In: E. Clarke, I. Virbitskaite, A. Voronkov ed.Proceedings of the Eighth International Andrei Ershov Memorial Conference: Perspectives of System Informatics , 27-JUN-11 - 01-JUL-11, Novosibirsk, Russia, 153 - 169
• G.W. Hamilton and G. Mendel-Gleason, A Graph-Based Definition of Distillation, Second International Workshop on Metacomputation in Russia, 01-JUL-10 - 05-JUL-10, Pereslavl-Zalessky, Russia, 47 - 63
• G. Mendel-Gleason and G.W. Hamilton, Supercompilation and Normalisation by Evaluation, Second International Workshop on Metacomputation in Russia, 01-JUL-10 - 05-JUL-10, Pereslavl-Zalessky, Russia, 128 - 145
• B. Aziz and G.W. Hamilton, Detecting Man-in-the-Middle Attacks by Precise Timing, The Third International Conference on Emerging Security Information, Systems and Technologies (SECURWARE 2009), 18-JUN-09 - 23-JUN-09, Athens, Greece
• Hamilton, G.W., Extracting the Essence of Distillation, Perspectives of System Informatics, 15-JUN-09 - 19-JUN-09, Novosibirsk, Siberia, Russia
• Hamilton G.W. and Kabir M.H., Constructing Programs From Metasystem Transition Proofs, In: Nemytykh, A. ed.First International Workshop on Metacomputation in Russia, 02-JUL-08 - 05-JUL-08, Pereslavl-Zalessky, Russia, 9 - 26
• M.H. Kabir and G.W. Hamilton, Extending Poitín to Handle Explicit Quantification, International Workshop on First-Order Theorem Proving, 12-SEP-07 - 13-SEP-07, Liverpool, UK
• G.W. Hamilton, Distilling Programs For Verification, International Conference on Compiler Optimization Meets Compiler Verification, 25-MAR-07 - 25-MAR-07, Braga, Portugal, 21 - 35
• G.W. Hamilton, Distillation: Extracting the Essence of Programs, Workshop on Partial Evaluation and Program Manipulation, 15-JAN-07 - 16-JAN-07, Nice, France, 61 - 70
• B. Aziz, D. Gray and G.W. Hamilton, A Static Analysis of PKI-Based Systems, Ninth Italian Conference on Theoretical Computer Science, 12-OCT-05 - 14-OCT-05, Siena, Italy, 51 - 65
• B. Power and G.W. Hamilton, Declassification: Transforming Java Programs to Remove Intermediate Classes, IEEE International Workshop on Source Code Analysis and Manipulation, 30-SEP-05 - 01-OCT-05, Budapest, Hungary, 183 - 192
• G.W. Hamilton, Poitín: Distilling Theorems From Conjectures, In: Jacques Carette and William Farmer ed.Twelfth Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 18-JUL-05 - 19-JUL-05, Newcastle-Upon-Tyne, England
• D. Sinclair, D. Gray and G.W. Hamilton, Synthesising Attacks on Cryptographic Protocols, In: Farn Wang ed.International Symposium on Automated Technology for Verification and Analysis, 31-OCT-04 - 03-NOV-04, Taipei, Taiwan, 49 - 63
• D. Gray, B. Aziz and G.W. Hamilton, SPIKY: A Nominal Calculus for Modelling Protocols that use PKIs, International Workshop on Security Analysis of Systems: Formalism and Tools, 21-JUN-04 - 22-JUN-04, Orleans, France
• B. Aziz, G.W. Hamilton and D. Gray, A Denotational Approach to Static Analysis of Cryptographic Processes, In: Sandro Etalle, Supratik Mukhopadhyay and Abhik Roychoudhury ed.International Workshop on Software Verification and Validation, 14-DEC-03 - 14-DEC-03, Mumbai, India, 19 - 36
• B. Aziz and G.W. Hamilton, A Privacy Analysis for the Pi-Calculus: The Denotational Approach, Second Workshop on Specification, Analysis and Verification for Emerging Technologies, 27-JUL-02 - 27-JUL-02, Copenhagen, Denmark
• G.W. Hamilton, Extended Higher-Order Deforestation: Transforming Programs to Eliminate Even More Trees, Scottish Functional Programming Workshop, 22-AUG-01 - 24-AUG-01, Stirling, Scotland
• B. Aziz, D. Gray, G.W. Hamilton, F. Oehl, J. Power and D. Sinclair, Implementing Protocol Verification for E-Commerce, Advances in Infrastructure for Electronic Business, Science, and Education, 06-AUG-01 - 12-AUG-01, L'Aquila, Italy
• B. Power and G.W. Hamilton, Declassification: Transforming Java Programs to Remove Intermediate Classes, Workshop on Intermediate Representation Engineering for the Java Virtual Machine, 22-JUL-01 - 25-JUL-01, Orlando, Florida, USA
• B. Aziz and G.W. Hamilton, A Denotational Semantics for the Pi-Calculus, Irish Workshop on Formal Methods, 16-JUL-01 - 17-JUL-01, Dublin, Ireland
• D. Gray, G.W. Hamilton, J. Power and D. Sinclair, A Specification of TCP/IP using Mixed Intuitionistic Linear Logic, Workshop on Formal Specifications of Computer-Based Systems, 20-APR-01 - 20-APR-01, Washington, USA
• G.W. Hamilton, J.P. Gibson and D. Mery, Composing Fair Objects, Software Engineering Applied to Networking and Parallel/Distributed Computing, 18-MAY-00 - 21-MAY-00, Reims, France
• J.P. Gibson, G.W. Hamilton and D. Mery, A Taxonomy for Triggered Interactions Using Fair Object Semantics, Feature Interaction Workshop, 17-MAY-00 - 19-MAY-00, Glasgow, Scotland
• D. Sinclair, J. Power, J.P. Gibson, D. Gray and G.W. Hamilton, Specifying and Verifying IP with Linear Logic, International Workshop on Distributed System Validation and Verification, 10-APR-00 - 10-APR-00, Taipei, Taiwan
• D. Gray, G.W. Hamilton, D. Sinclair, J.P. Gibson and J. Power, Four Logics and a Protocol, Irish Workshop on Formal Methods, 01-JUL-99 - 02-JUL-99, Galway, Ireland
• J.P. Gibson, G.W. Hamilton and D. Mery, Integration Problems in Telephone Feature Requirements, International Workshop on Integrated Formal Methods, 28-JUN-99 - 29-JUN-99, York, England
• G.W. Hamilton, Higher Order Deforestation, International Symposium on Programming Languages: Implementations, Logics and Programs, 24-SEP-96 - 27-SEP-96, Aachen, Germany
• G.W. Hamilton, Compile-Time Garbage Collection for Lazy Functional Languages, International Workshop on Memory Management, 27-SEP-95 - 29-SEP-95, Kinross, Scotland
• G.W. Hamilton, Sharing Analysis of Lazy First Order Functional Programs, Workshop on Static Analysis, 23-SEP-92 - 25-SEP-92, Bordeaux, France
• G.W. Hamilton and S.B. Jones, Transforming Programs to Eliminate Intermediate Structures, Workshop on Static Analysis, 09-OCT-91 - 11-OCT-91, Bordeaux, France
• G.W. Hamilton and S.B. Jones, Extending Deforestation for First Order Functional Programs, Glasgow Workshop on Functional Programming, 12-AUG-91 - 14-AUG-91, Portree, Isle of Skye, Scotland
• G.W. Hamilton and S.B. Jones, Compile-Time Garbage Collection by Necessity Analysis, Glasgow Workshop on Functional Programming, 13-AUG-90 - 15-AUG-90, Ullapool, Scotland