Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Geoff W. Hamilton
@inproceedings{DBLP:conf/sbmf/HamiltonA22,
author = {Geoff W. Hamilton and
Benjamin Aziz},
editor = {Lucas Lima and
Vince Moln{\'{a}}r},
title = {Excommunication: Transforming {\(\pi\)}-Calculus Specifications to
Remove Internal Communication},
booktitle = {Formal Methods: Foundations and Applications - 25th Brazilian Symposium,
{SBMF} 2022, Virtual Event, December 6-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13768},
pages = {109--123},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22476-8\_7},
doi = {10.1007/978-3-031-22476-8\_7},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbmf/HamiltonA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2211-10675,
editor = {Geoffrey William Hamilton and
Temesghen Kahsai and
Maurizio Proietti},
title = {Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis
and 10th International Workshop on Verification and Program Transformation,
HCVS/VPT@ETAPS 2022, and 10th International Workshop on Verification
and Program TransformationMunich, Germany, 3rd April 2022},
series = {{EPTCS}},
volume = {373},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.373},
doi = {10.4204/EPTCS.373},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-10675.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Ben-AmramH21,
author = {Amir M. Ben{-}Amram and
Geoff W. Hamilton},
title = {Tight Polynomial Bounds for Loop Programs in Polynomial Space},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {4},
year = {2021},
url = {https://doi.org/10.46298/lmcs-17(4:7)2021},
doi = {10.46298/LMCS-17(4:7)2021},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/Ben-AmramH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Hamilton21,
author = {Geoff W. Hamilton},
editor = {Emanuele De Angelis and
Wim Vanhoof},
title = {The Next 700 Program Transformers},
booktitle = {Logic-Based Program Synthesis and Transformation - 31st International
Symposium, {LOPSTR} 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13290},
pages = {113--134},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-98869-2\_7},
doi = {10.1007/978-3-030-98869-2\_7},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Hamilton21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-11347,
author = {Geoffrey William Hamilton},
title = {The Next 700 Program Transformers},
journal = {CoRR},
volume = {abs/2108.11347},
year = {2021},
url = {https://arxiv.org/abs/2108.11347},
eprinttype = {arXiv},
eprint = {2108.11347},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-11347.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Ben-AmramH20,
author = {Amir M. Ben{-}Amram and
Geoff W. Hamilton},
title = {Tight Polynomial Worst-Case Bounds for Loop Programs},
journal = {Log. Methods Comput. Sci.},
volume = {16},
number = {2},
year = {2020},
url = {https://doi.org/10.23638/LMCS-16(2:4)2020},
doi = {10.23638/LMCS-16(2:4)2020},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/Ben-AmramH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-02936,
author = {Geoff W. Hamilton},
editor = {Laurent Fribourg and
Matthias Heizmann},
title = {Distilling Programs to Prove Termination},
booktitle = {Proceedings 8th International Workshop on Verification and Program
Transformation and 7th Workshop on Horn Clauses for Verification and
Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020},
series = {{EPTCS}},
volume = {320},
pages = {140--154},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.320.10},
doi = {10.4204/EPTCS.320.10},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02936.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-02823,
author = {Amir M. Ben{-}Amram and
Geoff W. Hamilton},
title = {Tight Polynomial Bounds for Loop Programs in Polynomial Space},
journal = {CoRR},
volume = {abs/2010.02823},
year = {2020},
url = {https://arxiv.org/abs/2010.02823},
eprinttype = {arXiv},
eprint = {2010.02823},
timestamp = {Tue, 13 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-02823.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Ben-AmramH19,
author = {Amir M. Ben{-}Amram and
Geoff W. Hamilton},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Tight Worst-Case Bounds for Polynomial Loop Programs},
booktitle = {Foundations of Software Science and Computation Structures - 22nd
International Conference, {FOSSACS} 2019, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2019,
Prague, Czech Republic, April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {80--97},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_5},
doi = {10.1007/978-3-030-17127-8\_5},
timestamp = {Fri, 31 Jan 2020 21:32:20 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/Ben-AmramH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-10047,
author = {Amir M. Ben{-}Amram and
Geoff W. Hamilton},
title = {Tight Polynomial Worst-Case Bounds for Loop Programs},
journal = {CoRR},
volume = {abs/1906.10047},
year = {2019},
url = {http://arxiv.org/abs/1906.10047},
eprinttype = {arXiv},
eprint = {1906.10047},
timestamp = {Thu, 27 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-10047.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/KannanH18,
author = {Venkatesh Kannan and
Geoff W. Hamilton},
title = {Functional Program Transformation for Parallelisation Using Skeletons},
journal = {Int. J. Parallel Program.},
volume = {46},
number = {1},
pages = {152--172},
year = {2018},
url = {https://doi.org/10.1007/s10766-017-0510-5},
doi = {10.1007/S10766-017-0510-5},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/KannanH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1708-07223,
author = {Geoff W. Hamilton},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh and
Maurizio Proietti},
title = {Generating Loop Invariants for Program Verification by Transformation},
booktitle = {Proceedings Fifth International Workshop on Verification and Program
Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017},
series = {{EPTCS}},
volume = {253},
pages = {36--53},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.253.5},
doi = {10.4204/EPTCS.253.5},
timestamp = {Fri, 03 Jun 2022 08:18:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-07223.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/KannanH16,
author = {Venkatesh Kannan and
Geoff W. Hamilton},
title = {Program Transformation to Identify Parallel Skeletons},
booktitle = {24th Euromicro International Conference on Parallel, Distributed,
and Network-Based Processing, {PDP} 2016, Heraklion, Crete, Greece,
February 17-19, 2016},
pages = {486--494},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/PDP.2016.32},
doi = {10.1109/PDP.2016.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/KannanH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Hamilton16,
author = {Geoff W. Hamilton},
editor = {Geoff W. Hamilton and
Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Generating Counterexamples for Model Checking by Transformation},
booktitle = {Proceedings of the Fourth International Workshop on Verification and
Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands,
2nd April 2016},
series = {{EPTCS}},
volume = {216},
pages = {65--82},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.216.4},
doi = {10.4204/EPTCS.216.4},
timestamp = {Fri, 03 Jun 2022 08:18:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/Hamilton16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/KannanH16,
author = {Venkatesh Kannan and
Geoff W. Hamilton},
editor = {Geoff W. Hamilton and
Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Program Transformation to Identify List-Based Parallel Skeletons},
booktitle = {Proceedings of the Fourth International Workshop on Verification and
Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands,
2nd April 2016},
series = {{EPTCS}},
volume = {216},
pages = {118--136},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.216.7},
doi = {10.4204/EPTCS.216.7},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KannanH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/HamiltonLN16,
editor = {Geoff W. Hamilton and
Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Proceedings of the Fourth International Workshop on Verification and
Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands,
2nd April 2016},
series = {{EPTCS}},
volume = {216},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.216},
doi = {10.4204/EPTCS.216},
timestamp = {Fri, 03 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HamiltonLN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Hamilton15,
author = {Geoff W. Hamilton},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh and
Alberto Pettorossi},
title = {Verifying Temporal Properties of Reactive Systems by Transformation},
booktitle = {Proceedings of the Third International Workshop on Verification and
Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th
April 2015},
series = {{EPTCS}},
volume = {199},
pages = {33--49},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.199.3},
doi = {10.4204/EPTCS.199.3},
timestamp = {Fri, 03 Jun 2022 08:18:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/Hamilton15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jowua/AzizH14,
author = {Benjamin Aziz and
Geoff W. Hamilton},
title = {Enforcing Reputation Constraints on Business Process Workflows},
journal = {J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.},
volume = {5},
number = {1},
pages = {101--121},
year = {2014},
url = {https://doi.org/10.22667/JOWUA.2014.03.31.101},
doi = {10.22667/JOWUA.2014.03.31.101},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jowua/AzizH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HamiltonS14,
author = {Geoff W. Hamilton and
Morten Heine S{\o}rensen},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem},
booktitle = {{VPT} 2014. Second International Workshop on Verification and Program
Transformation, July 17-18, 2014, Vienna, Austria, The workshop is
an event of the Vienna Summer of Logic 2014 and it is co-located with
the 26th International Conference on Computer Aided Verification {CAV}
2014},
series = {EPiC Series in Computing},
volume = {28},
pages = {36--51},
publisher = {EasyChair},
year = {2014},
url = {https://doi.org/10.29007/t4gz},
doi = {10.29007/T4GZ},
timestamp = {Fri, 03 Jun 2022 08:18:13 +0200},
biburl = {https://dblp.org/rec/conf/cav/HamiltonS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/DeverH14,
author = {Michael Dever and
Geoff W. Hamilton},
editor = {Andrei Voronkov and
Irina B. Virbitskaite},
title = {Automatically Partitioning Data to Facilitate the Parallelization
of Functional Programs},
booktitle = {Perspectives of System Informatics - 9th International Ershov Informatics
Conference, {PSI} 2014, St. Petersburg, Russia, June 24-27, 2014.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8974},
pages = {59--66},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-46823-4\_5},
doi = {10.1007/978-3-662-46823-4\_5},
timestamp = {Mon, 16 Dec 2019 13:26:25 +0100},
biburl = {https://dblp.org/rec/conf/ershov/DeverH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/JonesH14,
author = {Neil D. Jones and
Geoff W. Hamilton},
editor = {Andrei Voronkov and
Irina B. Virbitskaite},
title = {Asymptotic Speedups, Bisimulation and Distillation (Work in Progress)},
booktitle = {Perspectives of System Informatics - 9th International Ershov Informatics
Conference, {PSI} 2014, St. Petersburg, Russia, June 24-27, 2014.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8974},
pages = {177--185},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-46823-4\_15},
doi = {10.1007/978-3-662-46823-4\_15},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ershov/JonesH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/AzizH13,
author = {Benjamin Aziz and
Geoff W. Hamilton},
title = {Reputation-Controlled Business Process Workflows},
booktitle = {2013 International Conference on Availability, Reliability and Security,
{ARES} 2013, Regensburg, Germany, September 2-6, 2013},
pages = {42--51},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ARES.2013.11},
doi = {10.1109/ARES.2013.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/AzizH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Hamilton13,
author = {Geoff W. Hamilton},
editor = {Alexei Lisitsa and
Andrei P. Nemytykh},
title = {On the Termination of Positive Supercompilation},
booktitle = {First International Workshop on Verification and Program Transformation,
{VPT} 2013, Saint Petersburg, Russia, July 12-13, 2013},
series = {EPiC Series in Computing},
volume = {16},
pages = {42--56},
publisher = {EasyChair},
year = {2013},
url = {https://doi.org/10.29007/4vl2},
doi = {10.29007/4VL2},
timestamp = {Fri, 03 Jun 2022 08:18:13 +0200},
biburl = {https://dblp.org/rec/conf/cav/Hamilton13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/HamiltonJ12,
author = {Geoffrey William Hamilton and
Neil D. Jones},
editor = {Oleg Kiselyov and
Simon J. Thompson},
title = {Distillation with labelled transition systems},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
USA, January 23-24, 2012},
pages = {15--24},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103746.2103753},
doi = {10.1145/2103746.2103753},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/HamiltonJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/AzizH11,
author = {Benjamin Aziz and
Geoff W. Hamilton},
title = {Verifying a delegation protocol for grid systems},
journal = {Future Gener. Comput. Syst.},
volume = {27},
number = {5},
pages = {476--485},
year = {2011},
url = {https://doi.org/10.1016/j.future.2010.12.003},
doi = {10.1016/J.FUTURE.2010.12.003},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/AzizH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/HamiltonJ11,
author = {Geoff W. Hamilton and
Neil D. Jones},
editor = {Edmund M. Clarke and
Irina B. Virbitskaite and
Andrei Voronkov},
title = {Proving the Correctness of Unfold/Fold Program Transformations Using
Bisimulation},
booktitle = {Perspectives of Systems Informatics - 8th International Andrei Ershov
Memorial Conference, {PSI} 2011, Novosibirsk, Russia, June 27-July
1, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7162},
pages = {153--169},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29709-0\_15},
doi = {10.1007/978-3-642-29709-0\_15},
timestamp = {Mon, 16 Dec 2019 13:26:25 +0100},
biburl = {https://dblp.org/rec/conf/ershov/HamiltonJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Mendel-GleasonH10,
author = {Gavin Mendel{-}Gleason and
Geoff W. Hamilton},
editor = {Ekaterina Komendantskaya and
Ana Bove and
Milad Niqui},
title = {Cyclic Proofs and Coinductive Principles},
booktitle = {Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010,
Edinburgh, UK, July 15, 2010},
series = {EPiC Series},
volume = {5},
pages = {107--113},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/hxgm},
doi = {10.29007/HXGM},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/Mendel-GleasonH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Hamilton09,
author = {Geoff W. Hamilton},
editor = {Amir Pnueli and
Irina B. Virbitskaite and
Andrei Voronkov},
title = {Extracting the Essence of Distillation},
booktitle = {Perspectives of Systems Informatics, 7th International Andrei Ershov
Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19,
2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5947},
pages = {151--164},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11486-1\_13},
doi = {10.1007/978-3-642-11486-1\_13},
timestamp = {Mon, 16 Dec 2019 13:26:25 +0100},
biburl = {https://dblp.org/rec/conf/ershov/Hamilton09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/securware/AzizH09,
author = {Benjamin Aziz and
Geoff W. Hamilton},
editor = {Rainer Falk and
Wilson Goudalo and
Eric Y. Chen and
Reijo Savola and
Manuela Popescu},
title = {Detecting Man-in-the-Middle Attacks by Precise Timing},
booktitle = {The Third International Conference on Emerging Security Information,
Systems and Technologies, {SECURWARE} 2009, 18-23 June 2009, Athens/Glyfada,
Greece},
pages = {81--86},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SECURWARE.2009.20},
doi = {10.1109/SECURWARE.2009.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/securware/AzizH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/AzizH07,
author = {Benjamin Aziz and
Geoff W. Hamilton},
title = {Modelling and Analysis of PKI-Based Systems Using Process Calculi},
journal = {Int. J. Found. Comput. Sci.},
volume = {18},
number = {3},
pages = {593--618},
year = {2007},
url = {https://doi.org/10.1142/S0129054107004851},
doi = {10.1142/S0129054107004851},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/AzizH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Hamilton07,
author = {Geoff W. Hamilton},
editor = {G. Ramalingam and
Eelco Visser},
title = {Distillation: extracting the essence of programs},
booktitle = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2007, Nice, France, January
15-16, 2007},
pages = {61--70},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244381.1244391},
doi = {10.1145/1244381.1244391},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/Hamilton07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hamilton07,
author = {Geoff W. Hamilton},
editor = {Sabine Glesner and
Jens Knoop and
Rolf Drechsler},
title = {Distilling Programs for Verification},
booktitle = {Proceedings of the Workshop on Compiler Optimization meets Compiler
Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {4},
pages = {17--32},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.09.005},
doi = {10.1016/J.ENTCS.2007.09.005},
timestamp = {Tue, 31 Jan 2023 16:00:46 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Hamilton07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Hamilton06,
author = {Geoff W. Hamilton},
title = {Higher Order Deforestation},
journal = {Fundam. Informaticae},
volume = {69},
number = {1-2},
pages = {39--61},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi69-1-2-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Hamilton06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/AzizHG05,
author = {Benjamin Aziz and
Geoff W. Hamilton and
David Gray},
title = {A static analysis of cryptographic processes: the denotational approach},
journal = {J. Log. Algebraic Methods Program.},
volume = {64},
number = {2},
pages = {285--320},
year = {2005},
url = {https://doi.org/10.1016/j.jlap.2004.09.006},
doi = {10.1016/J.JLAP.2004.09.006},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/AzizHG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/AzizGH05,
author = {Benjamin Aziz and
David Gray and
Geoff W. Hamilton},
editor = {Mario Coppo and
Elena Lodi and
G. Michele Pinna},
title = {A Static Analysis of PKI-Based Systems},
booktitle = {Theoretical Computer Science, 9th Italian Conference, {ICTCS} 2005,
Siena, Italy, October 12-14, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3701},
pages = {51--65},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560586\_6},
doi = {10.1007/11560586\_6},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/AzizGH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/PowerH05,
author = {Bernadette Power and
Geoff W. Hamilton},
title = {Declassification: Transforming Java Programs to Remove Intermediate
Classes},
booktitle = {5th {IEEE} International Workshop on Source Code Analysis and Manipulation
{(SCAM} 2005), 30 September - 1 October 2005, Budapest, Hungary},
pages = {183--192},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SCAM.2005.7},
doi = {10.1109/SCAM.2005.7},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/PowerH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hamilton06,
author = {Geoff W. Hamilton},
editor = {Jacques Carette and
William M. Farmer},
title = {Poit{\'{\i}}n: Distilling Theorems From Conjectures},
booktitle = {Proceedings of the 12th Symposium on the Integration of Symbolic Computation
and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK,
July 18-19, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {151},
number = {1},
pages = {143--160},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.028},
doi = {10.1016/J.ENTCS.2005.11.028},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Hamilton06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/SinclairGH04,
author = {David Sinclair and
David Gray and
Geoff W. Hamilton},
editor = {Farn Wang},
title = {Synthesising Attacks on Cryptographic Protocols},
booktitle = {Automated Technology for Verification and Analysis: Second International
Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
3, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3299},
pages = {49--63},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30476-0\_9},
doi = {10.1007/978-3-540-30476-0\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/SinclairGH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AzizHG05,
author = {Benjamin Aziz and
Geoff W. Hamilton and
David Gray},
editor = {Sandro Etalle and
Supratik Mukhopadhyay and
Abhik Roychoudhury},
title = {A Denotational Approach to the Static Analysis of Cryptographic Processes},
booktitle = {Proceedings of the International Workshop on Software Verification
and Validation, SVV@ICLP 2003, Mumbai, India, December 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {118},
pages = {19--36},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.12.016},
doi = {10.1016/J.ENTCS.2004.12.016},
timestamp = {Tue, 13 Dec 2022 11:25:56 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AzizHG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/AzizH01,
author = {Benjamin Aziz and
Geoff W. Hamilton},
editor = {Andrew Butterfield and
Glenn Strong and
Claus Pahl},
title = {A Denotational Semantics for the Pi-Calculus},
booktitle = {5th Irish Workshop on Formal Methods, {IWFM} 2001, Dublin, Ireland,
16-17 July 2001},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2001},
url = {http://ewic.bcs.org/content/ConWebDoc/4142},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/AzizH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Hamilton01,
author = {Geoff W. Hamilton},
editor = {Kevin Hammond and
Sharon Curtis},
title = {Extending Higher-Order Deforestation: Transforming Programs to Eliminate
Even More Trees},
booktitle = {Selected papers from the 3rd Scottish Functional Programming Workshop
(SFP01), University of Stirling, Bridge of Allan, Scotland, August
22nd to 24th, 2001},
series = {Trends in Functional Programming},
volume = {3},
pages = {25--36},
publisher = {Intellect},
year = {2001},
timestamp = {Wed, 05 Nov 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/Hamilton01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acisj/Hamilton00,
author = {Geoff W. Hamilton},
title = {Composing fair objects},
journal = {{ACIS} Int. J. Comput. Inf. Sci.},
volume = {1},
number = {3},
pages = {134--144},
year = {2000},
url = {https://dl.acm.org/doi/10.5555/543113.543117},
doi = {10.5555/543113.543117},
timestamp = {Fri, 02 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acisj/Hamilton00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/GibsonHM00,
author = {J. Paul Gibson and
Geoff W. Hamilton and
Dominique M{\'{e}}ry},
editor = {Muffy Calder and
Evan H. Magill},
title = {A Taxonomy for Triggered Interactions Using Fair Object Semantics},
booktitle = {Feature Interactions in Telecommunications and Software Systems VI,
May 17-19, 2000, Glasgow, Scotland, {UK}},
pages = {193--209},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Wed, 05 Nov 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fiw/GibsonHM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/SinclairPGGH00,
author = {David Sinclair and
James F. Power and
J. Paul Gibson and
David Gray and
Geoff W. Hamilton},
editor = {Ten{-}Hwang Lai},
title = {Specifying and Verifying {IP} with Linear Logic},
booktitle = {Proceedings of the 2000 {ICDCS} Workshops, April 10, 2000, Taipei,
Taiwan, {ROC}},
pages = {E104--E110},
year = {2000},
timestamp = {Wed, 05 Nov 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/SinclairPGGH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/GibsonHM99,
author = {J. Paul Gibson and
Geoff W. Hamilton and
Dominique M{\'{e}}ry},
editor = {Keijiro Araki and
Andy Galloway and
Kenji Taguchi},
title = {Integration Problems in Telephone Feature Requirements},
booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference
on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
pages = {129--148},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0851-1\_8},
doi = {10.1007/978-1-4471-0851-1\_8},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/ifm/GibsonHM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/GrayHSGP99,
author = {David Gray and
Geoff W. Hamilton and
David Sinclair and
J. Paul Gibson and
James F. Power},
editor = {Andrew Butterfield and
Klemens Haegele},
title = {Four Logics and a Protocol},
booktitle = {3rd Irish Workshop on Formal Methods, Galway, Ireland, July 1999},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {1999},
url = {http://ewic.bcs.org/content/ConWebDoc/4227},
timestamp = {Tue, 19 Jun 2018 08:04:47 +0200},
biburl = {https://dblp.org/rec/conf/iwfm/GrayHSGP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BreretonBH98,
author = {Pearl Brereton and
David Budgen and
Geoff W. Hamilton},
title = {Hypertext: The Next Maintenance Mountain},
journal = {Computer},
volume = {31},
number = {12},
pages = {49--55},
year = {1998},
url = {https://doi.org/10.1109/2.735850},
doi = {10.1109/2.735850},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/computer/BreretonBH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Hamilton98,
author = {Geoff W. Hamilton},
title = {Usage Counting Analysis for Lazy Functional Languages},
journal = {Inf. Comput.},
volume = {146},
number = {2},
pages = {100--137},
year = {1998},
url = {https://doi.org/10.1006/inco.1998.2735},
doi = {10.1006/INCO.1998.2735},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Hamilton98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Hamilton96,
author = {Geoff W. Hamilton},
editor = {Herbert Kuchen and
S. Doaitse Swierstra},
title = {Higher Order Deforestation},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th
International Symposium, PLILP'96, Aachen, Germany, September 24-27,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1140},
pages = {213--227},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61756-6\_87},
doi = {10.1007/3-540-61756-6\_87},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Hamilton96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/Hamilton95,
author = {Geoff W. Hamilton},
editor = {Henry G. Baker},
title = {Compile-Time Garbage Collection for Lazy Functional Languages},
booktitle = {Memory Management, International Workshop {IWMM} 95, Kinross, UK,
September 27-29, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {986},
pages = {119--144},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60368-9\_21},
doi = {10.1007/3-540-60368-9\_21},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/Hamilton95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Hamilton93,
author = {Geoffrey William Hamilton},
title = {Compile-time optimisation of store usage in lazy functional programs},
school = {University of Stirling, {UK}},
year = {1993},
url = {https://hdl.handle.net/1893/21840},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Hamilton93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Hamilton92,
author = {Geoff W. Hamilton},
editor = {Michel Billaud and
Pierre Cast{\'{e}}ran and
Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy},
title = {Sharing Analysis of Lazy First-Order Functional Programs},
booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September
1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI),
Proceedings},
series = {Series Bigre},
volume = {81-82},
pages = {68--78},
publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
year = {1992},
timestamp = {Thu, 12 Jul 2018 08:27:45 +0200},
biburl = {https://dblp.org/rec/conf/sas/Hamilton92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HamiltonJ91,
author = {Geoff W. Hamilton and
Simon B. Jones},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {Extending Deforestation for First Order functional Programs},
booktitle = {Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow
Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14
August 1991},
series = {Workshops in Computing},
pages = {134--145},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_11},
doi = {10.1007/978-1-4471-3196-0\_11},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/HamiltonJ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HamiltonJ91,
author = {Geoff W. Hamilton and
Simon B. Jones},
editor = {Michel Billaud and
Pierre Cast{\'{e}}ran and
Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy},
title = {Transforming Programs to Eliminate Intermediate Structures},
booktitle = {Actes JTASPEFL'91 (Bordeaux, France), October 1991, Laboratoire Bordelais
de Recherche en Informatique (LaBRI), Proceedings},
series = {Series Bigre},
volume = {74},
pages = {182--188},
publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
year = {1991},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/HamiltonJ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HamiltonJ90,
author = {Geoff W. Hamilton and
Simon B. Jones},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {Compile-Time Garbage Collection by Necessity Analysis},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {66--70},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_6},
doi = {10.1007/978-1-4471-3810-5\_6},
timestamp = {Mon, 24 Jun 2019 15:54:03 +0200},
biburl = {https://dblp.org/rec/conf/fp/HamiltonJ90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-07 20:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
