Kevin Hammond

According to our database1, Kevin Hammond authored at least 127 papers between 1989 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2022
Metaheuristics "In the Large".
Eur. J. Oper. Res., 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
Flexible Formality Practical Experience with Agile Formal Methods.
Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020

2019
Extending the "Open-Closed Principle" to Automated Algorithm Configuration.
Evol. Comput., 2019

Learning-Based Dynamic Pinning of Parallelized Applications in Many-Core Systems.
Proceedings of the 27th Euromicro International Conference on Parallel, 2019

Proof-Carrying Plans.
Proceedings of the Practical Aspects of Declarative Languages, 2019

2018
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis.
Theory Pract. Log. Program., 2018

Reengineering for parallelism in heterogeneous parallel platforms.
J. Supercomput., 2018

The Missing Link! A New Skeleton for Evolutionary Multi-agent Systems in Erlang.
Int. J. Parallel Program., 2018

Automatically deriving cost models for structured parallel processes using hylomorphisms.
Future Gener. Comput. Syst., 2018

Special section on functional paradigm for high performance computing.
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
Type-Based Cost Analysis for Lazy Functional Languages.
J. Autom. Reason., 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
PAEAN: Portable and scalable runtime support for parallel Haskell dialects.
J. Funct. Program., 2016

Coinductive Soundness of Corecursive Type Class Resolution.
CoRR, 2016

HPC-GAP: engineering a 21st-century high-performance computer algebra system.
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

Coinductive Soundness of Corecursive Type Class Resolution.
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

Towards semi-automatic data-type translation for parallelism in Erlang.
Proceedings of the 15th International Workshop on Erlang, 2016

Kindergarten cop: dynamic nursery resizing for GHC.
Proceedings of the 25th International Conference on Compiler Construction, 2016

2015
Lapedo: Hybrid Skeletons for Programming Heterogeneous Multicore Machines in Erlang.
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

Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages.
Proceedings of the Programming Languages and Systems, 2015

2014
Cost-Directed Refactoring for Parallel Erlang Programs.
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

Functional programming and the "megacore" era.
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

Discovering parallel pattern candidates in Erlang.
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

Resource analyses for parallel and distributed coordination.
Concurr. Comput. Pract. Exp., 2013

Space Exploration using Parallel Orbits: a Study in Parallel Symbolic Computing.
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

Repeating History: Execution Replay for Parallel Haskell Programs.
Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

Resource-Safe Systems Programming with Embedded Domain Specific Languages.
Proceedings of the Practical Aspects of Declarative Languages, 2012

A language-independent parallel refactoring framework.
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

ParaPhrase Workshop 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
Functional Languages.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Glasgow Parallel Haskell (GpH).
Proceedings of the Encyclopedia of Parallel Computing, 2011

ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques.
Proceedings of the Trends in Functional Programming, 12th International Symposium, 2011

Engineering Concurrent Software Guided by Statistical Performance Analysis.
Proceedings of the Applications, Tools and Techniques on the Road to Exascale Computing, Proceedings of the conference ParCo 2011, 31 August, 2011

Counter Automata for Parameterised Timing Analysis of Box-Based Systems.
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

Paraphrasing: Generating Parallel Programs Using Refactoring.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Why Parallel Functional Programming Matters: Panel Statement.
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

Static determination of quantitative resource usage for higher-order programs.
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

Improving Your CASH Flow: The Computer Algebra SHell.
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

Granularity-Aware Work-Stealing for Computationally-Uniform Grids.
Proceedings of the 10th IEEE/ACM International Conference on Cluster, 2010

2009
The Peter Landin prize.
High. Order Symb. Comput., 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

Comparing and Optimising Parallel Haskell Implementations for Multicore Machines.
Proceedings of the ICPPW 2009, 2009

Domain Specific Languages (DSLs) for Network Protocols (Position Paper).
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2009 Workshops), 2009

"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis.
Proceedings of the FM 2009: Formal Methods, 2009

Towards Hume SIMD vectorisation.
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
Automatic Amortised Worst-Case Execution Time Analysis.
Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

SymGrid: A Framework for Symbolic Computations on the Grid.
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

SymGrid: A Framework for Symbolic Computation on the Grid.
Proceedings of the Euro-Par 2007, 2007

2006
Towards formally verifiable resource bounds for real-time embedded systems.
SIGBED Rev., 2006

Towards Formally Verifiable WCET Analysis for a Functional Programming Language.
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

Low-Level Programming in Hume: An Exploration of the HW-Hume Level.
Proceedings of the Implementation and Application of Functional Languages, 2006

Worst-Case Execution Times for a Purely Functional Language.
Proceedings of the Implementation and Application of Functional Languages, 2006

A verified staged interpreter is a verified compiler.
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

A Dependently Typed Framework for Static Analysis of Program Execution Costs.
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
FSM-Hume: programming resource-limited systems using bounded automata.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

2003
Automatic Skeletons in Template Haskell.
Parallel Process. Lett., 2003

Comparing Parallel Functional Languages: Programming and Performance.
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

Hume: A Domain-Specific Language for Real-Time Embedded Systems.
Proceedings of the Generative Programming and Component Engineering, 2003

The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain.
Proceedings of the Domain-Specific Program Generation, International Seminar, 2003

2002
Cost Analysis Using Automatic Size and Time Inference.
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

Predictable Space Behaviour in FSM-Hume.
Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

Parallel Programming: Models, Methods and Programming Languages.
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

Hume: a bounded time concurrent language.
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
Engineering parallel symbolic programs in GPH.
Concurr. Pract. Exp., 1999

HaskSkel: Algorithmic Skeletons in Haskell.
Proceedings of the Implementation of Functional Languages, 11th International Workshop, 1999

Large Scale Functional Applications.
Proceedings of the Research Directions in Parallel Functional Programming, 1999

Foundations.
Proceedings of the Research Directions in Parallel Functional Programming, 1999

Summary.
Proceedings of the Research Directions in Parallel Functional Programming, 1999

Introduction.
Proceedings of the Research Directions in Parallel Functional Programming, 1999

1998
Algorithms + Strategy = Parallelism.
J. Funct. Program., 1998

1997
Naira: A Parallel² Haskell Compiler.
Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

1996
Type Classes in Haskell.
ACM Trans. Program. Lang. Syst., 1996

Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark.
J. Funct. Program., 1996

GUM: A Portable Parallel Implementation of Haskell.
Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), 1996

Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer.
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
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
Processing Transactions on GRIP, a Parallel Graph Reducer.
Proceedings of the PARLE '93, 1993

Spiking Your Caches.
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

Improving Persistent Data Manipulation for Functional Languages.
Proceedings of the Functional Programming, 1992

The Glasgow Haskell Compiler: A Retrospective.
Proceedings of the Functional Programming, 1992

1991
Efficient Type Inference Using Monads (Summary).
Proceedings of the Functional Programming, 1991

A Parallel Functional Database on GRIP.
Proceedings of the Functional Programming, 1991

1990
An Algorithmic and Semantic Approach to Debugging.
Proceedings of the 1990 Glasgow Workshop on Functional Programming, 1990

1989
Implementing Haskell Type Classes.
Proceedings of the Functional Programming, 1989


  Loading...