Geoff W. Hamilton

According to our database, Geoff W. Hamilton authored at least 49 papers between 1990 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Excommunication: Transforming π-Calculus Specifications to Remove Internal Communication.

Geoff W. Hamilton, Benjamin Aziz

Proceedings of the Formal Methods: Foundations and Applications - 25th Brazilian Symposium, 2022

2021

Tight Polynomial Bounds for Loop Programs in Polynomial Space.

Amir M. Ben-Amram, Geoff W. Hamilton

Log. Methods Comput. Sci., 2021

The Next 700 Program Transformers.

Geoff W. Hamilton

Proceedings of the Logic-Based Program Synthesis and Transformation, 2021

2020

Tight Polynomial Worst-Case Bounds for Loop Programs.

Amir M. Ben-Amram, Geoff W. Hamilton

Log. Methods Comput. Sci., 2020

Distilling Programs to Prove Termination.

Geoff W. Hamilton

Proceedings of the Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, 2020

2019

Tight Worst-Case Bounds for Polynomial Loop Programs.

Amir M. Ben-Amram, Geoff W. Hamilton

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

Functional Program Transformation for Parallelisation Using Skeletons.

Venkatesh Kannan, Geoff W. Hamilton

Int. J. Parallel Program., 2018

2017

Generating Loop Invariants for Program Verification by Transformation.

Geoff W. Hamilton

Proceedings of the Proceedings Fifth International Workshop on Verification and Program Transformation, 2017

2016

Program Transformation to Identify List-Based Parallel Skeletons.

Venkatesh Kannan, Geoff W. Hamilton

Proceedings of the Fourth International Workshop on Verification and Program Transformation, 2016

Generating Counterexamples for Model Checking by Transformation.

Geoff W. Hamilton

Proceedings of the Fourth International Workshop on Verification and Program Transformation, 2016

Program Transformation to Identify Parallel Skeletons.

Venkatesh Kannan, Geoff W. Hamilton

Proceedings of the 24th Euromicro International Conference on Parallel, 2016

2015

Verifying Temporal Properties of Reactive Systems by Transformation.

Geoff W. Hamilton

Proceedings of the Third International Workshop on Verification and Program Transformation, 2015

2014

Enforcing Reputation Constraints on Business Process Workflows.

Benjamin Aziz, Geoff W. Hamilton

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2014

Asymptotic Speedups, Bisimulation and Distillation (Work in Progress).

Neil D. Jones, Geoff W. Hamilton

Proceedings of the Perspectives of System Informatics, 2014

Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs.

Michael Dever, Geoff W. Hamilton

Proceedings of the Perspectives of System Informatics, 2014

Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem.

Geoff W. Hamilton, Morten Heine Sørensen

Proceedings of the VPT 2014. Second International Workshop on Verification and Program Transformation, 2014

2013

On the Termination of Positive Supercompilation.

Geoff W. Hamilton

Proceedings of the First International Workshop on Verification and Program Transformation, 2013

Reputation-Controlled Business Process Workflows.

Benjamin Aziz, Geoff W. Hamilton

Proceedings of the 2013 International Conference on Availability, Reliability and Security, 2013

2012

Distillation with labelled transition systems.

Geoffrey William Hamilton, Neil D. Jones

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

2011

Verifying a delegation protocol for grid systems.

Benjamin Aziz, Geoff W. Hamilton

Future Gener. Comput. Syst., 2011

Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation.

Geoff W. Hamilton, Neil D. Jones

Proceedings of the Perspectives of Systems Informatics, 2011

2010

Cyclic Proofs and Coinductive Principles.

Gavin Mendel-Gleason, Geoff W. Hamilton

Proceedings of the Partiality and Recursion in Interactive Theorem Provers, 2010

2009

Detecting Man-in-the-Middle Attacks by Precise Timing.

Benjamin Aziz, Geoff W. Hamilton

Proceedings of the Third International Conference on Emerging Security Information, 2009

Extracting the Essence of Distillation.

Geoff W. Hamilton

Proceedings of the Perspectives of Systems Informatics, 2009

2007

Modelling and Analysis of PKI-Based Systems Using Process Calculi.

Benjamin Aziz, Geoff W. Hamilton

Int. J. Found. Comput. Sci., 2007

Distilling Programs for Verification.

Geoff W. Hamilton

Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, 2007

Distillation: extracting the essence of programs.

Geoff W. Hamilton

Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007

2006

Higher Order Deforestation.

Geoff W. Hamilton

Fundam. Informaticae, 2006

2005

A static analysis of cryptographic processes: the denotational approach.

Benjamin Aziz, Geoff W. Hamilton, David Gray

J. Log. Algebraic Methods Program., 2005

Poitín: Distilling Theorems From Conjectures.

Geoff W. Hamilton

Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 2005

Declassification: Transforming Java Programs to Remove Intermediate Classes.

Bernadette Power, Geoff W. Hamilton

Proceedings of the 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September, 2005

A Static Analysis of PKI-Based Systems.

Benjamin Aziz, David Gray, Geoff W. Hamilton

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

2004

Synthesising Attacks on Cryptographic Protocols.

David Sinclair, David Gray, Geoff W. Hamilton

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

A Denotational Approach to the Static Analysis of Cryptographic Processes.

Benjamin Aziz, Geoff W. Hamilton, David Gray

Proceedings of the International Workshop on Software Verification and Validation, 2003

2001

Extending Higher-Order Deforestation: Transforming Programs to Eliminate Even More Trees.

Geoff W. Hamilton

Proceedings of the Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), 2001

A Denotational Semantics for the Pi-Calculus.

Benjamin Aziz, Geoff W. Hamilton

Proceedings of the 5th Irish Workshop on Formal Methods, 2001

2000

Composing fair objects.

Geoff W. Hamilton

ACIS Int. J. Comput. Inf. Sci., 2000

Specifying and Verifying IP with Linear Logic.

David Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff W. Hamilton

Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC, 2000

A Taxonomy for Triggered Interactions Using Fair Object Semantics.

J. Paul Gibson, Geoff W. Hamilton, Dominique Méry

Proceedings of the Feature Interactions in Telecommunications and Software Systems VI, 2000

1999

Four Logics and a Protocol.

David Gray, Geoff W. Hamilton, David Sinclair, J. Paul Gibson, James F. Power

Proceedings of the 3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999, 1999

Integration Problems in Telephone Feature Requirements.

J. Paul Gibson, Geoff W. Hamilton, Dominique Méry

Proceedings of the Integrated Formal Methods, 1999

1998

Usage Counting Analysis for Lazy Functional Languages.

Geoff W. Hamilton

Inf. Comput., 1998

Hypertext: The Next Maintenance Mountain.

Pearl Brereton, David Budgen, Geoff W. Hamilton

Computer, 1998

1995

Compile-Time Garbage Collection for Lazy Functional Languages

Geoff W. Hamilton

Proceedings of the Memory Management, 1995

1993

Compile-time optimisation of store usage in lazy functional programs.

Geoffrey William Hamilton

PhD thesis, 1993

1992

Sharing Analysis of Lazy First-Order Functional Programs.

Geoff W. Hamilton

Proceedings of the Actes WSA'92 Workshop on Static Analysis (Bordeaux, 1992

1991

Transforming Programs to Eliminate Intermediate Structures.

Geoff W. Hamilton, Simon B. Jones

Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991

Extending Deforestation for First Order functional Programs.

Geoff W. Hamilton, Simon B. Jones

Proceedings of the Functional Programming, 1991

1990

Compile-Time Garbage Collection by Necessity Analysis.

Geoff W. Hamilton, Simon B. Jones

Proceedings of the 1990 Glasgow Workshop on Functional Programming, 1990