Kevin Hammond
Orcid: 0000-0002-4326-4562
According to our database1,
Kevin Hammond
authored at least 131 papers
between 1989 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the Proceedings 16th Interaction and Concurrency Experience, 2023
Synthesizing Effective Diagnostic Models from Small Samples using Structural Machine Learning: a Case Study in Automating COVID-19 Diagnosis.
Proceedings of the Companion Proceedings of the Conference on Genetic and Evolutionary Computation, 2023
Proceedings of the IEEE EMBS International Conference on Biomedical and Health Informatics, 2023
2022
Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study.
Comput., 2022
2021
Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang.
Concurr. Comput. Pract. Exp., 2021
2020
Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020
2019
Evol. Comput., 2019
Proceedings of the 27th Euromicro International Conference on Parallel, 2019
Proceedings of the Practical Aspects of Declarative Languages, 2019
2018
Theory Pract. Log. Program., 2018
J. Supercomput., 2018
Int. J. Parallel Program., 2018
Automatically deriving cost models for structured parallel processes using hylomorphisms.
Future Gener. Comput. Syst., 2018
Future Gener. Comput. Syst., 2018
Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification.
Future Gener. Comput. Syst., 2018
Special issue on Parallel and distributed computing based on the functional programming paradigm.
Concurr. Comput. Pract. Exp., 2018
2017
In search of a map: using program slicing to discover potential parallelism in recursive functions.
Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing, 2017
2016
J. Funct. Program., 2016
Concurr. Comput. Pract. Exp., 2016
Using Program Shaping and Algorithmic Skeletons to Parallelise an Evolutionary Multi-Agent System in Erlang.
Comput. Informatics, 2016
RPL: A Domain-Specific Language for Designing and Implementing Parallel C++ Applications.
Proceedings of the 24th Euromicro International Conference on Parallel, 2016
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016
Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms.
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016
Proceedings of the 15th International Workshop on Erlang, 2016
Proceedings of the 25th International Conference on Compiler Construction, 2016
2015
Proceedings of the Parallel Computing: On the Road to Exascale, 2015
Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2015
Proceedings of the Programming Languages and Systems, 2015
2014
Int. J. Parallel Program., 2014
Agricultural Reform: More Efficient Farming Using Advanced Parallel Refactoring Tools.
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014
2013
Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation.
J. Symb. Comput., 2013
Concurr. Comput. Pract. Exp., 2013
Proceedings of the Parallel Computing: Accelerating Computational Science and Engineering (CSE), 2013
How to be a Successful Thief - Feudal Work Stealing for Irregular Divide-and-Conquer Applications on Heterogeneous Distributed Systems.
Proceedings of the Euro-Par 2013 Parallel Processing, 2013
Mapping parallel programs to heterogeneous CPU/GPU architectures using a Monte Carlo Tree Search.
Proceedings of the IEEE Congress on Evolutionary Computation, 2013
2012
Introduction to the Special Issue on Automatic Program Generation for Embedded Systems.
Sci. Comput. Program., 2012
Guest Editors Note: High-Level Programming for Heterogeneous and Hierarchical Parallel Systems.
Parallel Process. Lett., 2012
Orchestrating computational algebra components into a high-performance parallel system.
Int. J. High Perform. Comput. Netw., 2012
Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012
Proceedings of the Practical Aspects of Declarative Languages, 2012
Proceedings of the Fifth Workshop on Refactoring Tools 2012, 2012
Automatic amortised analysis of dynamic memory allocation for lazy functional programs.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012
Using Load Information in Work-Stealing on Distributed Systems with Non-uniform Communication Latencies.
Proceedings of the Euro-Par 2012 Parallel Processing - 18th International Conference, 2012
Proceedings of the Euro-Par 2012: Parallel Processing Workshops, 2012
Code-level timing analysis of embedded software: emsoft'12 invited talk session outline.
Proceedings of the 12th International Conference on Embedded Software, 2012
2011
Proceedings of the Encyclopedia of Parallel Computing, 2011
Proceedings of the Trends in Functional Programming, 12th International Symposium, 2011
Proceedings of the Applications, Tools and Techniques on the Road to Exascale Computing, Proceedings of the conference ParCo 2011, 31 August, 2011
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2011
The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011
Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011
2010
Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols.
Fundam. Informaticae, 2010
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010
Easy composition of symbolic computation software: a new lingua franca for symbolic computation.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010
Proceedings of the Implementation and Application of Functional Languages, 2010
Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010
Proceedings of the 10th IEEE/ACM International Conference on Cluster, 2010
2009
Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures.
Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009
Proceedings of the ICPPW 2009, 2009
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2009 Workshops), 2009
Proceedings of the FM 2009: Formal Methods, 2009
Proceedings of the 17th European Signal Processing Conference, 2009
2008
Lightweight Invariants with Full Dependent Types.
Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008
Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System.
Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008
Using application information to drive adaptive grid middleware scheduling decisions.
Proceedings of the 2nd workshop on Middleware-application interaction, 2008
2007
Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007
Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007
Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types.
Proceedings of the Eighth Symposium on Trends in Functional Programming, 2007
Towards resource-certified software: a formal cost model for time and its application to an image-processing example.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
Generic Access to Web and Grid-based Symbolic Computing Services: the SymGrid-Services Framework.
Proceedings of the 6th International Symposium on Parallel and Distributed Computing (ISPDC 2007), 2007
SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids.
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007
Proceedings of the Euro-Par 2007, 2007
2006
SIGBED Rev., 2006
Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006
Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs.
Proceedings of the Types for Proofs and Programs, International Workshop, 2006
Proceedings of the Implementation and Application of Functional Languages, 2006
Proceedings of the Implementation and Application of Functional Languages, 2006
Proceedings of the Generative Programming and Component Engineering, 2006
2005
The Embounded project (project start paper).
Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005
Proceedings of the Implementation and Application of Functional Languages, 2005
Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach.
Proceedings of the Central European Functional Programming School, First Summer School, 2005
2004
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
2003
High. Order Symb. Comput., 2003
FSM-Hume is finite state.
Proceedings of the Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, 2003
Is it time for real-time functional programming?
Proceedings of the Revised Selected Papers from the Fourth Symposium on Trends in Functional Programming, 2003
Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs.
Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003
Proceedings of the Generative Programming and Component Engineering, 2003
Proceedings of the Domain-Specific Program Generation, International Seminar, 2003
2002
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002
Proceedings of the Euro-Par 2002, 2002
2000
GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster.
Proceedings of the Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), 2000
Parallel heuristic search in Haskell.
Proceedings of the Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), 2000
The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour.
Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000
Proceedings of the 2000 7th IEEE International Conference on Electronics, 2000
The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note).
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000
1999
Proceedings of the Implementation of Functional Languages, 11th International Workshop, 1999
Proceedings of the Research Directions in Parallel Functional Programming, 1999
Proceedings of the Research Directions in Parallel Functional Programming, 1999
Proceedings of the Research Directions in Parallel Functional Programming, 1999
Proceedings of the Research Directions in Parallel Functional Programming, 1999
1998
1997
Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997
1996
Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark.
J. Funct. Program., 1996
Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996
Proceedings of the Implementation of Functional Languages, 8th International Workshop, 1996
1995
On the Granularity of Divide-and-Conquer Parallelism.
Proceedings of the Functional Programming, Glasgow, UK, 1995, 1995
Database Manipulation in Haskell 1.3.
Proceedings of the Functional Programming, Glasgow, UK, 1995, 1995
1994
Parallel Functional Programming: An Introduction.
Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994
Improving Granularity in Parallel Functional Programs: A Graphical Winnowing System for Haskell.
Proceedings of the 1994 Glasgow Workshop on Functional Programming, 1994
Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer.
Proceedings of the Parallel Processing: CONPAR 94, 1994
1993
Proceedings of the PARLE '93, 1993
Proceedings of the 1993 Glasgow Workshop on Functional Programming, 1993
1992
Report on the Programming Language Haskell, A Non-strict, Purely Functional Language.
ACM SIGPLAN Notices, 1992
Proceedings of the Functional Programming, 1992
Proceedings of the Functional Programming, 1992
1991
Proceedings of the Functional Programming, 1991
Proceedings of the Functional Programming, 1991
1990
Proceedings of the 1990 Glasgow Workshop on Functional Programming, 1990
1989
Implementing Haskell Type Classes.
Proceedings of the Functional Programming, 1989