![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Kevin Hammond
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c94]Andreas Schuh, Michael Morimoto, Piotr Kaszuba, Kevin Hammond, Jerry Swan, Krzysztof Krawiec, Nl Shasha Jumbe:
Host-directed vibroacoustic biosignature of viral respiratory infection. BHI 2023: 1-4 - [c93]Piotr Kaszuba
, Andrew Turner
, Bartosz Mikulski
, Nl Shasha Jumbe
, Andreas Schuh
, Michael Morimoto
, Peter Rexelius
, Ryan Hafen
, Ron Deiotte
, Kevin Hammond
, Jerry Swan
, Krzysztof Krawiec
:
Synthesizing Effective Diagnostic Models from Small Samples using Structural Machine Learning: a Case Study in Automating COVID-19 Diagnosis. GECCO Companion 2023: 727-730 - [c92]Seyed Hossein Haeri, Peter W. Thompson, Peter Van Roy, Magne Haveraaen, Neil J. Davies, Mikhail Barash, Kevin Hammond, James Chapman:
Algebraic Reasoning About Timeliness. ICE 2023: 35-54 - 2022
- [j31]Seyed H. Haeri
, Peter Thompson
, Neil J. Davies
, Peter Van Roy
, Kevin Hammond
, James Chapman
:
Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study. Comput. 11(3): 45 (2022) - [j30]Jerry Swan, Steven Adriænsen, Alexander E. I. Brownlee, Kevin Hammond, Colin G. Johnson
, Ahmed Kheiri
, Faustyna Krawiec
, Juan Julián Merelo, Leandro L. Minku
, Ender Özcan
, Gisele L. Pappa, Pablo García-Sánchez, Kenneth Sörensen, Stefan Voß, Markus Wagner, David R. White:
Metaheuristics "In the Large". Eur. J. Oper. Res. 297(2): 393-406 (2022) - 2021
- [j29]Vladimir Janjic
, Christopher Brown
, Adam D. Barwell
, Kevin Hammond
:
Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang. Concurr. Comput. Pract. Exp. 33(14) (2021) - 2020
- [c91]Philipp Kant
, Kevin Hammond
, Duncan Coutts
, James Chapman
, Nicholas Clarke
, Jared Corduan
, Neil J. Davies
, Javier Díaz
, Matthias Güdemann
, Wolfgang Jeltsch
, Marcin Szamotulski
, Polina Vinogradova
:
Flexible Formality Practical Experience with Agile Formal Methods. TFP 2020: 94-120
2010 – 2019
- 2019
- [j28]Jerry Swan, Steven Adriænsen, Adam D. Barwell
, Kevin Hammond
, David R. White:
Extending the "Open-Closed Principle" to Automated Algorithm Configuration. Evol. Comput. 27(1): 173-193 (2019) - [c90]Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond
:
Proof-Carrying Plans. PADL 2019: 204-220 - [c89]Georgios C. Chasparis, Michael Rossbory, Vladimir Janjic, Kevin Hammond
:
Learning-Based Dynamic Pinning of Parallelized Applications in Many-Core Systems. PDP 2019: 1-8 - 2018
- [j27]Wojciech Turek, Aleksander Byrski
, John Hughes, Kevin Hammond, Marek Zaionc:
Special issue on Parallel and distributed computing based on the functional programming paradigm. Concurr. Comput. Pract. Exp. 30(22) (2018) - [j26]Aleksander Byrski
, Katarzyna Rycerz
, John Hughes, Kevin Hammond:
Special section on functional paradigm for high performance computing. Future Gener. Comput. Syst. 79: 643-644 (2018) - [j25]David Castro, Kevin Hammond
, Susmit Sarkar
, Yasir Alguwaifli:
Automatically deriving cost models for structured parallel processes using hylomorphisms. Future Gener. Comput. Syst. 79: 653-668 (2018) - [j24]Adam D. Barwell
, Christopher Brown
, Kevin Hammond
:
Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification. Future Gener. Comput. Syst. 79: 669-686 (2018) - [j23]Jan Stypka, Wojciech Turek
, Aleksander Byrski
, Marek Kisiel-Dorohinicki, Adam D. Barwell
, Christopher Brown
, Kevin Hammond
, Vladimir Janjic:
The Missing Link! A New Skeleton for Evolutionary Multi-agent Systems in Erlang. Int. J. Parallel Program. 46(1): 4-22 (2018) - [j22]José Daniel García
, Kevin Hammond, Lutz Schubert
:
Reengineering for parallelism in heterogeneous parallel platforms. J. Supercomput. 74(11): 5625-5627 (2018) - [j21]Frantisek Farka
, Ekaterina Komendantskaya, Kevin Hammond
:
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis. Theory Pract. Log. Program. 18(3-4): 484-501 (2018) - [i3]Georgios C. Chasparis, Vladimir Janjic, Michael Rossbory, Kevin Hammond:
Learning-based Dynamic Pinning of Parallelized Applications in Many-Core Systems. CoRR abs/1803.00355 (2018) - [i2]Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond:
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis. CoRR abs/1804.11250 (2018) - 2017
- [j20]Steffen Jost
, Pedro B. Vasconcelos
, Mário Florido
, Kevin Hammond
:
Type-Based Cost Analysis for Lazy Functional Languages. J. Autom. Reason. 59(1): 87-120 (2017) - [c88]Adam D. Barwell
, Kevin Hammond
:
In search of a map: using program slicing to discover potential parallelism in recursive functions. FHPC@ICFP 2017: 30-41 - 2016
- [j19]Adam D. Barwell, Christopher Brown, Kevin Hammond, Wojciech Turek, Aleksander Byrski:
Using Program Shaping and Algorithmic Skeletons to Parallelise an Evolutionary Multi-Agent System in Erlang. Comput. Informatics 35(4): 792-818 (2016) - [j18]Reimer Behrends, Kevin Hammond
, Vladimir Janjic, Alexander Konovalov
, Steve Linton, Hans-Wolfgang Loidl, Patrick Maier, Phil Trinder:
HPC-GAP: engineering a 21st-century high-performance computer algebra system. Concurr. Comput. Pract. Exp. 28(13): 3606-3636 (2016) - [j17]Jost Berthold, Hans-Wolfgang Loidl, Kevin Hammond
:
PAEAN: Portable and scalable runtime support for parallel Haskell dialects. J. Funct. Program. 26: e10 (2016) - [c87]Henrique Ferreiro, Laura M. Castro
, Vladimir Janjic, Kevin Hammond
:
Kindergarten cop: dynamic nursery resizing for GHC. CC 2016: 56-66 - [c86]Adam D. Barwell
, Christopher Brown
, David Castro, Kevin Hammond
:
Towards semi-automatic data-type translation for parallelism in Erlang. Erlang Workshop 2016: 60-61 - [c85]David Castro, Kevin Hammond
, Susmit Sarkar
:
Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms. ICFP 2016: 4-17 - [c84]Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond
:
Coinductive Soundness of Corecursive Type Class Resolution. LOPSTR 2016: 311-327 - [c83]Vladimir Janjic, Christopher Brown
, Kenneth MacKenzie, Kevin Hammond
, Marco Danelutto
, Marco Aldinucci
, José Daniel García
:
RPL: A Domain-Specific Language for Designing and Implementing Parallel C++ Applications. PDP 2016: 288-295 - [i1]Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond, Peng Fu:
Coinductive Soundness of Corecursive Type Class Resolution. CoRR abs/1608.05233 (2016) - 2015
- [c82]Pedro B. Vasconcelos
, Steffen Jost, Mário Florido
, Kevin Hammond
:
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. ESOP 2015: 787-811 - [c81]Kevin Hammond
, Christopher Brown
, Susmit Sarkar
:
Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores. FOPARA 2015: 101-125 - [c80]Vladimir Janjic, Christopher Brown
, Kevin Hammond
:
Lapedo: Hybrid Skeletons for Programming Heterogeneous Multicore Machines in Erlang. PARCO 2015: 185-195 - 2014
- [j16]Christopher Brown
, Marco Danelutto
, Kevin Hammond
, Peter Kilpatrick
, Archibald Elliott:
Cost-Directed Refactoring for Parallel Erlang Programs. Int. J. Parallel Program. 42(4): 564-582 (2014) - [c79]Kevin Hammond:
Functional programming and the "megacore" era. Erlang Workshop 2014: 1 - [c78]István Bozó
, Viktoria Fordós
, Zoltán Horváth
, Melinda Tóth
, Dániel Horpácsi
, Tamás Kozsik
, Judit Köszegi
, Adam D. Barwell
, Christopher Brown
, Kevin Hammond
:
Discovering parallel pattern candidates in Erlang. Erlang Workshop 2014: 13-23 - [c77]Christopher Brown, Vladimir Janjic, Kevin Hammond
, Holger Schöner, Kamran Idrees, Colin W. Glass
:
Agricultural Reform: More Efficient Farming Using Advanced Parallel Refactoring Tools. PDP 2014: 36-43 - 2013
- [j15]Philip W. Trinder, M. I. Cole, Kevin Hammond
, Hans-Wolfgang Loidl, Greg Michaelson:
Resource analyses for parallel and distributed coordination. Concurr. Comput. Pract. Exp. 25(3): 309-348 (2013) - [j14]Steve Linton, Kevin Hammond
, Alexander Konovalov
, Christopher Brown
, Philip W. Trinder, Hans-Wolfgang Loidl, Peter Horn, Dan Roozemond:
Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation. J. Symb. Comput. 49: 95-119 (2013) - [c76]Mehdi Goli, John A. W. McCall
, Christopher Brown
, Vladimir Janjic, Kevin Hammond
:
Mapping parallel programs to heterogeneous CPU/GPU architectures using a Monte Carlo Tree Search. IEEE Congress on Evolutionary Computation 2013: 2932-2939 - [c75]Vladimir Janjic, Kevin Hammond
:
How to be a Successful Thief - Feudal Work Stealing for Irregular Divide-and-Conquer Applications on Heterogeneous Distributed Systems. Euro-Par 2013: 114-125 - [c74]Vladimir Janjic, Christopher Brown
, Max Neunhöffer, Kevin Hammond
, Steve Linton, Hans-Wolfgang Loidl:
Space Exploration using Parallel Orbits: a Study in Parallel Symbolic Computing. PARCO 2013: 225-232 - 2012
- [j13]Abdallah Al Zain, Philip W. Trinder, Kevin Hammond
:
Orchestrating computational algebra components into a high-performance parallel system. Int. J. High Perform. Comput. Netw. 7(2): 76-86 (2012) - [j12]Gaétan Hains
, Frédéric Gava
, Kevin Hammond
:
Guest Editors Note: High-Level Programming for Heterogeneous and Hierarchical Parallel Systems. Parallel Process. Lett. 22(2) (2012) - [j11]Kevin Hammond
, Paul H. J. Kelly:
Introduction to the Special Issue on Automatic Program Generation for Embedded Systems. Sci. Comput. Program. 77(2): 81-82 (2012) - [c73]Heiko Falk, Kevin Hammond
, Kim G. Larsen
, Björn Lisper, Stefan M. Petters:
Code-level timing analysis of embedded software: emsoft'12 invited talk session outline. EMSOFT 2012: 163-164 - [c72]Vladimir Janjic, Kevin Hammond
:
Using Load Information in Work-Stealing on Distributed Systems with Non-uniform Communication Latencies. Euro-Par 2012: 155-166 - [c71]Marco Danelutto
, Kevin Hammond
, Horacio González-Vélez
:
ParaPhrase Workshop 2012. Euro-Par Workshops 2012: 368-369 - [c70]Hugo R. Simões, Pedro B. Vasconcelos
, Mário Florido
, Steffen Jost, Kevin Hammond
:
Automatic amortised analysis of dynamic memory allocation for lazy functional programs. ICFP 2012: 165-176 - [c69]Christopher Brown
, Kevin Hammond
, Marco Danelutto
, Peter Kilpatrick
:
A language-independent parallel refactoring framework. WRT@ICSE 2012: 54-58 - [c68]Edwin C. Brady
, Kevin Hammond
:
Resource-Safe Systems Programming with Embedded Domain Specific Languages. PADL 2012: 242-257 - [c67]Henrique Ferreiro, Vladimir Janjic, Laura M. Castro
, Kevin Hammond
:
Repeating History: Execution Replay for Parallel Haskell Programs. Trends in Functional Programming 2012: 231-246 - 2011
- [c66]Kevin Hammond
:
Why Parallel Functional Programming Matters: Panel Statement. Ada-Europe 2011: 201-205 - [c65]Kevin Hammond
, Marco Aldinucci, Christopher Brown
, Francesco Cesarini, Marco Danelutto, Horacio González-Vélez, Peter Kilpatrick, Rainer Keller, Michael Rossbory, Gilad Shainer:
The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems. FMCO 2011: 218-236 - [c64]Christopher Brown
, Kevin Hammond
, Marco Danelutto, Peter Kilpatrick, Holger Schöner, Tino Breddin:
Paraphrasing: Generating Parallel Programs Using Refactoring. FMCO 2011: 237-256 - [c63]Christoph A. Herrmann, Kevin Hammond
:
Counter Automata for Parameterised Timing Analysis of Box-Based Systems. FOPARA 2011: 126-141 - [c62]Clemens Grelck, Kevin Hammond
, Heinz Hertlein, Philip K. F. Hölzenspies, Chris R. Jesshope, Raimund Kirner
, Bernd Scheuermann, Alexander V. Shafarenko, Iraneus te Boekhorst, Volkmar Wieser:
Engineering Concurrent Software Guided by Statistical Performance Analysis. PARCO 2011: 385-394 - [c61]Christopher Brown, Hans-Wolfgang Loidl, Kevin Hammond:
ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques. Trends in Functional Programming 2011: 82-97 - [r2]Philip W. Trinder, Hans-Wolfgang Loidl, Kevin Hammond:
Functional Languages. Encyclopedia of Parallel Computing 2011: 744-749 - [r1]Kevin Hammond:
Glasgow Parallel Haskell (GpH). Encyclopedia of Parallel Computing 2011: 768-779 - 2010
- [j10]Edwin C. Brady
, Kevin Hammond
:
Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols. Fundam. Informaticae 102(2): 145-176 (2010) - [c60]Vladimir Janjic, Kevin Hammond
:
Granularity-Aware Work-Stealing for Computationally-Uniform Grids. CCGRID 2010: 123-134 - [c59]Edwin C. Brady
, Kevin Hammond
:
Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation. ICFP 2010: 297-308 - [c58]Christopher Brown, Hans-Wolfgang Loidl, Jost Berthold, Kevin Hammond
:
Improving Your CASH Flow: The Computer Algebra SHell. IFL 2010: 169-184 - [c57]Steve Linton, Kevin Hammond, Alexander Konovalov, Abdallah Al Zain, Philip W. Trinder, Peter Horn, Dan Roozemond:
Easy composition of symbolic computation software: a new lingua franca for symbolic computation. ISSAC 2010: 339-346 - [c56]Steffen Jost, Kevin Hammond
, Hans-Wolfgang Loidl, Martin Hofmann:
Static determination of quantitative resource usage for higher-order programs. POPL 2010: 223-236
2000 – 2009
- 2009
- [j9]Kevin Hammond
, Greg Michaelson:
The Peter Landin prize. High. Order Symb. Comput. 22(4): 305-312 (2009) - [c55]Abdallah Al Zain, Valerie Gibson, Greg J. Michaelson, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl:
Towards Hume SIMD vectorisation. EUSIPCO 2009: 2683-2687 - [c54]Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond
, Norman Scaife, Martin Hofmann:
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. FM 2009: 354-369 - [c53]Saleem Bhatti, Edwin C. Brady, Kevin Hammond, James McKinna:
Domain Specific Languages (DSLs) for Network Protocols (Position Paper). ICDCS Workshops 2009: 208-213 - [c52]Jost Berthold, Simon Marlow, Kevin Hammond
, Abdallah Al Zain:
Comparing and Optimising Parallel Haskell Implementations for Multicore Machines. ICPP Workshops 2009: 386-393 - [c51]Abdallah Al Zain, Kevin Hammond
, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad:
Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures. DAMP 2009: 25-36 - 2008
- [c50]Vladimir Janjic, Kevin Hammond
, Yang Yang:
Using application information to drive adaptive grid middleware scheduling decisions. MAI@DisCoTec 2008: 7-12 - [c49]Abdallah Al Zain, Philip W. Trinder, Kevin Hammond
, Alexander Konovalov
, Steve Linton, Jost Berthold:
Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System. ISPA 2008: 99-112 - [c48]Edwin C. Brady, Christoph A. Herrmann, Kevin Hammond:
Lightweight Invariants with Full Dependent Types. Trends in Functional Programming 2008: 161-177 - 2007
- [c47]Kevin Hammond, Abdallah Al Zain, Gene Cooperman, Dana Petcu
, Philip W. Trinder:
SymGrid: A Framework for Symbolic Computation on the Grid. Euro-Par 2007: 457-466 - [c46]Abdallah Al Zain, Kevin Hammond, Philip W. Trinder, Steve Linton, Hans-Wolfgang Loidl, Marco Costanti:
SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids. International Conference on Computational Science (2) 2007: 617-624 - [c45]Alexandru Cârstea, Marc Frîncu
, Georgiana Macariu, Dana Petcu
, Kevin Hammond
:
Generic Access to Web and Grid-based Symbolic Computing Services: the SymGrid-Services Framework. ISPDC 2007: 143-150 - [c44]Armelle Bonenfant, Zezhi Chen, Kevin Hammond
, Greg Michaelson, Andrew M. Wallace
, Iain Wallace:
Towards resource-certified software: a formal cost model for time and its application to an image-processing example. SAC 2007: 1307-1314 - [c43]Edwin C. Brady, James McKinna, Kevin Hammond:
Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types. Trends in Functional Programming 2007: 159-176 - [c42]Kevin Hammond
:
SymGrid: A Framework for Symbolic Computations on the Grid. SYNASC 2007: 4 - [c41]Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon:
Automatic Amortised Worst-Case Execution Time Analysis. WCET 2007 - 2006
- [j8]Kevin Hammond
, Christian Ferdinand, Reinhold Heckmann:
Towards formally verifiable resource bounds for real-time embedded systems. SIGBED Rev. 3(4): 27-36 (2006) - [c40]Edwin C. Brady, Kevin Hammond
:
A verified staged interpreter is a verified compiler. GPCE 2006: 111-120 - [c39]Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland:
Low-Level Programming in Hume: An Exploration of the HW-Hume Level. IFL 2006: 91-107 - [c38]Armelle Bonenfant, Christian Ferdinand, Kevin Hammond
, Reinhold Heckmann:
Worst-Case Execution Times for a Purely Functional Language. IFL 2006: 235-252 - [c37]Hugo R. Simões, Kevin Hammond, Mário Florido, Pedro B. Vasconcelos:
Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs. TYPES 2006: 221-236 - [c36]Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace:
Towards Formally Verifiable WCET Analysis for a Functional Programming Language. WCET 2006 - 2005
- [c35]Kevin Hammond:
Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach. CEFP 2005: 100-134 - [c34]Edwin C. Brady
, Kevin Hammond
:
A Dependently Typed Framework for Static Analysis of Program Execution Costs. IFL 2005: 74-90 - [c33]Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace:
The Embounded project (project start paper). Trends in Functional Programming 2005: 195-210 - 2004
- [c32]Greg Michaelson, Kevin Hammond, Jocelyn Sérot:
FSM-Hume: programming resource-limited systems using bounded automata. SAC 2004: 1455-1461 - 2003
- [j7]Hans-Wolfgang Loidl, Fernando Rubio
, Norman Scaife, Kevin Hammond
, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Pena, Steffen Priebe, Álvaro J. Rebón Portillo, Philip W. Trinder:
Comparing Parallel Functional Languages: Programming and Performance. High. Order Symb. Comput. 16(3): 203-251 (2003) - [j6]Kevin Hammond
, Jost Berthold, Rita Loogen:
Automatic Skeletons in Template Haskell. Parallel Process. Lett. 13(3): 413-424 (2003) - [c31]Kevin Hammond
, Greg Michaelson:
The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain. Domain-Specific Program Generation 2003: 127-142 - [c30]Kevin Hammond, Greg Michaelson:
Hume: A Domain-Specific Language for Real-Time Embedded Systems. GPCE 2003: 37-56 - [c29]Pedro B. Vasconcelos
, Kevin Hammond
:
Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs. IFL 2003: 86-101 - [c28]Kevin Hammond:
Is it time for real-time functional programming? Trends in Functional Programming 2003: 1-18 - [c27]Greg Michaelson, Kevin Hammond, Jocelyn Sérot:
FSM-Hume is finite state. Trends in Functional Programming 2003: 19-28 - 2002
- [c26]Kevin Hammond:
Parallel Programming: Models, Methods and Programming Languages. Euro-Par 2002: 603-604 - [c25]Kevin Hammond, Greg Michaelson:
Predictable Space Behaviour in FSM-Hume. IFL 2002: 1-16 - [c24]Álvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos:
Cost Analysis Using Automatic Size and Time Inference. IFL 2002: 232-248 - [e6]Kevin Hammond, Sharon Curtis:
Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), University of Stirling, Bridge of Allan, Scotland, August 22nd to 24th, 2001. Trends in Functional Programming 3, Intellect 2002, ISBN 1-84150-070-4 [contents] - 2000
- [c23]Philip W. Trinder, Hans-Wolfgang Loidl, Ed. Barry Jr., Kei Davis, Kevin Hammond
, Ulrike Klusik, Simon L. Peyton Jones, Álvaro J. Rebón Portillo:
The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note). Euro-Par 2000: 739-743 - [c22]Kevin Hammond
:
Hume: a bounded time concurrent language. ICECS 2000: 407-411 - [c21]Kevin Hammond:
The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour. IFL 2000: 122-139 - [c20]Hans-Wolfgang Loidl, Ulrike Klusik, Kevin Hammond, Rita Loogen, Philip W. Trinder:
GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster. Scottish Functional Programming Workshop 2000: 39-52 - [c19]Michelle Cope, Ian P. Gent, Kevin Hammond:
Parallel heuristic search in Haskell. Scottish Functional Programming Workshop 2000: 65-76
1990 – 1999
- 1999
- [j5]Hans-Wolfgang Loidl, Philip W. Trinder, Kevin Hammond
, Sahalu B. Junaidu, Richard G. Morgan, Simon L. Peyton Jones:
Engineering parallel symbolic programs in GPH. Concurr. Pract. Exp. 11(12): 701-752 (1999) - [c18]Kevin Hammond
, Álvaro J. Rebón Portillo:
HaskSkel: Algorithmic Skeletons in Haskell. IFL 1999: 181-198 - [p4]Kevin Hammond, Greg Michaelson:
Introduction. Research Directions in Parallel Functional Programming 1999: 3-29 - [p3]Greg Michaelson, Kevin Hammond, Chris Clack:
Foundations. Research Directions in Parallel Functional Programming 1999: 31-61 - [p2]Philip W. Trinder, Hans-Wolfgang Loidl, Kevin Hammond:
Large Scale Functional Applications. Research Directions in Parallel Functional Programming 1999: 399-426 - [p1]Greg Michaelson, Kevin Hammond:
Summary. Research Directions in Parallel Functional Programming 1999: 427-430 - [e5]Kevin Hammond, Greg Michaelson:
Research Directions in Parallel Functional Programming. Springer 1999, ISBN 978-1-85233-092-7 [contents] - [e4]Kevin Hammond, Antony J. T. Davie, Chris Clack:
Implementation of Functional Languages, 10th International Workshop, IFL'98, London, UK, September 9-11, Selected Papers. Lecture Notes in Computer Science 1595, Springer 1999, ISBN 3-540-66229-4 [contents] - 1998
- [j4]Philip W. Trinder, Kevin Hammond, Hans-Wolfgang Loidl, Simon L. Peyton Jones:
Algorithms + Strategy = Parallelism. J. Funct. Program. 8(1): 23-60 (1998) - [e3]Chris Clack, Kevin Hammond, Antony J. T. Davie:
Implementation of Functional Languages, 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers. Lecture Notes in Computer Science 1467, Springer 1998, ISBN 3-540-64849-6 [contents] - 1997
- [c17]Sahalu B. Junaidu, Antony J. T. Davie, Kevin Hammond:
Naira: A Parallel² Haskell Compiler. Implementation of Functional Languages 1997: 214-230 - 1996
- [j3]Pieter H. Hartel, Marc Feeley, Martin Helmut Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, John H. G. van Groningen, Kevin Hammond, Bogumil Hausman, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael Dueire Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth:
Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark. J. Funct. Program. 6(4): 621-655 (1996) - [j2]Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler:
Type Classes in Haskell. ACM Trans. Program. Lang. Syst. 18(2): 109-138 (1996) - [c16]Hans-Wolfgang Loidl, Kevin Hammond
:
Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer. Implementation of Functional Languages 1996: 184-199 - [c15]Philip W. Trinder, Kevin Hammond, James S. Mattson Jr., Andrew S. Partridge, Simon L. Peyton Jones:
GUM: A Portable Parallel Implementation of Haskell. PLDI 1996: 79-88 - 1995
- [c14]Kevin Hammond, Philip W. Trinder:
Database Manipulation in Haskell 1.3. Functional Programming 1995: 5 - [c13]Hans-Wolfgang Loidl, Kevin Hammond:
On the Granularity of Divide-and-Conquer Parallelism. Functional Programming 1995: 8 - [e2]Kevin Hammond, David N. Turner, Patrick M. Sansom:
Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, September 12-14, 1994. Workshops in Computing, Springer 1995, ISBN 978-3-540-19914-4 [contents] - 1994
- [c12]Kevin Hammond, James S. Mattson Jr., Simon L. Peyton Jones:
Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer. CONPAR 1994: 521-532 - [c11]Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler:
Type Classes in Haskell. ESOP 1994: 241-256 - [c10]Kevin Hammond, Hans-Wolfgang Loidl, Andrew S. Partridge:
Improving Granularity in Parallel Functional Programs: A Graphical Winnowing System for Haskell. Functional Programming 1994: 111-126 - [c9]Kevin Hammond:
Parallel Functional Programming: An Introduction. PASCO 1994: 181-193 - [e1]John T. O'Donnell, Kevin Hammond:
Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, July 5-7, 1993. Workshops in Computing, Springer 1994, ISBN 978-3-540-19879-6 [contents] - 1993
- [c8]Kevin Hammond, Geoffrey Livingston Burn, Denis B. Howe:
Spiking Your Caches. Functional Programming 1993: 58-68 - [c7]Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder:
Processing Transactions on GRIP, a Parallel Graph Reducer. PARLE 1993: 634-647 - 1992
- [j1]Paul Hudak, Simon L. Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph H. Fasel, María M. Guzmán, Kevin Hammond
, John Hughes, Thomas Johnsson, Richard B. Kieburtz, Rishiyur S. Nikhil, Will Partain, John Peterson:
Report on the Programming Language Haskell, A Non-strict, Purely Functional Language. ACM SIGPLAN Notices 27(5): 1- (1992) - [c6]Cordelia V. Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones, Philip Wadler:
The Glasgow Haskell Compiler: A Retrospective. Functional Programming 1992: 62-71 - [c5]Kevin Hammond, Dave McNally, Patrick M. Sansom, Philip W. Trinder:
Improving Persistent Data Manipulation for Functional Languages. Functional Programming 1992: 72-84 - 1991
- [c4]Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder:
A Parallel Functional Database on GRIP. Functional Programming 1991: 1-24 - [c3]Kevin Hammond:
Efficient Type Inference Using Monads (Summary). Functional Programming 1991: 146-157 - 1990
- [c2]Cordelia V. Hall, Kevin Hammond, John T. O'Donnell:
An Algorithmic and Semantic Approach to Debugging. Functional Programming 1990: 44-53
1980 – 1989
- 1989
- [c1]Kevin Hammond, Stephen Blott:
Implementing Haskell Type Classes. Functional Programming 1989: 266-286
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
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