default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kevin Hammond
@inproceedings{DBLP:conf/bhi/SchuhMKHSKJ23,
author = {Andreas Schuh and
Michael Morimoto and
Piotr Kaszuba and
Kevin Hammond and
Jerry Swan and
Krzysztof Krawiec and
Nl Shasha Jumbe},
title = {Host-directed vibroacoustic biosignature of viral respiratory infection},
booktitle = {{IEEE} {EMBS} International Conference on Biomedical and Health Informatics,
{BHI} 2023, Pittsburgh, PA, USA, October 15-18, 2023},
pages = {1--4},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/BHI58575.2023.10313464},
doi = {10.1109/BHI58575.2023.10313464},
timestamp = {Fri, 01 Dec 2023 14:30:09 +0100},
biburl = {https://dblp.org/rec/conf/bhi/SchuhMKHSKJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/KaszubaTMJSMRHD23,
author = {Piotr Kaszuba and
Andrew Turner and
Bartosz Mikulski and
Nl Shasha Jumbe and
Andreas Schuh and
Michael Morimoto and
Peter Rexelius and
Ryan Hafen and
Ron Deiotte and
Kevin Hammond and
Jerry Swan and
Krzysztof Krawiec},
editor = {Sara Silva and
Lu{\'{\i}}s Paquete},
title = {Synthesizing Effective Diagnostic Models from Small Samples using
Structural Machine Learning: a Case Study in Automating {COVID-19}
Diagnosis},
booktitle = {Companion Proceedings of the Conference on Genetic and Evolutionary
Computation, {GECCO} 2023, Companion Volume, Lisbon, Portugal, July
15-19, 2023},
pages = {727--730},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3583133.3590598},
doi = {10.1145/3583133.3590598},
timestamp = {Fri, 02 Aug 2024 15:50:42 +0200},
biburl = {https://dblp.org/rec/conf/gecco/KaszubaTMJSMRHD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2308-10654,
author = {Seyed Hossein Haeri and
Peter W. Thompson and
Peter Van Roy and
Magne Haveraaen and
Neil J. Davies and
Mikhail Barash and
Kevin Hammond and
James Chapman},
editor = {Cl{\'{e}}ment Aubert and
Cinzia Di Giusto and
Simon Fowler and
Larisa Safina},
title = {Algebraic Reasoning About Timeliness},
booktitle = {Proceedings 16th Interaction and Concurrency Experience, {ICE} 2023,
Lisbon, Portugal, 19th June 2023},
series = {{EPTCS}},
volume = {383},
pages = {35--54},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.383.3},
doi = {10.4204/EPTCS.383.3},
timestamp = {Mon, 11 Sep 2023 15:45:27 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-10654.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computers/HaeriTDRHC22,
author = {Seyed H. Haeri and
Peter Thompson and
Neil J. Davies and
Peter Van Roy and
Kevin Hammond and
James Chapman},
title = {Mind Your Outcomes: The {\(\Delta\)}QSD Paradigm for Quality-Centric
Systems Development and Its Application to a Blockchain Case Study},
journal = {Comput.},
volume = {11},
number = {3},
pages = {45},
year = {2022},
url = {https://doi.org/10.3390/computers11030045},
doi = {10.3390/COMPUTERS11030045},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computers/HaeriTDRHC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eor/SwanABHJKKMMOPG22,
author = {Jerry Swan and
Steven Adri{\ae}nsen and
Alexander E. I. Brownlee and
Kevin Hammond and
Colin G. Johnson and
Ahmed Kheiri and
Faustyna Krawiec and
Juan Juli{\'{a}}n Merelo and
Leandro L. Minku and
Ender {\"{O}}zcan and
Gisele L. Pappa and
Pablo Garc{\'{\i}}a{-}S{\'{a}}nchez and
Kenneth S{\"{o}}rensen and
Stefan Vo{\ss} and
Markus Wagner and
David R. White},
title = {Metaheuristics "In the Large"},
journal = {Eur. J. Oper. Res.},
volume = {297},
number = {2},
pages = {393--406},
year = {2022},
url = {https://doi.org/10.1016/j.ejor.2021.05.042},
doi = {10.1016/J.EJOR.2021.05.042},
timestamp = {Wed, 14 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eor/SwanABHJKKMMOPG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/JanjicBBH21,
author = {Vladimir Janjic and
Christopher Brown and
Adam D. Barwell and
Kevin Hammond},
title = {Refactoring for introducing and tuning parallelism for heterogeneous
multicore machines in Erlang},
journal = {Concurr. Comput. Pract. Exp.},
volume = {33},
number = {14},
year = {2021},
url = {https://doi.org/10.1002/cpe.5420},
doi = {10.1002/CPE.5420},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/JanjicBBH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/KantHC0CCDDGJSV20,
author = {Philipp Kant and
Kevin Hammond and
Duncan Coutts and
James Chapman and
Nicholas Clarke and
Jared Corduan and
Neil J. Davies and
Javier D{\'{\i}}az and
Matthias G{\"{u}}demann and
Wolfgang Jeltsch and
Marcin Szamotulski and
Polina Vinogradova},
editor = {Aleksander Byrski and
John Hughes},
title = {Flexible Formality Practical Experience with Agile Formal Methods},
booktitle = {Trends in Functional Programming - 21st International Symposium, {TFP}
2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12222},
pages = {94--120},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-57761-2\_5},
doi = {10.1007/978-3-030-57761-2\_5},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/KantHC0CCDDGJSV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ec/SwanABHW19,
author = {Jerry Swan and
Steven Adri{\ae}nsen and
Adam D. Barwell and
Kevin Hammond and
David R. White},
title = {Extending the "Open-Closed Principle" to Automated Algorithm
Configuration},
journal = {Evol. Comput.},
volume = {27},
number = {1},
pages = {173--193},
year = {2019},
url = {https://doi.org/10.1162/evco\_a\_00245},
doi = {10.1162/EVCO\_A\_00245},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ec/SwanABHW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/SchwaabKHFPWH19,
author = {Christopher Schwaab and
Ekaterina Komendantskaya and
Alasdair Hill and
Frantisek Farka and
Ronald P. A. Petrick and
Joe B. Wells and
Kevin Hammond},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Moa Johansson},
title = {Proof-Carrying Plans},
booktitle = {Practical Aspects of Declarative Languages - 21th International Symposium,
{PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11372},
pages = {204--220},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05998-9\_13},
doi = {10.1007/978-3-030-05998-9\_13},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/SchwaabKHFPWH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/ChasparisRJH19,
author = {Georgios C. Chasparis and
Michael Rossbory and
Vladimir Janjic and
Kevin Hammond},
title = {Learning-Based Dynamic Pinning of Parallelized Applications in Many-Core
Systems},
booktitle = {27th Euromicro International Conference on Parallel, Distributed and
Network-Based Processing, {PDP} 2019, Pavia, Italy, February 13-15,
2019},
pages = {1--8},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/EMPDP.2019.8671569},
doi = {10.1109/EMPDP.2019.8671569},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdp/ChasparisRJH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/TurekBHHZ18,
author = {Wojciech Turek and
Aleksander Byrski and
John Hughes and
Kevin Hammond and
Marek Zaionc},
title = {Special issue on Parallel and distributed computing based on the functional
programming paradigm},
journal = {Concurr. Comput. Pract. Exp.},
volume = {30},
number = {22},
year = {2018},
url = {https://doi.org/10.1002/cpe.4842},
doi = {10.1002/CPE.4842},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/TurekBHHZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/ByrskiRHH18,
author = {Aleksander Byrski and
Katarzyna Rycerz and
John Hughes and
Kevin Hammond},
title = {Special section on functional paradigm for high performance computing},
journal = {Future Gener. Comput. Syst.},
volume = {79},
pages = {643--644},
year = {2018},
url = {https://doi.org/10.1016/j.future.2017.09.035},
doi = {10.1016/J.FUTURE.2017.09.035},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/ByrskiRHH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/CastroHSA18,
author = {David Castro and
Kevin Hammond and
Susmit Sarkar and
Yasir Alguwaifli},
title = {Automatically deriving cost models for structured parallel processes
using hylomorphisms},
journal = {Future Gener. Comput. Syst.},
volume = {79},
pages = {653--668},
year = {2018},
url = {https://doi.org/10.1016/j.future.2017.04.035},
doi = {10.1016/J.FUTURE.2017.04.035},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fgcs/CastroHSA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/BarwellBH18,
author = {Adam D. Barwell and
Christopher Brown and
Kevin Hammond},
title = {Finding parallel functional pearls: Automatic parallel recursion scheme
detection in Haskell functions via anti-unification},
journal = {Future Gener. Comput. Syst.},
volume = {79},
pages = {669--686},
year = {2018},
url = {https://doi.org/10.1016/j.future.2017.07.024},
doi = {10.1016/J.FUTURE.2017.07.024},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/BarwellBH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/StypkaTBKBBHJ18,
author = {Jan Stypka and
Wojciech Turek and
Aleksander Byrski and
Marek Kisiel{-}Dorohinicki and
Adam D. Barwell and
Christopher Brown and
Kevin Hammond and
Vladimir Janjic},
title = {The Missing Link! {A} New Skeleton for Evolutionary Multi-agent Systems
in Erlang},
journal = {Int. J. Parallel Program.},
volume = {46},
number = {1},
pages = {4--22},
year = {2018},
url = {https://doi.org/10.1007/s10766-017-0503-4},
doi = {10.1007/S10766-017-0503-4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/StypkaTBKBBHJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/GarciaHS18,
author = {Jos{\'{e}} Daniel Garc{\'{\i}}a and
Kevin Hammond and
Lutz Schubert},
title = {Reengineering for parallelism in heterogeneous parallel platforms},
journal = {J. Supercomput.},
volume = {74},
number = {11},
pages = {5625--5627},
year = {2018},
url = {https://doi.org/10.1007/s11227-018-2651-8},
doi = {10.1007/S11227-018-2651-8},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tjs/GarciaHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FarkaKH18,
author = {Frantisek Farka and
Ekaterina Komendantskaya and
Kevin Hammond},
title = {Proof-relevant Horn Clauses for Dependent Type Inference and Term
Synthesis},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {484--501},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000212},
doi = {10.1017/S1471068418000212},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FarkaKH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-00355,
author = {Georgios C. Chasparis and
Vladimir Janjic and
Michael Rossbory and
Kevin Hammond},
title = {Learning-based Dynamic Pinning of Parallelized Applications in Many-Core
Systems},
journal = {CoRR},
volume = {abs/1803.00355},
year = {2018},
url = {http://arxiv.org/abs/1803.00355},
eprinttype = {arXiv},
eprint = {1803.00355},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-00355.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-11250,
author = {Frantisek Farka and
Ekaterina Komendantskaya and
Kevin Hammond},
title = {Proof-relevant Horn Clauses for Dependent Type Inference and Term
Synthesis},
journal = {CoRR},
volume = {abs/1804.11250},
year = {2018},
url = {http://arxiv.org/abs/1804.11250},
eprinttype = {arXiv},
eprint = {1804.11250},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-11250.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/JostVFH17,
author = {Steffen Jost and
Pedro B. Vasconcelos and
M{\'{a}}rio Florido and
Kevin Hammond},
title = {Type-Based Cost Analysis for Lazy Functional Languages},
journal = {J. Autom. Reason.},
volume = {59},
number = {1},
pages = {87--120},
year = {2017},
url = {https://doi.org/10.1007/s10817-016-9398-9},
doi = {10.1007/S10817-016-9398-9},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/JostVFH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BarwellH17,
author = {Adam D. Barwell and
Kevin Hammond},
editor = {Phil Trinder and
Cosmin E. Oancea},
title = {In search of a map: using program slicing to discover potential parallelism
in recursive functions},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} International Workshop on Functional
High-Performance Computing, FHPC@ICFP 2017, Oxford, UK, September
7, 2017},
pages = {30--41},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3122948.3122951},
doi = {10.1145/3122948.3122951},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BarwellH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/BarwellBHTB16,
author = {Adam D. Barwell and
Christopher Brown and
Kevin Hammond and
Wojciech Turek and
Aleksander Byrski},
title = {Using Program Shaping and Algorithmic Skeletons to Parallelise an
Evolutionary Multi-Agent System in Erlang},
journal = {Comput. Informatics},
volume = {35},
number = {4},
pages = {792--818},
year = {2016},
url = {http://www.cai.sk/ojs/index.php/cai/article/view/3378},
timestamp = {Mon, 14 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cai/BarwellBHTB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/BehrendsHJKLLMT16,
author = {Reimer Behrends and
Kevin Hammond and
Vladimir Janjic and
Alexander Konovalov and
Steve Linton and
Hans{-}Wolfgang Loidl and
Patrick Maier and
Phil Trinder},
title = {{HPC-GAP:} engineering a 21st-century high-performance computer algebra
system},
journal = {Concurr. Comput. Pract. Exp.},
volume = {28},
number = {13},
pages = {3606--3636},
year = {2016},
url = {https://doi.org/10.1002/cpe.3746},
doi = {10.1002/CPE.3746},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/BehrendsHJKLLMT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/BertholdLH16,
author = {Jost Berthold and
Hans{-}Wolfgang Loidl and
Kevin Hammond},
title = {{PAEAN:} Portable and scalable runtime support for parallel Haskell
dialects},
journal = {J. Funct. Program.},
volume = {26},
pages = {e10},
year = {2016},
url = {https://doi.org/10.1017/S0956796816000010},
doi = {10.1017/S0956796816000010},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/BertholdLH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/FerreiroCJH16,
author = {Henrique Ferreiro and
Laura M. Castro and
Vladimir Janjic and
Kevin Hammond},
editor = {Ayal Zaks and
Manuel V. Hermenegildo},
title = {Kindergarten cop: dynamic nursery resizing for {GHC}},
booktitle = {Proceedings of the 25th International Conference on Compiler Construction,
{CC} 2016, Barcelona, Spain, March 12-18, 2016},
pages = {56--66},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2892208.2892223},
doi = {10.1145/2892208.2892223},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/FerreiroCJH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/BarwellBCH16,
author = {Adam D. Barwell and
Christopher Brown and
David Castro and
Kevin Hammond},
editor = {Melinda T{\'{o}}th and
Scott Lystig Fritchie},
title = {Towards semi-automatic data-type translation for parallelism in Erlang},
booktitle = {Proceedings of the 15th International Workshop on Erlang, Nara, Japan,
September 18-22, 2016},
pages = {60--61},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2975969.2975978},
doi = {10.1145/2975969.2975978},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/erlang/BarwellBCH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/CastroHS16,
author = {David Castro and
Kevin Hammond and
Susmit Sarkar},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Farms, pipes, streams and reforestation: reasoning about structured
parallel processes using types and hylomorphisms},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {4--17},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951920},
doi = {10.1145/2951913.2951920},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfp/CastroHS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/FarkaKH16,
author = {Frantisek Farka and
Ekaterina Komendantskaya and
Kevin Hammond},
editor = {Manuel V. Hermenegildo and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
title = {Coinductive Soundness of Corecursive Type Class Resolution},
booktitle = {Logic-Based Program Synthesis and Transformation - 26th International
Symposium, {LOPSTR} 2016, Edinburgh, UK, September 6-8, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10184},
pages = {311--327},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-63139-4\_18},
doi = {10.1007/978-3-319-63139-4\_18},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/FarkaKH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/JanjicBMHDAG16,
author = {Vladimir Janjic and
Christopher Brown and
Kenneth MacKenzie and
Kevin Hammond and
Marco Danelutto and
Marco Aldinucci and
Jos{\'{e}} Daniel Garc{\'{\i}}a},
title = {{RPL:} {A} Domain-Specific Language for Designing and Implementing
Parallel {C++} Applications},
booktitle = {24th Euromicro International Conference on Parallel, Distributed,
and Network-Based Processing, {PDP} 2016, Heraklion, Crete, Greece,
February 17-19, 2016},
pages = {288--295},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/PDP.2016.122},
doi = {10.1109/PDP.2016.122},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/JanjicBMHDAG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FarkaKHF16,
author = {Frantisek Farka and
Ekaterina Komendantskaya and
Kevin Hammond and
Peng Fu},
title = {Coinductive Soundness of Corecursive Type Class Resolution},
journal = {CoRR},
volume = {abs/1608.05233},
year = {2016},
url = {http://arxiv.org/abs/1608.05233},
eprinttype = {arXiv},
eprint = {1608.05233},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FarkaKHF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/VasconcelosJFH15,
author = {Pedro B. Vasconcelos and
Steffen Jost and
M{\'{a}}rio Florido and
Kevin Hammond},
editor = {Jan Vitek},
title = {Type-Based Allocation Analysis for Co-recursion in Lazy Functional
Languages},
booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
{ESOP} 2015, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9032},
pages = {787--811},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46669-8\_32},
doi = {10.1007/978-3-662-46669-8\_32},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/VasconcelosJFH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/HammondBS15,
author = {Kevin Hammond and
Christopher Brown and
Susmit Sarkar},
editor = {Marko C. J. D. van Eekelen and
Ugo Dal Lago},
title = {Timing Properties and Correctness for Structured Parallel Programs
on x86-64 Multicores},
booktitle = {Foundational and Practical Aspects of Resource Analysis - 4th International
Workshop, {FOPARA} 2015, London, UK, April 11, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {9964},
pages = {101--125},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-46559-3\_6},
doi = {10.1007/978-3-319-46559-3\_6},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fopara/HammondBS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parco/JanjicBH15,
author = {Vladimir Janjic and
Christopher Brown and
Kevin Hammond},
editor = {Gerhard R. Joubert and
Hugh Leather and
Mark Parsons and
Frans J. Peters and
Mark Sawyer},
title = {Lapedo: Hybrid Skeletons for Programming Heterogeneous Multicore Machines
in Erlang},
booktitle = {Parallel Computing: On the Road to Exascale, Proceedings of the International
Conference on Parallel Computing, ParCo 2015, 1-4 September 2015,
Edinburgh, Scotland, {UK}},
series = {Advances in Parallel Computing},
volume = {27},
pages = {185--195},
publisher = {{IOS} Press},
year = {2015},
url = {https://doi.org/10.3233/978-1-61499-621-7-185},
doi = {10.3233/978-1-61499-621-7-185},
timestamp = {Tue, 22 Jun 2021 13:45:14 +0200},
biburl = {https://dblp.org/rec/conf/parco/JanjicBH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/BrownDHKE14,
author = {Christopher Brown and
Marco Danelutto and
Kevin Hammond and
Peter Kilpatrick and
Archibald Elliott},
title = {Cost-Directed Refactoring for Parallel Erlang Programs},
journal = {Int. J. Parallel Program.},
volume = {42},
number = {4},
pages = {564--582},
year = {2014},
url = {https://doi.org/10.1007/s10766-013-0266-5},
doi = {10.1007/S10766-013-0266-5},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijpp/BrownDHKE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/Hammond14,
author = {Kevin Hammond},
editor = {Laura M. Castro and
Hans Svensson},
title = {Functional programming and the "megacore" era},
booktitle = {Proceedings of the Thirteenth {ACM} {SIGPLAN} workshop on Erlang,
Gothenburg, Sweden, September 5, 2014},
pages = {1},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633448.2633456},
doi = {10.1145/2633448.2633456},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/Hammond14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/erlang/BozoFHTHKKBBH14,
author = {Istv{\'{a}}n Boz{\'{o}} and
Viktoria Ford{\'{o}}s and
Zolt{\'{a}}n Horv{\'{a}}th and
Melinda T{\'{o}}th and
D{\'{a}}niel Horp{\'{a}}csi and
Tam{\'{a}}s Kozsik and
Judit K{\"{o}}szegi and
Adam D. Barwell and
Christopher Brown and
Kevin Hammond},
editor = {Laura M. Castro and
Hans Svensson},
title = {Discovering parallel pattern candidates in Erlang},
booktitle = {Proceedings of the Thirteenth {ACM} {SIGPLAN} workshop on Erlang,
Gothenburg, Sweden, September 5, 2014},
pages = {13--23},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633448.2633453},
doi = {10.1145/2633448.2633453},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/erlang/BozoFHTHKKBBH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdp/BrownJHSIG14,
author = {Christopher Brown and
Vladimir Janjic and
Kevin Hammond and
Holger Sch{\"{o}}ner and
Kamran Idrees and
Colin W. Glass},
title = {Agricultural Reform: More Efficient Farming Using Advanced Parallel
Refactoring Tools},
booktitle = {22nd Euromicro International Conference on Parallel, Distributed,
and Network-Based Processing, {PDP} 2014, Torino, Italy, February
12-14, 2014},
pages = {36--43},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/PDP.2014.94},
doi = {10.1109/PDP.2014.94},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdp/BrownJHSIG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/TrinderCHLM13,
author = {Philip W. Trinder and
M. I. Cole and
Kevin Hammond and
Hans{-}Wolfgang Loidl and
Greg Michaelson},
title = {Resource analyses for parallel and distributed coordination},
journal = {Concurr. Comput. Pract. Exp.},
volume = {25},
number = {3},
pages = {309--348},
year = {2013},
url = {https://doi.org/10.1002/cpe.1898},
doi = {10.1002/CPE.1898},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/TrinderCHLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LintonHKBTLHR13,
author = {Steve Linton and
Kevin Hammond and
Alexander Konovalov and
Christopher Brown and
Philip W. Trinder and
Hans{-}Wolfgang Loidl and
Peter Horn and
Dan Roozemond},
title = {Easy composition of symbolic computation software using {SCSCP:} {A}
new Lingua Franca for symbolic computation},
journal = {J. Symb. Comput.},
volume = {49},
pages = {95--119},
year = {2013},
url = {https://doi.org/10.1016/j.jsc.2011.12.019},
doi = {10.1016/J.JSC.2011.12.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/LintonHKBTLHR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/GoliMBJH13,
author = {Mehdi Goli and
John A. W. McCall and
Christopher Brown and
Vladimir Janjic and
Kevin Hammond},
title = {Mapping parallel programs to heterogeneous {CPU/GPU} architectures
using a Monte Carlo Tree Search},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2013, Cancun, Mexico, June 20-23, 2013},
pages = {2932--2939},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/CEC.2013.6557926},
doi = {10.1109/CEC.2013.6557926},
timestamp = {Fri, 02 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cec/GoliMBJH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/JanjicH13,
author = {Vladimir Janjic and
Kevin Hammond},
editor = {Felix Wolf and
Bernd Mohr and
Dieter an Mey},
title = {How to be a Successful Thief - Feudal Work Stealing for Irregular
Divide-and-Conquer Applications on Heterogeneous Distributed Systems},
booktitle = {Euro-Par 2013 Parallel Processing - 19th International Conference,
Aachen, Germany, August 26-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8097},
pages = {114--125},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40047-6\_14},
doi = {10.1007/978-3-642-40047-6\_14},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/JanjicH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parco/JanjicBNHLL13,
author = {Vladimir Janjic and
Christopher Brown and
Max Neunh{\"{o}}ffer and
Kevin Hammond and
Steve Linton and
Hans{-}Wolfgang Loidl},
editor = {Michael Bader and
Arndt Bode and
Hans{-}Joachim Bungartz and
Michael Gerndt and
Gerhard R. Joubert and
Frans J. Peters},
title = {Space Exploration using Parallel Orbits: a Study in Parallel Symbolic
Computing},
booktitle = {Parallel Computing: Accelerating Computational Science and Engineering
(CSE), Proceedings of the International Conference on Parallel Computing,
ParCo 2013, 10-13 September 2013, Garching (near Munich), Germany},
series = {Advances in Parallel Computing},
volume = {25},
pages = {225--232},
publisher = {{IOS} Press},
year = {2013},
url = {https://doi.org/10.3233/978-1-61499-381-0-225},
doi = {10.3233/978-1-61499-381-0-225},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/parco/JanjicBNHLL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijhpcn/ZainTH12,
author = {Abdallah Al Zain and
Philip W. Trinder and
Kevin Hammond},
title = {Orchestrating computational algebra components into a high-performance
parallel system},
journal = {Int. J. High Perform. Comput. Netw.},
volume = {7},
number = {2},
pages = {76--86},
year = {2012},
url = {https://doi.org/10.1504/IJHPCN.2012.046383},
doi = {10.1504/IJHPCN.2012.046383},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijhpcn/ZainTH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/HainsGH12,
author = {Ga{\'{e}}tan Hains and
Fr{\'{e}}d{\'{e}}ric Gava and
Kevin Hammond},
title = {Guest Editors Note: High-Level Programming for Heterogeneous and Hierarchical
Parallel Systems},
journal = {Parallel Process. Lett.},
volume = {22},
number = {2},
year = {2012},
url = {https://doi.org/10.1142/S0129626412020021},
doi = {10.1142/S0129626412020021},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppl/HainsGH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HammondK12,
author = {Kevin Hammond and
Paul H. J. Kelly},
title = {Introduction to the Special Issue on Automatic Program Generation
for Embedded Systems},
journal = {Sci. Comput. Program.},
volume = {77},
number = {2},
pages = {81--82},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2011.11.001},
doi = {10.1016/J.SCICO.2011.11.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HammondK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/FalkHLLP12,
author = {Heiko Falk and
Kevin Hammond and
Kim G. Larsen and
Bj{\"{o}}rn Lisper and
Stefan M. Petters},
editor = {Ahmed Jerraya and
Luca P. Carloni and
Florence Maraninchi and
John Regehr},
title = {Code-level timing analysis of embedded software: emsoft'12 invited
talk session outline},
booktitle = {Proceedings of the 12th International Conference on Embedded Software,
{EMSOFT} 2012, part of the Eighth Embedded Systems Week, ESWeek 2012,
Tampere, Finland, October 7-12, 2012},
pages = {163--164},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2380356.2380386},
doi = {10.1145/2380356.2380386},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/FalkHLLP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/JanjicH12,
author = {Vladimir Janjic and
Kevin Hammond},
editor = {Christos Kaklamanis and
Theodore S. Papatheodorou and
Paul G. Spirakis},
title = {Using Load Information in Work-Stealing on Distributed Systems with
Non-uniform Communication Latencies},
booktitle = {Euro-Par 2012 Parallel Processing - 18th International Conference,
Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7484},
pages = {155--166},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32820-6\_17},
doi = {10.1007/978-3-642-32820-6\_17},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/JanjicH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/DaneluttoHG12,
author = {Marco Danelutto and
Kevin Hammond and
Horacio Gonz{\'{a}}lez{-}V{\'{e}}lez},
editor = {Ioannis Caragiannis and
Michael Alexander and
Rosa M. Badia and
Mario Cannataro and
Alexandru Costan and
Marco Danelutto and
Fr{\'{e}}d{\'{e}}ric Desprez and
Bettina Krammer and
Julio Sahuquillo and
Stephen L. Scott and
Josef Weidendorfer},
title = {ParaPhrase Workshop 2012},
booktitle = {Euro-Par 2012: Parallel Processing Workshops - BDMC, CGWS, HeteroPar,
HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands,
Greece, August 27-31, 2012. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7640},
pages = {368--369},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-36949-0\_40},
doi = {10.1007/978-3-642-36949-0\_40},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/europar/DaneluttoHG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SimoesVFJH12,
author = {Hugo R. Sim{\~{o}}es and
Pedro B. Vasconcelos and
M{\'{a}}rio Florido and
Steffen Jost and
Kevin Hammond},
editor = {Peter Thiemann and
Robby Bruce Findler},
title = {Automatic amortised analysis of dynamic memory allocation for lazy
functional programs},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
pages = {165--176},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364527.2364575},
doi = {10.1145/2364527.2364575},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SimoesVFJH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BrownHDK12,
author = {Christopher Brown and
Kevin Hammond and
Marco Danelutto and
Peter Kilpatrick},
editor = {Peter Sommerlad},
title = {A language-independent parallel refactoring framework},
booktitle = {Fifth Workshop on Refactoring Tools 2012, {WRT} '12, Rapperswil, Switzerland,
June 1, 2012},
pages = {54--58},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2328876.2328884},
doi = {10.1145/2328876.2328884},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BrownHDK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/BradyH12,
author = {Edwin C. Brady and
Kevin Hammond},
editor = {Claudio V. Russo and
Neng{-}Fa Zhou},
title = {Resource-Safe Systems Programming with Embedded Domain Specific Languages},
booktitle = {Practical Aspects of Declarative Languages - 14th International Symposium,
{PADL} 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7149},
pages = {242--257},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27694-1\_18},
doi = {10.1007/978-3-642-27694-1\_18},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/BradyH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/FerreiroJCH12,
author = {Henrique Ferreiro and
Vladimir Janjic and
Laura M. Castro and
Kevin Hammond},
editor = {Hans{-}Wolfgang Loidl and
Ricardo Pe{\~{n}}a},
title = {Repeating History: Execution Replay for Parallel Haskell Programs},
booktitle = {Trends in Functional Programming - 13th International Symposium, {TFP}
2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7829},
pages = {231--246},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40447-4\_15},
doi = {10.1007/978-3-642-40447-4\_15},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/FerreiroJCH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/Hammond11,
author = {Kevin Hammond},
editor = {Alexander B. Romanovsky and
Tullio Vardanega},
title = {Why Parallel Functional Programming Matters: Panel Statement},
booktitle = {Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe
International Conference on Reliable Software Technologies, Edinburgh,
UK, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6652},
pages = {201--205},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21338-0\_17},
doi = {10.1007/978-3-642-21338-0\_17},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/adaEurope/Hammond11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/HammondABCDGKKRS11,
author = {Kevin Hammond and
Marco Aldinucci and
Christopher Brown and
Francesco Cesarini and
Marco Danelutto and
Horacio Gonz{\'{a}}lez{-}V{\'{e}}lez and
Peter Kilpatrick and
Rainer Keller and
Michael Rossbory and
Gilad Shainer},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous
Multicore Systems},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {218--236},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_12},
doi = {10.1007/978-3-642-35887-6\_12},
timestamp = {Mon, 26 Jun 2023 20:47:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/HammondABCDGKKRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BrownHDKSB11,
author = {Christopher Brown and
Kevin Hammond and
Marco Danelutto and
Peter Kilpatrick and
Holger Sch{\"{o}}ner and
Tino Breddin},
editor = {Bernhard Beckert and
Ferruccio Damiani and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Paraphrasing: Generating Parallel Programs Using Refactoring},
booktitle = {Formal Methods for Components and Objects, 10th International Symposium,
{FMCO} 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7542},
pages = {237--256},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35887-6\_13},
doi = {10.1007/978-3-642-35887-6\_13},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/BrownHDKSB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/HerrmannH11,
author = {Christoph A. Herrmann and
Kevin Hammond},
editor = {Ricardo Pe{\~{n}}a and
Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {Counter Automata for Parameterised Timing Analysis of Box-Based Systems},
booktitle = {Foundational and Practical Aspects of Resource Analysis - Second International
Workshop, {FOPARA} 2011, Madrid, Spain, May 19, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7177},
pages = {126--141},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32495-6\_8},
doi = {10.1007/978-3-642-32495-6\_8},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/fopara/HerrmannH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parco/GrelckHHHJKSSBW11,
author = {Clemens Grelck and
Kevin Hammond and
Heinz Hertlein and
Philip K. F. H{\"{o}}lzenspies and
Chris R. Jesshope and
Raimund Kirner and
Bernd Scheuermann and
Alexander V. Shafarenko and
Iraneus te Boekhorst and
Volkmar Wieser},
editor = {Koen De Bosschere and
Erik H. D'Hollander and
Gerhard R. Joubert and
David A. Padua and
Frans J. Peters and
Mark Sawyer},
title = {Engineering Concurrent Software Guided by Statistical Performance
Analysis},
booktitle = {Applications, Tools and Techniques on the Road to Exascale Computing,
Proceedings of the conference ParCo 2011, 31 August - 3 September
2011, Ghent, Belgium},
series = {Advances in Parallel Computing},
volume = {22},
pages = {385--394},
publisher = {{IOS} Press},
year = {2011},
url = {https://doi.org/10.3233/978-1-61499-041-3-385},
doi = {10.3233/978-1-61499-041-3-385},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/parco/GrelckHHHJKSSBW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BrownLH11,
author = {Christopher Brown and
Hans{-}Wolfgang Loidl and
Kevin Hammond},
editor = {Ricardo Pe{\~{n}}a and
Rex L. Page},
title = {ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring
Techniques},
booktitle = {Trends in Functional Programming, 12th International Symposium, {TFP}
2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7193},
pages = {82--97},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32037-8\_6},
doi = {10.1007/978-3-642-32037-8\_6},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfp/BrownLH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/parallel/TrinderLH11,
author = {Philip W. Trinder and
Hans{-}Wolfgang Loidl and
Kevin Hammond},
editor = {David A. Padua},
title = {Functional Languages},
booktitle = {Encyclopedia of Parallel Computing},
pages = {744--749},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-0-387-09766-4\_201},
doi = {10.1007/978-0-387-09766-4\_201},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/parallel/TrinderLH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/parallel/Hammond11,
author = {Kevin Hammond},
editor = {David A. Padua},
title = {Glasgow Parallel Haskell (GpH)},
booktitle = {Encyclopedia of Parallel Computing},
pages = {768--779},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-0-387-09766-4\_46},
doi = {10.1007/978-0-387-09766-4\_46},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/parallel/Hammond11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BradyH10,
author = {Edwin C. Brady and
Kevin Hammond},
title = {Correct-by-Construction Concurrency: Using Dependent Types to Verify
Implementations of Effectful Resource Usage Protocols},
journal = {Fundam. Informaticae},
volume = {102},
number = {2},
pages = {145--176},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-303},
doi = {10.3233/FI-2010-303},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BradyH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccgrid/JanjicH10,
author = {Vladimir Janjic and
Kevin Hammond},
title = {Granularity-Aware Work-Stealing for Computationally-Uniform Grids},
booktitle = {10th {IEEE/ACM} International Conference on Cluster, Cloud and Grid
Computing, CCGrid 2010, 17-20 May 2010, Melbourne, Victoria, Australia},
pages = {123--134},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/CCGRID.2010.49},
doi = {10.1109/CCGRID.2010.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccgrid/JanjicH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BradyH10,
author = {Edwin C. Brady and
Kevin Hammond},
editor = {Paul Hudak and
Stephanie Weirich},
title = {Scrapping your inefficient engine: using partial evaluation to improve
domain-specific language implementation},
booktitle = {Proceeding of the 15th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2010, Baltimore, Maryland, USA, September
27-29, 2010},
pages = {297--308},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863543.1863587},
doi = {10.1145/1863543.1863587},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/icfp/BradyH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/BrownLBH10,
author = {Christopher Brown and
Hans{-}Wolfgang Loidl and
Jost Berthold and
Kevin Hammond},
editor = {Jurriaan Hage and
Marco T. Moraz{\'{a}}n},
title = {Improving Your {CASH} Flow: The Computer Algebra SHell},
booktitle = {Implementation and Application of Functional Languages - 22nd International
Symposium, {IFL} 2010, Alphen aan den Rijn, The Netherlands, September
1-3, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6647},
pages = {169--184},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-24276-2\_11},
doi = {10.1007/978-3-642-24276-2\_11},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/BrownLBH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/LintonHKZTHR10,
author = {Steve Linton and
Kevin Hammond and
Alexander Konovalov and
Abdallah Al Zain and
Philip W. Trinder and
Peter Horn and
Dan Roozemond},
editor = {Wolfram Koepf},
title = {Easy composition of symbolic computation software: a new lingua franca
for symbolic computation},
booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
pages = {339--346},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1837934.1837999},
doi = {10.1145/1837934.1837999},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issac/LintonHKZTHR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JostHLH10,
author = {Steffen Jost and
Kevin Hammond and
Hans{-}Wolfgang Loidl and
Martin Hofmann},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Static determination of quantitative resource usage for higher-order
programs},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {223--236},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706327},
doi = {10.1145/1706299.1706327},
timestamp = {Tue, 22 Jun 2021 17:10:57 +0200},
biburl = {https://dblp.org/rec/conf/popl/JostHLH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/HammondM09,
author = {Kevin Hammond and
Greg Michaelson},
title = {The Peter Landin prize},
journal = {High. Order Symb. Comput.},
volume = {22},
number = {4},
pages = {305--312},
year = {2009},
url = {https://doi.org/10.1007/s10990-010-9055-7},
doi = {10.1007/S10990-010-9055-7},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/HammondM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusipco/ZainGMHJL09,
author = {Abdallah Al Zain and
Valerie Gibson and
Greg J. Michaelson and
Kevin Hammond and
Steffen Jost and
Hans{-}Wolfgang Loidl},
title = {Towards Hume {SIMD} vectorisation},
booktitle = {17th European Signal Processing Conference, {EUSIPCO} 2009, Glasgow,
Scotland, UK, August 24-28, 2009},
pages = {2683--2687},
publisher = {{IEEE}},
year = {2009},
url = {https://ieeexplore.ieee.org/document/7077855/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eusipco/ZainGMHJL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/JostLHSH09,
author = {Steffen Jost and
Hans{-}Wolfgang Loidl and
Kevin Hammond and
Norman Scaife and
Martin Hofmann},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {"Carbon Credits" for Resource-Bounded Computations Using
Amortised Analysis},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {354--369},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_23},
doi = {10.1007/978-3-642-05089-3\_23},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/JostLHSH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcsw/BhattiBHM09,
author = {Saleem Bhatti and
Edwin C. Brady and
Kevin Hammond and
James McKinna},
title = {Domain Specific Languages (DSLs) for Network Protocols (Position Paper)},
booktitle = {29th {IEEE} International Conference on Distributed Computing Systems
Workshops {(ICDCS} 2009 Workshops), 22-26 June 2009, Montreal, Qu{\'{e}}bec,
Canada},
pages = {208--213},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICDCSW.2009.64},
doi = {10.1109/ICDCSW.2009.64},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcsw/BhattiBHM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icppw/BertholdMHZ09,
author = {Jost Berthold and
Simon Marlow and
Kevin Hammond and
Abdallah Al Zain},
editor = {Leonard Barolli and
Wu{-}chun Feng},
title = {Comparing and Optimising Parallel Haskell Implementations for Multicore
Machines},
booktitle = {{ICPPW} 2009, International Conference on Parallel Processing Workshops,
Vienna, Austria, 22-25 September 2009},
pages = {386--393},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICPPW.2009.10},
doi = {10.1109/ICPPW.2009.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icppw/BertholdMHZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ZainHBTMA09,
author = {Abdallah Al Zain and
Kevin Hammond and
Jost Berthold and
Philip W. Trinder and
Greg Michaelson and
Mustafa Aswad},
editor = {Leaf Petersen and
Manuel M. T. Chakravarty},
title = {Low-pain, high-gain multicore programming in Haskell: coordinating
irregular symbolic computations on multicore architectures},
booktitle = {Proceedings of the {POPL} 2009 Workshop on Declarative Aspects of
Multicore Programming, {DAMP} 2009, Savannah, GA, USA, January 20,
2009},
pages = {25--36},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1481839.1481843},
doi = {10.1145/1481839.1481843},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/ZainHBTMA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discotec/JanjicHY08,
author = {Vladimir Janjic and
Kevin Hammond and
Yang Yang},
editor = {Hans P. Reiser},
title = {Using application information to drive adaptive grid middleware scheduling
decisions},
booktitle = {Proceedings of the 2nd workshop on Middleware-application interaction
- affiliated with the DisCoTec federated conferences 2008, {MAI} '08,
Oslo, Norway, June 3, 2008},
pages = {7--12},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1394272.1394275},
doi = {10.1145/1394272.1394275},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/discotec/JanjicHY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispa/ZainTHKLB08,
author = {Abdallah Al Zain and
Philip W. Trinder and
Kevin Hammond and
Alexander Konovalov and
Steve Linton and
Jost Berthold},
title = {Parallelism without Pain: Orchestrating Computational Algebra Components
into a High-Performance Parallel System},
booktitle = {{IEEE} International Symposium on Parallel and Distributed Processing
with Applications, {ISPA} 2008, Sydney, NSW, Australia, December 10-12,
2008},
pages = {99--112},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISPA.2008.19},
doi = {10.1109/ISPA.2008.19},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispa/ZainTHKLB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BradyHH08,
author = {Edwin C. Brady and
Christoph A. Herrmann and
Kevin Hammond},
editor = {Peter Achten and
Pieter W. M. Koopman and
Marco T. Moraz{\'{a}}n},
title = {Lightweight Invariants with Full Dependent Types},
booktitle = {Proceedings of the Nineth Symposium on Trends in Functional Programming,
{TFP} 2008, Nijmegen, The Netherlands, May 26-28, 2008},
series = {Trends in Functional Programming},
volume = {9},
pages = {161--177},
publisher = {Intellect},
year = {2008},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/BradyHH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/HammondZCPT07,
author = {Kevin Hammond and
Abdallah Al Zain and
Gene Cooperman and
Dana Petcu and
Philip W. Trinder},
editor = {Anne{-}Marie Kermarrec and
Luc Boug{\'{e}} and
Thierry Priol},
title = {SymGrid: {A} Framework for Symbolic Computation on the Grid},
booktitle = {Euro-Par 2007, Parallel Processing, 13th International Euro-Par Conference,
Rennes, France, August 28-31, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4641},
pages = {457--466},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74466-5\_49},
doi = {10.1007/978-3-540-74466-5\_49},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/HammondZCPT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/ZainHTLLC07,
author = {Abdallah Al Zain and
Kevin Hammond and
Philip W. Trinder and
Steve Linton and
Hans{-}Wolfgang Loidl and
Marco Costanti},
editor = {Yong Shi and
G. Dick van Albada and
Jack J. Dongarra and
Peter M. A. Sloot},
title = {SymGrid-Par: Designing a Framework for Executing Computational Algebra
Systems on Computational Grids},
booktitle = {Computational Science - {ICCS} 2007, 7th International Conference,
Beijing, China, May 27 - 30, 2007, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {4488},
pages = {617--624},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72586-2\_90},
doi = {10.1007/978-3-540-72586-2\_90},
timestamp = {Tue, 08 Nov 2022 08:34:34 +0100},
biburl = {https://dblp.org/rec/conf/iccS/ZainHTLLC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispdc/CarsteaFMPH07,
author = {Alexandru C{\^{a}}rstea and
Marc Fr{\^{\i}}ncu and
Georgiana Macariu and
Dana Petcu and
Kevin Hammond},
title = {Generic Access to Web and Grid-based Symbolic Computing Services:
the SymGrid-Services Framework},
booktitle = {6th International Symposium on Parallel and Distributed Computing
{(ISPDC} 2007), Hagenberg, Austria, July 5-8, 2007},
pages = {143--150},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ISPDC.2007.24},
doi = {10.1109/ISPDC.2007.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispdc/CarsteaFMPH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BonenfantCHMWW07,
author = {Armelle Bonenfant and
Zezhi Chen and
Kevin Hammond and
Greg Michaelson and
Andrew M. Wallace and
Iain Wallace},
editor = {Yookun Cho and
Roger L. Wainwright and
Hisham Haddad and
Sung Y. Shin and
Yong Wan Koo},
title = {Towards resource-certified software: a formal cost model for time
and its application to an image-processing example},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
Seoul, Korea, March 11-15, 2007},
pages = {1307--1314},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244002.1244285},
doi = {10.1145/1244002.1244285},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/BonenfantCHMWW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/BradyMH07,
author = {Edwin C. Brady and
James McKinna and
Kevin Hammond},
editor = {Marco T. Moraz{\'{a}}n},
title = {Constructing Correct Circuits: Verification of Functional Aspects
of Hardware Specifications with Dependent Types},
booktitle = {Proceedings of the Eighth Symposium on Trends in Functional Programming,
{TFP} 2007, New York City, New York, USA, April 2-4. 2007},
series = {Trends in Functional Programming},
volume = {8},
pages = {159--176},
publisher = {Intellect},
year = {2007},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/BradyMH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/Hammond07,
author = {Kevin Hammond},
editor = {Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Daniela Zaharie},
title = {SymGrid: {A} Framework for Symbolic Computations on the Grid},
booktitle = {Proceedings of the Ninth International Symposium on Symbolic and Numeric
Algorithms for Scientific Computing, {SYNASC} 2007, Timisoara, Romania,
September 26-29, 2007},
pages = {4},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SYNASC.2007.86},
doi = {10.1109/SYNASC.2007.86},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/Hammond07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HerrmannBHJLP07,
author = {Christoph A. Herrmann and
Armelle Bonenfant and
Kevin Hammond and
Steffen Jost and
Hans{-}Wolfgang Loidl and
Robert F. Pointon},
editor = {Christine Rochange},
title = {Automatic Amortised Worst-Case Execution Time Analysis},
booktitle = {7th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
Pisa, Italy, July 3, 2007},
series = {OASIcs},
volume = {6},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/1186},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/HerrmannBHJLP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/HammondFH06,
author = {Kevin Hammond and
Christian Ferdinand and
Reinhold Heckmann},
title = {Towards formally verifiable resource bounds for real-time embedded
systems},
journal = {{SIGBED} Rev.},
volume = {3},
number = {4},
pages = {27--36},
year = {2006},
url = {https://doi.org/10.1145/1183088.1183093},
doi = {10.1145/1183088.1183093},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/HammondFH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/BradyH06,
author = {Edwin C. Brady and
Kevin Hammond},
editor = {Stan Jarzabek and
Douglas C. Schmidt and
Todd L. Veldhuizen},
title = {A verified staged interpreter is a verified compiler},
booktitle = {Generative Programming and Component Engineering, 5th International
Conference, {GPCE} 2006, Portland, Oregon, USA, October 22-26, 2006,
Proceedings},
pages = {111--120},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1173706.1173724},
doi = {10.1145/1173706.1173724},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gpce/BradyH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/HammondGMI06,
author = {Kevin Hammond and
Gudmund Grov and
Greg Michaelson and
Andrew Ireland},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Andrew Butterfield},
title = {Low-Level Programming in Hume: An Exploration of the HW-Hume Level},
booktitle = {Implementation and Application of Functional Languages, 18th International
Symp osium, {IFL} 2006, Budapest, Hungary, September 4-6, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4449},
pages = {91--107},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74130-5\_6},
doi = {10.1007/978-3-540-74130-5\_6},
timestamp = {Mon, 03 Jan 2022 22:26:06 +0100},
biburl = {https://dblp.org/rec/conf/ifl/HammondGMI06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/BonenfantFHH06,
author = {Armelle Bonenfant and
Christian Ferdinand and
Kevin Hammond and
Reinhold Heckmann},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Andrew Butterfield},
title = {Worst-Case Execution Times for a Purely Functional Language},
booktitle = {Implementation and Application of Functional Languages, 18th International
Symp osium, {IFL} 2006, Budapest, Hungary, September 4-6, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4449},
pages = {235--252},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74130-5\_14},
doi = {10.1007/978-3-540-74130-5\_14},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/BonenfantFHH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/SimoesHFV06,
author = {Hugo R. Sim{\~{o}}es and
Kevin Hammond and
M{\'{a}}rio Florido and
Pedro B. Vasconcelos},
editor = {Thorsten Altenkirch and
Conor McBride},
title = {Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic
Functional Programs},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2006,
Nottingham, UK, April 18-21, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4502},
pages = {221--236},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74464-1\_15},
doi = {10.1007/978-3-540-74464-1\_15},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/SimoesHFV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/HammondFHDHJLMPSSW06,
author = {Kevin Hammond and
Christian Ferdinand and
Reinhold Heckmann and
Roy Dyckhoff and
Martin Hofmann and
Steffen Jost and
Hans{-}Wolfgang Loidl and
Greg Michaelson and
Robert F. Pointon and
Norman Scaife and
Jocelyn S{\'{e}}rot and
Andy Wallace},
editor = {Frank Mueller},
title = {Towards Formally Verifiable {WCET} Analysis for a Functional Programming
Language},
booktitle = {6th Intl. Workshop on Worst-Case Execution Time {(WCET)} Analysis,
July 4, 2006, Dresden, Germany},
series = {OASIcs},
volume = {4},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/677},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wcet/HammondFHDHJLMPSSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/Hammond05,
author = {Kevin Hammond},
editor = {Zolt{\'{a}}n Horv{\'{a}}th},
title = {Exploiting Purely Functional Programming to Obtain Bounded Resource
Behaviour: The Hume Approach},
booktitle = {Central European Functional Programming School, First Summer School,
{CEFP} 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4164},
pages = {100--134},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11894100\_4},
doi = {10.1007/11894100\_4},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cefp/Hammond05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/BradyH05,
author = {Edwin C. Brady and
Kevin Hammond},
editor = {Andrew Butterfield and
Clemens Grelck and
Frank Huch},
title = {A Dependently Typed Framework for Static Analysis of Program Execution
Costs},
booktitle = {Implementation and Application of Functional Languages, 17th International
Workshop, {IFL} 2005, Dublin, Ireland, September 19-21, 2005, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4015},
pages = {74--90},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11964681\_5},
doi = {10.1007/11964681\_5},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/BradyH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/HammondDFHHJLMPSSW05,
author = {Kevin Hammond and
Roy Dyckhoff and
Christian Ferdinand and
Reinhold Heckmann and
Martin Hofmann and
Steffen Jost and
Hans{-}Wolfgang Loidl and
Greg Michaelson and
Robert F. Pointon and
Norman Scaife and
Jocelyn S{\'{e}}rot and
Andy Wallace},
editor = {Marko C. J. D. van Eekelen},
title = {The Embounded project (project start paper)},
booktitle = {Revised Selected Papers from the Sixth Symposium on Trends in Functional
Programming, {TFP} 2005, Tallinn, Estonia, 23-24 September 2005},
series = {Trends in Functional Programming},
volume = {6},
pages = {195--210},
publisher = {Intellect},
year = {2005},
timestamp = {Tue, 05 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/HammondDFHHJLMPSSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MichaelsonHS04,
author = {Greg Michaelson and
Kevin Hammond and
Jocelyn S{\'{e}}rot},
editor = {Hisham Haddad and
Andrea Omicini and
Roger L. Wainwright and
Lorie M. Liebrock},
title = {FSM-Hume: programming resource-limited systems using bounded automata},
booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
Nicosia, Cyprus, March 14-17, 2004},
pages = {1455--1461},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/967900.968192},
doi = {10.1145/967900.968192},
timestamp = {Tue, 06 Nov 2018 11:06:44 +0100},
biburl = {https://dblp.org/rec/conf/sac/MichaelsonHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/LoidlRSHHKLMPPPT03,
author = {Hans{-}Wolfgang Loidl and
Fernando Rubio and
Norman Scaife and
Kevin Hammond and
Susumu Horiguchi and
Ulrike Klusik and
Rita Loogen and
Greg Michaelson and
Ricardo Pena and
Steffen Priebe and
{\'{A}}lvaro J. Reb{\'{o}}n Portillo and
Philip W. Trinder},
title = {Comparing Parallel Functional Languages: Programming and Performance},
journal = {High. Order Symb. Comput.},
volume = {16},
number = {3},
pages = {203--251},
year = {2003},
url = {https://doi.org/10.1023/A:1025641323400},
doi = {10.1023/A:1025641323400},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/LoidlRSHHKLMPPPT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ppl/HammondBL03,
author = {Kevin Hammond and
Jost Berthold and
Rita Loogen},
title = {Automatic Skeletons in Template Haskell},
journal = {Parallel Process. Lett.},
volume = {13},
number = {3},
pages = {413--424},
year = {2003},
url = {https://doi.org/10.1142/S0129626403001380},
doi = {10.1142/S0129626403001380},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ppl/HammondBL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/HammondM03,
author = {Kevin Hammond and
Greg Michaelson},
editor = {Christian Lengauer and
Don S. Batory and
Charles Consel and
Martin Odersky},
title = {The Design of Hume: {A} High-Level Language for the Real-Time Embedded
Systems Domain},
booktitle = {Domain-Specific Program Generation, International Seminar, Dagstuhl
Castle, Germany, March 23-28, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3016},
pages = {127--142},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25935-0\_8},
doi = {10.1007/978-3-540-25935-0\_8},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/HammondM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/HammondM03,
author = {Kevin Hammond and
Greg Michaelson},
editor = {Frank Pfenning and
Yannis Smaragdakis},
title = {Hume: {A} Domain-Specific Language for Real-Time Embedded Systems},
booktitle = {Generative Programming and Component Engineering, Second International
Conference, {GPCE} 2003, Erfurt, Germany, September 22-25, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2830},
pages = {37--56},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39815-8\_3},
doi = {10.1007/978-3-540-39815-8\_3},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/gpce/HammondM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/VasconcelosH03,
author = {Pedro B. Vasconcelos and
Kevin Hammond},
editor = {Philip W. Trinder and
Greg Michaelson and
Ricardo Pena},
title = {Inferring Cost Equations for Recursive, Polymorphic and Higher-Order
Functional Programs},
booktitle = {Implementation of Functional Languages, 15th International Workshop,
{IFL} 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {3145},
pages = {86--101},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-27861-0\_6},
doi = {10.1007/978-3-540-27861-0\_6},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/VasconcelosH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/Hammond03,
author = {Kevin Hammond},
editor = {Stephen Gilmore},
title = {Is it time for real-time functional programming?},
booktitle = {Revised Selected Papers from the Fourth Symposium on Trends in Functional
Programming, {TFP} 2003, Edinburgh, United Kingdom, 11-12 September
2003},
series = {Trends in Functional Programming},
volume = {4},
pages = {1--18},
publisher = {Intellect},
year = {2003},
timestamp = {Thu, 25 Oct 2007 12:00:20 +0200},
biburl = {https://dblp.org/rec/conf/sfp/Hammond03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/MichaelsonHS03,
author = {Greg Michaelson and
Kevin Hammond and
Jocelyn S{\'{e}}rot},
editor = {Stephen Gilmore},
title = {FSM-Hume is finite state},
booktitle = {Revised Selected Papers from the Fourth Symposium on Trends in Functional
Programming, {TFP} 2003, Edinburgh, United Kingdom, 11-12 September
2003},
series = {Trends in Functional Programming},
volume = {4},
pages = {19--28},
publisher = {Intellect},
year = {2003},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/MichaelsonHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/Hammond02,
author = {Kevin Hammond},
editor = {Burkhard Monien and
Rainer Feldmann},
title = {Parallel Programming: Models, Methods and Programming Languages},
booktitle = {Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference
Paderborn, Germany, August 27-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2400},
pages = {603--604},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45706-2\_83},
doi = {10.1007/3-540-45706-2\_83},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/Hammond02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/HammondM02,
author = {Kevin Hammond and
Greg Michaelson},
editor = {Ricardo Pena and
Thomas Arts},
title = {Predictable Space Behaviour in FSM-Hume},
booktitle = {Implementation of Functional Languages, 14th International Workshop,
{IFL} 2002, Madrid, Spain, September 16-18, 2002, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {2670},
pages = {1--16},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44854-3\_1},
doi = {10.1007/3-540-44854-3\_1},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/HammondM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/PortilloHLV02,
author = {{\'{A}}lvaro J. Reb{\'{o}}n Portillo and
Kevin Hammond and
Hans{-}Wolfgang Loidl and
Pedro B. Vasconcelos},
editor = {Ricardo Pena and
Thomas Arts},
title = {Cost Analysis Using Automatic Size and Time Inference},
booktitle = {Implementation of Functional Languages, 14th International Workshop,
{IFL} 2002, Madrid, Spain, September 16-18, 2002, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {2670},
pages = {232--248},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-44854-3\_15},
doi = {10.1007/3-540-44854-3\_15},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/PortilloHLV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2001,
editor = {Kevin Hammond and
Sharon Curtis},
title = {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},
publisher = {Intellect},
year = {2002},
isbn = {1-84150-070-4},
timestamp = {Thu, 25 Oct 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfp/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/TrinderLBDHKJP00,
author = {Philip W. Trinder and
Hans{-}Wolfgang Loidl and
Ed. Barry Jr. and
Kei Davis and
Kevin Hammond and
Ulrike Klusik and
Simon L. Peyton Jones and
{\'{A}}lvaro J. Reb{\'{o}}n Portillo},
editor = {Arndt Bode and
Thomas Ludwig and
Wolfgang Karl and
Roland Wism{\"{u}}ller},
title = {The Multi-architecture Performance of the Parallel Functional Language
{GP} {H} (Research Note)},
booktitle = {Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference,
Munich, Germany, August 29 - September 1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1900},
pages = {739--743},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44520-X\_101},
doi = {10.1007/3-540-44520-X\_101},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/TrinderLBDHKJP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icecsys/Hammond00,
author = {Kevin Hammond},
title = {Hume: a bounded time concurrent language},
booktitle = {Proceedings of the 2000 7th {IEEE} International Conference on Electronics,
Circuits and Systems, {ICECS} 2000, Jounieh, Lebanon, December 17-20,
2000},
pages = {407--411},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/ICECS.2000.911567},
doi = {10.1109/ICECS.2000.911567},
timestamp = {Mon, 09 Aug 2021 14:54:04 +0200},
biburl = {https://dblp.org/rec/conf/icecsys/Hammond00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/Hammond00,
author = {Kevin Hammond},
editor = {Markus Mohnen and
Pieter W. M. Koopman},
title = {The Dynamic Properties of Hume: {A} Functionally-Based Concurrent
Language with Bounded Time and Space Behaviour},
booktitle = {Implementation of Functional Languages, 12th International Workshop,
{IFL} 2000, Aachen, Germany, September 4-7, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2011},
pages = {122--139},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45361-X\_8},
doi = {10.1007/3-540-45361-X\_8},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/Hammond00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/LoidlKHLT00,
author = {Hans{-}Wolfgang Loidl and
Ulrike Klusik and
Kevin Hammond and
Rita Loogen and
Philip W. Trinder},
editor = {Stephen Gilmore},
title = {GpH and Eden: Comparing two parallel functional languages on a Beowulf
cluster},
booktitle = {Selected papers from the 2nd Scottish Functional Programming Workshop
(SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
series = {Trends in Functional Programming},
volume = {2},
pages = {39--52},
publisher = {Intellect},
year = {2000},
timestamp = {Wed, 22 Jan 2003 13:23:23 +0100},
biburl = {https://dblp.org/rec/conf/sfp/LoidlKHLT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/CopeGH00,
author = {Michelle Cope and
Ian P. Gent and
Kevin Hammond},
editor = {Stephen Gilmore},
title = {Parallel heuristic search in Haskell},
booktitle = {Selected papers from the 2nd Scottish Functional Programming Workshop
(SFP00), University of St Andrews, Scotland, July 26th to 28th, 2000},
series = {Trends in Functional Programming},
volume = {2},
pages = {65--76},
publisher = {Intellect},
year = {2000},
timestamp = {Wed, 22 Jan 2003 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfp/CopeGH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/LoidlTHJMJ99,
author = {Hans{-}Wolfgang Loidl and
Philip W. Trinder and
Kevin Hammond and
Sahalu B. Junaidu and
Richard G. Morgan and
Simon L. Peyton Jones},
title = {Engineering parallel symbolic programs in {GPH}},
journal = {Concurr. Pract. Exp.},
volume = {11},
number = {12},
pages = {701--752},
year = {1999},
url = {https://doi.org/10.1002/(SICI)1096-9128(199910)11:12\&\#60;701::AID-CPE443\&\#62;3.0.CO;2-P},
doi = {10.1002/(SICI)1096-9128(199910)11:12\&\#60;701::AID-CPE443\&\#62;3.0.CO;2-P},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/LoidlTHJMJ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/HammondP99,
author = {Kevin Hammond and
{\'{A}}lvaro J. Reb{\'{o}}n Portillo},
editor = {Pieter W. M. Koopman and
Chris Clack},
title = {HaskSkel: Algorithmic Skeletons in Haskell},
booktitle = {Implementation of Functional Languages, 11th International Workshop,
IFL'99, Lochem, The Netherlands, September 7-10, 1999, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1868},
pages = {181--198},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10722298\_11},
doi = {10.1007/10722298\_11},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/HammondP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/99/HammondM99,
author = {Kevin Hammond and
Greg Michaelson},
editor = {Kevin Hammond and
Greg Michaelson},
title = {Introduction},
booktitle = {Research Directions in Parallel Functional Programming},
pages = {3--29},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0841-2\_1},
doi = {10.1007/978-1-4471-0841-2\_1},
timestamp = {Thu, 01 Aug 2019 12:47:09 +0200},
biburl = {https://dblp.org/rec/books/sp/99/HammondM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/99/MichaelsonHC99,
author = {Greg Michaelson and
Kevin Hammond and
Chris Clack},
editor = {Kevin Hammond and
Greg Michaelson},
title = {Foundations},
booktitle = {Research Directions in Parallel Functional Programming},
pages = {31--61},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0841-2\_2},
doi = {10.1007/978-1-4471-0841-2\_2},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/99/MichaelsonHC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/99/TrinderLH99,
author = {Philip W. Trinder and
Hans{-}Wolfgang Loidl and
Kevin Hammond},
editor = {Kevin Hammond and
Greg Michaelson},
title = {Large Scale Functional Applications},
booktitle = {Research Directions in Parallel Functional Programming},
pages = {399--426},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0841-2\_19},
doi = {10.1007/978-1-4471-0841-2\_19},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/99/TrinderLH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/99/MichaelsonH99,
author = {Greg Michaelson and
Kevin Hammond},
editor = {Kevin Hammond and
Greg Michaelson},
title = {Summary},
booktitle = {Research Directions in Parallel Functional Programming},
pages = {427--430},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0841-2\_20},
doi = {10.1007/978-1-4471-0841-2\_20},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/99/MichaelsonH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/99/HM1999,
editor = {Kevin Hammond and
Greg Michaelson},
title = {Research Directions in Parallel Functional Programming},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4471-0841-2},
doi = {10.1007/978-1-4471-0841-2},
isbn = {978-1-85233-092-7},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/99/HM1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifl/1998,
editor = {Kevin Hammond and
Antony J. T. Davie and
Chris Clack},
title = {Implementation of Functional Languages, 10th International Workshop,
IFL'98, London, UK, September 9-11, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1595},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48515-5},
doi = {10.1007/3-540-48515-5},
isbn = {3-540-66229-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/TrinderHLJ98,
author = {Philip W. Trinder and
Kevin Hammond and
Hans{-}Wolfgang Loidl and
Simon L. Peyton Jones},
title = {Algorithms + Strategy = Parallelism},
journal = {J. Funct. Program.},
volume = {8},
number = {1},
pages = {23--60},
year = {1998},
url = {https://doi.org/10.1017/s0956796897002967},
doi = {10.1017/S0956796897002967},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/TrinderHLJ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifl/1997,
editor = {Chris Clack and
Kevin Hammond and
Antony J. T. Davie},
title = {Implementation of Functional Languages, 9th International Workshop,
IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1467},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055420},
doi = {10.1007/BFB0055420},
isbn = {3-540-64849-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifl/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/JunaiduDH97,
author = {Sahalu B. Junaidu and
Antony J. T. Davie and
Kevin Hammond},
editor = {Chris Clack and
Kevin Hammond and
Antony J. T. Davie},
title = {Naira: {A} Parallel{\({^2}\)} Haskell Compiler},
booktitle = {Implementation of Functional Languages, 9th International Workshop,
IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1467},
pages = {214--230},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0055433},
doi = {10.1007/BFB0055433},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/JunaiduDH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HartelFAABBCFGGHHIJKLLLLRSTTTWWW96,
author = {Pieter H. Hartel and
Marc Feeley and
Martin Helmut Alt and
Lennart Augustsson and
Peter Baumann and
Marcel Beemster and
Emmanuel Chailloux and
Christine H. Flood and
Wolfgang Grieskamp and
John H. G. van Groningen and
Kevin Hammond and
Bogumil Hausman and
Melody Y. Ivory and
Richard E. Jones and
Jasper Kamperman and
Peter Lee and
Xavier Leroy and
Rafael Dueire Lins and
Sandra Loosemore and
Niklas R{\"{o}}jemo and
Manuel Serrano and
Jean{-}Pierre Talpin and
Jon Thackray and
Stephen Thomas and
Pum Walters and
Pierre Weis and
Peter Wentworth},
title = {Benchmarking Implementations of Functional Languages with 'Pseudoknot',
a Float-Intensive Benchmark},
journal = {J. Funct. Program.},
volume = {6},
number = {4},
pages = {621--655},
year = {1996},
url = {https://doi.org/10.1017/S0956796800001891},
doi = {10.1017/S0956796800001891},
timestamp = {Mon, 23 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/HartelFAABBCFGGHHIJKLLLLRSTTTWWW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HallHJW96,
author = {Cordelia V. Hall and
Kevin Hammond and
Simon L. Peyton Jones and
Philip Wadler},
title = {Type Classes in Haskell},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {18},
number = {2},
pages = {109--138},
year = {1996},
url = {https://doi.org/10.1145/227699.227700},
doi = {10.1145/227699.227700},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HallHJW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/LoidlH96,
author = {Hans{-}Wolfgang Loidl and
Kevin Hammond},
editor = {Werner E. Kluge},
title = {Making a Packet: Cost-Effective Communication for a Parallel Graph
Reducer},
booktitle = {Implementation of Functional Languages, 8th International Workshop,
IFL'96, Bad Godesberg, Germany, September 16-18, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1268},
pages = {184--199},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-63237-9\_25},
doi = {10.1007/3-540-63237-9\_25},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/ifl/LoidlH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/TrinderHMPJ96,
author = {Philip W. Trinder and
Kevin Hammond and
James S. Mattson Jr. and
Andrew S. Partridge and
Simon L. Peyton Jones},
editor = {Charles N. Fischer},
title = {{GUM:} {A} Portable Parallel Implementation of Haskell},
booktitle = {Proceedings of the {ACM} SIGPLAN'96 Conference on Programming Language
Design and Implementation (PLDI), Philadephia, Pennsylvania, USA,
May 21-24, 1996},
pages = {79--88},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/231379.231392},
doi = {10.1145/231379.231392},
timestamp = {Thu, 08 Jul 2021 16:04:02 +0200},
biburl = {https://dblp.org/rec/conf/pldi/TrinderHMPJ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HammondT95,
author = {Kevin Hammond and
Philip W. Trinder},
editor = {David N. Turner},
title = {Database Manipulation in Haskell 1.3},
booktitle = {Functional Programming, Glasgow, UK, 1995},
series = {Workshops in Computing},
pages = {5},
publisher = {Springer},
year = {1995},
timestamp = {Tue, 19 Jun 2018 20:15:26 +0200},
biburl = {https://dblp.org/rec/conf/fp/HammondT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/LoidlH95,
author = {Hans{-}Wolfgang Loidl and
Kevin Hammond},
editor = {David N. Turner},
title = {On the Granularity of Divide-and-Conquer Parallelism},
booktitle = {Functional Programming, Glasgow, UK, 1995},
series = {Workshops in Computing},
pages = {8},
publisher = {Springer},
year = {1995},
timestamp = {Thu, 15 May 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/LoidlH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fp/1994,
editor = {Kevin Hammond and
David N. Turner and
Patrick M. Sansom},
title = {Proceedings of the 1994 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, September 12-14, 1994},
series = {Workshops in Computing},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4471-3573-9},
doi = {10.1007/978-1-4471-3573-9},
isbn = {978-3-540-19914-4},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conpar/HammondMJ94,
author = {Kevin Hammond and
James S. Mattson Jr. and
Simon L. Peyton Jones},
editor = {Bruno Buchberger and
Jens Volkert},
title = {Automatic Spark Strategies and Granularity for a Parallel Functional
Language Reducer},
booktitle = {Parallel Processing: {CONPAR} 94 - {VAPP} VI, Third Joint International
Conference on Vector and Parallel Processing, Linz, Austria, September
6-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {854},
pages = {521--532},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58430-7\_46},
doi = {10.1007/3-540-58430-7\_46},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/conpar/HammondMJ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HallHJW94,
author = {Cordelia V. Hall and
Kevin Hammond and
Simon L. Peyton Jones and
Philip Wadler},
editor = {Donald Sannella},
title = {Type Classes in Haskell},
booktitle = {Programming Languages and Systems - ESOP'94, 5th European Symposium
on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {788},
pages = {241--256},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57880-3\_16},
doi = {10.1007/3-540-57880-3\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/HallHJW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HammondLP94,
author = {Kevin Hammond and
Hans{-}Wolfgang Loidl and
Andrew S. Partridge},
editor = {Kevin Hammond and
David N. Turner and
Patrick M. Sansom},
title = {Improving Granularity in Parallel Functional Programs: {A} Graphical
Winnowing System for Haskell},
booktitle = {Proceedings of the 1994 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, September 12-14, 1994},
series = {Workshops in Computing},
pages = {111--126},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3573-9\_8},
doi = {10.1007/978-1-4471-3573-9\_8},
timestamp = {Tue, 25 Jun 2019 09:34:45 +0200},
biburl = {https://dblp.org/rec/conf/fp/HammondLP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pasco/Hammond94,
author = {Kevin Hammond},
editor = {Hoon Hong},
title = {Parallel Functional Programming: An Introduction},
booktitle = {First International Symposium on Parallel Symbolic Computation, {PASCO}
1994, Hagenberg/Linz, Austria, September 26-28, 1994},
pages = {181--193},
publisher = {World Scientific},
year = {1994},
timestamp = {Tue, 04 Apr 2023 10:49:43 +0200},
biburl = {https://dblp.org/rec/conf/pasco/Hammond94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fp/1993,
editor = {John T. O'Donnell and
Kevin Hammond},
title = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-1-4471-3236-3},
doi = {10.1007/978-1-4471-3236-3},
isbn = {978-3-540-19879-6},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HammondBH93,
author = {Kevin Hammond and
Geoffrey Livingston Burn and
Denis B. Howe},
editor = {John T. O'Donnell and
Kevin Hammond},
title = {Spiking Your Caches},
booktitle = {Proceedings of the 1993 Glasgow Workshop on Functional Programming,
Ayr, Scotland, UK, July 5-7, 1993},
series = {Workshops in Computing},
pages = {58--68},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-1-4471-3236-3\_5},
doi = {10.1007/978-1-4471-3236-3\_5},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/HammondBH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/AkerholtHJT93,
author = {Gert Akerholt and
Kevin Hammond and
Simon L. Peyton Jones and
Philip W. Trinder},
editor = {Arndt Bode and
Mike Reeve and
Gottfried Wolf},
title = {Processing Transactions on GRIP, a Parallel Graph Reducer},
booktitle = {{PARLE} '93, Parallel Architectures and Languages Europe, 5th International
{PARLE} Conference, Munich, Germany, June 14-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {694},
pages = {634--647},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56891-3\_51},
doi = {10.1007/3-540-56891-3\_51},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/parle/AkerholtHJT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/HudakPWBFFGHHJKNPP92,
author = {Paul Hudak and
Simon L. Peyton Jones and
Philip Wadler and
Brian Boutel and
Jon Fairbairn and
Joseph H. Fasel and
Mar{\'{\i}}a M. Guzm{\'{a}}n and
Kevin Hammond and
John Hughes and
Thomas Johnsson and
Richard B. Kieburtz and
Rishiyur S. Nikhil and
Will Partain and
John Peterson},
title = {Report on the Programming Language Haskell, {A} Non-strict, Purely
Functional Language},
journal = {{ACM} {SIGPLAN} Notices},
volume = {27},
number = {5},
pages = {1},
year = {1992},
url = {https://doi.org/10.1145/130697.130699},
doi = {10.1145/130697.130699},
timestamp = {Tue, 08 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigplan/HudakPWBFFGHHJKNPP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HallHPJW92,
author = {Cordelia V. Hall and
Kevin Hammond and
Will Partain and
Simon L. Peyton Jones and
Philip Wadler},
editor = {John Launchbury and
Patrick M. Sansom},
title = {The Glasgow Haskell Compiler: {A} Retrospective},
booktitle = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
series = {Workshops in Computing},
pages = {62--71},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3215-8\_6},
doi = {10.1007/978-1-4471-3215-8\_6},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/fp/HallHPJW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HammondMST92,
author = {Kevin Hammond and
Dave McNally and
Patrick M. Sansom and
Philip W. Trinder},
editor = {John Launchbury and
Patrick M. Sansom},
title = {Improving Persistent Data Manipulation for Functional Languages},
booktitle = {Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow
Workshop on Functional Programming, Ayr, Scotland, UK, 6-8 July 1992},
series = {Workshops in Computing},
pages = {72--84},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3215-8\_7},
doi = {10.1007/978-1-4471-3215-8\_7},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/HammondMST92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/AkerholtHJT91,
author = {Gert Akerholt and
Kevin Hammond and
Simon L. Peyton Jones and
Philip W. Trinder},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {A Parallel Functional Database on {GRIP}},
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 = {1--24},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_1},
doi = {10.1007/978-1-4471-3196-0\_1},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/fp/AkerholtHJT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/Hammond91,
author = {Kevin Hammond},
editor = {Rogardt Heldal and
Carsten Kehler Holst and
Philip Wadler},
title = {Efficient Type Inference Using Monads (Summary)},
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 = {146--157},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/978-1-4471-3196-0\_12},
doi = {10.1007/978-1-4471-3196-0\_12},
timestamp = {Fri, 21 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fp/Hammond91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HallHO90,
author = {Cordelia V. Hall and
Kevin Hammond and
John T. O'Donnell},
editor = {Simon L. Peyton Jones and
Graham Hutton and
Carsten Kehler Holst},
title = {An Algorithmic and Semantic Approach to Debugging},
booktitle = {Proceedings of the 1990 Glasgow Workshop on Functional Programming,
Ullapool, Scotland, UK, August 13-15, 1990},
series = {Workshops in Computing},
pages = {44--53},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/978-1-4471-3810-5\_4},
doi = {10.1007/978-1-4471-3810-5\_4},
timestamp = {Mon, 24 Jun 2019 15:54:03 +0200},
biburl = {https://dblp.org/rec/conf/fp/HallHO90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fp/HammondB89,
author = {Kevin Hammond and
Stephen Blott},
editor = {Kei Davis and
John Hughes},
title = {Implementing Haskell Type Classes},
booktitle = {Functional Programming, Proceedings of the 1989 Glasgow Workshop,
21-23 August 1989, Fraserburgh, Scotland, {UK}},
series = {Workshops in Computing},
pages = {266--286},
publisher = {Springer},
year = {1989},
timestamp = {Tue, 08 Mar 2022 10:14:58 +0100},
biburl = {https://dblp.org/rec/conf/fp/HammondB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-05-08 20:55 CEST 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:
