Geoff W. Hamilton

51 papers A 2B 4C 4Journal 13Unranked 27
YearRankTypeTitle / Venue / Authors
2022 — conf
Excommunication: Transforming π-Calculus Specifications to Remove Internal Communication.
SBMF
Geoff W. Hamilton, Benjamin Aziz
2021 C conf
The Next 700 Program Transformers.
LOPSTR
Geoff W. Hamilton
2021 J jnl
Tight Polynomial Bounds for Loop Programs in Polynomial Space.
Log. Methods Comput. Sci.
Amir M. Ben-Amram, Geoff W. Hamilton
2020 — conf
Distilling Programs to Prove Termination.
VPT/HCVS@ETAPS
Geoff W. Hamilton
2020 J jnl
Tight Polynomial Bounds for Loop Programs in Polynomial Space.
CoRR
Amir M. Ben-Amram, Geoff W. Hamilton
2020 J jnl
Tight Polynomial Worst-Case Bounds for Loop Programs.
Log. Methods Comput. Sci.
Amir M. Ben-Amram, Geoff W. Hamilton
2019 J jnl
Tight Polynomial Worst-Case Bounds for Loop Programs.
CoRR
Amir M. Ben-Amram, Geoff W. Hamilton
2019 B conf
Tight Worst-Case Bounds for Polynomial Loop Programs.
FoSSaCS
Amir M. Ben-Amram, Geoff W. Hamilton
2018 J jnl
Functional Program Transformation for Parallelisation Using Skeletons.
Int. J. Parallel Program.
Venkatesh Kannan, Geoff W. Hamilton
2017 — conf
Generating Loop Invariants for Program Verification by Transformation.
VPT@ETAPS
Geoff W. Hamilton
2016 — conf
Generating Counterexamples for Model Checking by Transformation.
VPT@ETAPS
Geoff W. Hamilton
2016 — ed.
Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016.
VPT@ETAPS
Geoff W. Hamilton, Alexei Lisitsa, Andrei P. Nemytykh
2016 — conf
Program Transformation to Identify List-Based Parallel Skeletons.
VPT@ETAPS
Venkatesh Kannan, Geoff W. Hamilton
2016 C conf
Program Transformation to Identify Parallel Skeletons.
PDP
Venkatesh Kannan, Geoff W. Hamilton
2015 — conf
Verifying Temporal Properties of Reactive Systems by Transformation.
VPT@ETAPS
Geoff W. Hamilton
2014 — conf
Asymptotic Speedups, Bisimulation and Distillation (Work in Progress).
Ershov Memorial Conference
Neil D. Jones, Geoff W. Hamilton
2014 — conf
Automatically Partitioning Data to Facilitate the Parallelization of Functional Programs.
Ershov Memorial Conference
Michael Dever, Geoff W. Hamilton
2014 J jnl
Enforcing Reputation Constraints on Business Process Workflows.
J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.
Benjamin Aziz, Geoff W. Hamilton
2014 — conf
Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem.
VPT@CAV
Geoff W. Hamilton, Morten Heine Sørensen
2013 — conf
On the Termination of Positive Supercompilation.
VPT@CAV
Geoff W. Hamilton
2013 B conf
Reputation-Controlled Business Process Workflows.
ARES
Benjamin Aziz, Geoff W. Hamilton
2011 — conf
Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation.
Ershov Memorial Conference
Geoff W. Hamilton, Neil D. Jones
2011 J jnl
Verifying a delegation protocol for grid systems.
Future Gener. Comput. Syst.
Benjamin Aziz, Geoff W. Hamilton
2010 — conf
Cyclic Proofs and Coinductive Principles.
PAR@ITP
Gavin Mendel-Gleason, Geoff W. Hamilton
2009 — conf
Detecting Man-in-the-Middle Attacks by Precise Timing.
SECURWARE
Benjamin Aziz, Geoff W. Hamilton
2009 — conf
Extracting the Essence of Distillation.
Ershov Memorial Conference
Geoff W. Hamilton
2007 C conf
Distillation: extracting the essence of programs.
PEPM
Geoff W. Hamilton
2007 — conf
Distilling Programs for Verification.
COCV
Geoff W. Hamilton
2007 J jnl
Modelling and Analysis of PKI-Based Systems Using Process Calculi.
Int. J. Found. Comput. Sci.
Benjamin Aziz, Geoff W. Hamilton
2006 J jnl
Higher Order Deforestation.
Fundam. Informaticae
Geoff W. Hamilton
2005 — conf
A Static Analysis of PKI-Based Systems.
ICTCS
Benjamin Aziz, David Gray, Geoff W. Hamilton
2005 J jnl
A static analysis of cryptographic processes: the denotational approach.
J. Log. Algebraic Methods Program.
Benjamin Aziz, Geoff W. Hamilton, David Gray
2005 C conf
Declassification: Transforming Java Programs to Remove Intermediate Classes.
SCAM
Bernadette Power, Geoff W. Hamilton
2005 — conf
Poitín: Distilling Theorems From Conjectures.
Calculemus
Geoff W. Hamilton
2004 B conf
Synthesising Attacks on Cryptographic Protocols.
ATVA
David Sinclair, David Gray, Geoff W. Hamilton
2003 — conf
A Denotational Approach to the Static Analysis of Cryptographic Processes.
SVV@ICLP
Benjamin Aziz, Geoff W. Hamilton, David Gray
2001 — conf
A Denotational Semantics for the Pi-Calculus.
IWFM
Benjamin Aziz, Geoff W. Hamilton
2001 — conf
Extending Higher-Order Deforestation: Transforming Programs to Eliminate Even More Trees.
Scottish Functional Programming Workshop
Geoff W. Hamilton
2000 — conf
A Taxonomy for Triggered Interactions Using Fair Object Semantics.
FIW
J. Paul Gibson, Geoff W. Hamilton, Dominique Méry
2000 J jnl
Composing fair objects.
ACIS Int. J. Comput. Inf. Sci.
Geoff W. Hamilton
2000 — conf
Specifying and Verifying IP with Linear Logic.
ICDCS Workshop on Distributed System Validation and Verification
David Sinclair, James F. Power, J. Paul Gibson, David Gray, Geoff W. Hamilton
1999 — conf
Four Logics and a Protocol.
IWFM
David Gray, Geoff W. Hamilton, David Sinclair, J. Paul Gibson, James F. Power
1999 B conf
Integration Problems in Telephone Feature Requirements.
IFM
J. Paul Gibson, Geoff W. Hamilton, Dominique Méry
1998 J jnl
Hypertext: The Next Maintenance Mountain.
Computer
Pearl Brereton, David Budgen, Geoff W. Hamilton
1998 J jnl
Usage Counting Analysis for Lazy Functional Languages.
Inf. Comput.
Geoff W. Hamilton
1996 — conf
Higher Order Deforestation.
PLILP
Geoff W. Hamilton
1995 — conf
Compile-Time Garbage Collection for Lazy Functional Languages
IWMM
Geoff W. Hamilton
1992 — conf
Sharing Analysis of Lazy First-Order Functional Programs.
WSA
Geoff W. Hamilton
1991 A conf
Extending Deforestation for First Order functional Programs.
Functional Programming
Geoff W. Hamilton, Simon B. Jones
1991 — conf
Transforming Programs to Eliminate Intermediate Structures.
JTASPEFT/WSA
Geoff W. Hamilton, Simon B. Jones
1990 A conf
Compile-Time Garbage Collection by Necessity Analysis.
Functional Programming
Geoff W. Hamilton, Simon B. Jones