Skip to content
cs-conference-ranking.org

Geoff W. Hamilton

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

12

Venues

10

Active years

1991–2021

Best venue rank

A*

Where they publish

Papers

12 indexed papers, newest first.

YearVenueTitleAuthors
2021LOPSTRThe Next 700 Program Transformers.Geoff W. Hamilton
2019FOSSACSTight Worst-Case Bounds for Polynomial Loop Programs.Amir M. Ben-Amram, Geoff W. Hamilton
2016PDPProgram Transformation to Identify Parallel Skeletons.Venkatesh Kannan, Geoff W. Hamilton
2014CAVLocal Driving in Higher-Order Positive Supercompilation via the Omega-theorem.Geoff W. Hamilton, Morten Heine Srensen
2013CAVOn the Termination of Positive Supercompilation.Geoff W. Hamilton
2010ITPCyclic Proofs and Coinductive Principles.Gavin Mendel-Gleason, Geoff W. Hamilton
2007PEPMDistillation: extracting the essence of programs.Geoff W. Hamilton
2005SCAMDeclassification: Transforming Java Programs to Remove Intermediate Classes.Bernadette Power, Geoff W. Hamilton
2004ATVASynthesising Attacks on Cryptographic Protocols.David Sinclair, David Gray, Geoff W. Hamilton
1999IFMIntegration Problems in Telephone Feature Requirements.J. Paul Gibson, Geoff W. Hamilton, Dominique Mry
1992SASSharing Analysis of Lazy First-Order Functional Programs.Geoff W. Hamilton
1991SASTransforming Programs to Eliminate Intermediate Structures.Geoff W. Hamilton, Simon B. Jones