Kevin Hammond

ORCID

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 30

Top Venues

Concurr. Comput. Pract. Exp.

CoRR

Future Gener. Comput. Syst.

Erlang Workshop

Publications

Seyed Hossein Haeri, Peter W. Thompson, Peter Van Roy, Magne Haveraaen, Neil J. Davies, Mikhail Barash, Kevin Hammond, James Chapman
Algebraic Reasoning About Timeliness. CoRR (2023)
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)
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)
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) (2022)
Seyed H. Haeri, Peter Thompson, Neil 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) (2022)
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)
Philipp Kant, Kevin Hammond, Duncan Coutts, James Chapman, Nicholas Clarke, Jared Corduan, Neil Davies, Javier Díaz, Matthias Güdemann, Wolfgang Jeltsch, Marcin Szamotulski, Polina Vinogradova
Flexible Formality Practical Experience with Agile Formal Methods. TFP (2020)
Georgios C. Chasparis, Michael Rossbory, Vladimir Janjic, Kevin Hammond
Learning-Based Dynamic Pinning of Parallelized Applications in Many-Core Systems. PDP (2019)
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) (2019)
Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond
Proof-Carrying Plans. PADL (2019)
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)
Aleksander Byrski, Katarzyna Rycerz, John Hughes, Kevin Hammond
Special section on functional paradigm for high performance computing. Future Gener. Comput. Syst. 79 (2018)
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) (2018)
Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis. CoRR (2018)
Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis. Theory Pract. Log. Program. 18 (3-4) (2018)
David Castro, Kevin Hammond, Susmit Sarkar, Yasir Alguwaifli
Automatically deriving cost models for structured parallel processes using hylomorphisms. Future Gener. Comput. Syst. 79 (2018)
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 (2018)
José Daniel García, Kevin Hammond, Lutz Schubert
Reengineering for parallelism in heterogeneous parallel platforms. J. Supercomput. 74 (11) (2018)
Georgios C. Chasparis, Vladimir Janjic, Michael Rossbory, Kevin Hammond
Learning-based Dynamic Pinning of Parallelized Applications in Many-Core Systems. CoRR (2018)
Steffen Jost, Pedro B. Vasconcelos, Mário Florido, Kevin Hammond
Type-Based Cost Analysis for Lazy Functional Languages. J. Autom. Reason. 59 (1) (2017)
Adam D. Barwell, Kevin Hammond
In search of a map: using program slicing to discover potential parallelism in recursive functions. FHPC@ICFP (2017)
Adam D. Barwell, Christopher Brown, David Castro, Kevin Hammond
Towards semi-automatic data-type translation for parallelism in Erlang. Erlang Workshop (2016)
Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond, Peng Fu
Coinductive Soundness of Corecursive Type Class Resolution. CoRR (2016)
Jost Berthold, Hans-Wolfgang Loidl, Kevin Hammond
PAEAN: Portable and scalable runtime support for parallel Haskell dialects. J. Funct. Program. 26 (2016)
Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond
Coinductive Soundness of Corecursive Type Class Resolution. LOPSTR (2016)
Henrique Ferreiro, Laura M. Castro, Vladimir Janjic, Kevin Hammond
Kindergarten cop: dynamic nursery resizing for GHC. CC (2016)
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) (2016)
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)
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) (2016)
David Castro, Kevin Hammond, Susmit Sarkar
Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms. ICFP (2016)
Kevin Hammond, Christopher Brown, Susmit Sarkar
Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores. FOPARA (2015)
Vladimir Janjic, Christopher Brown, Kevin Hammond
Lapedo: Hybrid Skeletons for Programming Heterogeneous Multicore Machines in Erlang. PARCO (2015)
Pedro B. Vasconcelos, Steffen Jost, Mário Florido, Kevin Hammond
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. ESOP (2015)
Kevin Hammond
Functional programming and the "megacore" era. Erlang Workshop (2014)
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)
Christopher Brown, Marco Danelutto, Kevin Hammond, Peter Kilpatrick, Archibald Elliott
Cost-Directed Refactoring for Parallel Erlang Programs. Int. J. Parallel Program. 42 (4) (2014)
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)
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 (2013)
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)
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)
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) (2013)
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)
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) (2012)
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)
Christopher Brown, Kevin Hammond, Marco Danelutto, Peter Kilpatrick
A language-independent parallel refactoring framework. WRT@ICSE (2012)
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)
Kevin Hammond, Paul H. J. Kelly
Introduction to the Special Issue on Automatic Program Generation for Embedded Systems. Sci. Comput. Program. 77 (2) (2012)
Vladimir Janjic, Kevin Hammond
Using Load Information in Work-Stealing on Distributed Systems with Non-uniform Communication Latencies. Euro-Par (2012)
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)
Edwin C. Brady, Kevin Hammond
Resource-Safe Systems Programming with Embedded Domain Specific Languages. PADL (2012)
Marco Danelutto, Kevin Hammond, Horacio González-Vélez
ParaPhrase Workshop 2012. Euro-Par Workshops (2012)
Henrique Ferreiro, Vladimir Janjic, Laura M. Castro, Kevin Hammond
Repeating History: Execution Replay for Parallel Haskell Programs. Trends in Functional Programming (2012)
Christopher Brown, Hans-Wolfgang Loidl, Kevin Hammond
ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques. Trends in Functional Programming (2011)
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)
Christopher Brown, Kevin Hammond, Marco Danelutto, Peter Kilpatrick, Holger Schöner, Tino Breddin
Paraphrasing: Generating Parallel Programs Using Refactoring. FMCO (2011)
Christoph A. Herrmann, Kevin Hammond
Counter Automata for Parameterised Timing Analysis of Box-Based Systems. FOPARA (2011)
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)
Kevin Hammond
Why Parallel Functional Programming Matters: Panel Statement. Ada-Europe (2011)
Edwin C. Brady, Kevin Hammond
Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation. ICFP (2010)
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)
Vladimir Janjic, Kevin Hammond
Granularity-Aware Work-Stealing for Computationally-Uniform Grids. CCGRID (2010)
Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann
Static determination of quantitative resource usage for higher-order programs. POPL (2010)
Christopher Brown, Hans-Wolfgang Loidl, Jost Berthold, Kevin Hammond
Improving Your CASH Flow: The Computer Algebra SHell. IFL (2010)
Edwin C. Brady, Kevin Hammond
Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols. Fundam. Informaticae 102 (2) (2010)
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)
Jost Berthold, Simon Marlow, Kevin Hammond, Abdallah Al Zain
Comparing and Optimising Parallel Haskell Implementations for Multicore Machines. ICPP Workshops (2009)
Saleem Bhatti, Edwin C. Brady, Kevin Hammond, James McKinna
Domain Specific Languages (DSLs) for Network Protocols (Position Paper). ICDCS Workshops (2009)
Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. FM (2009)
Kevin Hammond, Greg Michaelson
The Peter Landin prize. High. Order Symb. Comput. 22 (4) (2009)
Abdallah Al Zain, Valerie Gibson, Greg J. Michaelson, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl
Towards Hume SIMD vectorisation. EUSIPCO (2009)
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)
Vladimir Janjic, Kevin Hammond, Yang Yang
Using application information to drive adaptive grid middleware scheduling decisions. MAI@DisCoTec (2008)
Edwin C. Brady, Christoph A. Herrmann, Kevin Hammond
Lightweight Invariants with Full Dependent Types. Trends in Functional Programming (2008)
Kevin Hammond, Abdallah Al Zain, Gene Cooperman, Dana Petcu, Philip W. Trinder
SymGrid: A Framework for Symbolic Computation on the Grid. Euro-Par (2007)
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)
Kevin Hammond
SymGrid: A Framework for Symbolic Computations on the Grid. SYNASC (2007)
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)
Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon
Automatic Amortised Worst-Case Execution Time Analysis. WCET (2007)
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)
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)
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)
Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland
Low-Level Programming in Hume: An Exploration of the HW-Hume Level. IFL (2006)
Edwin C. Brady, Kevin Hammond
A verified staged interpreter is a verified compiler. GPCE (2006)
Armelle Bonenfant, Christian Ferdinand, Kevin Hammond, Reinhold Heckmann
Worst-Case Execution Times for a Purely Functional Language. IFL (2006)
Kevin Hammond, Christian Ferdinand, Reinhold Heckmann
Towards formally verifiable resource bounds for real-time embedded systems. SIGBED Rev. 3 (4) (2006)
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)
Edwin C. Brady, Kevin Hammond
A Dependently Typed Framework for Static Analysis of Program Execution Costs. IFL (2005)
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)
Kevin Hammond
Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach. CEFP (2005)
Greg Michaelson, Kevin Hammond, Jocelyn Sérot
FSM-Hume: programming resource-limited systems using bounded automata. SAC (2004)
Pedro B. Vasconcelos, Kevin Hammond
Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs. IFL (2003)
Greg Michaelson, Kevin Hammond, Jocelyn Sérot
FSM-Hume is finite state. Trends in Functional Programming (2003)
Kevin Hammond, Greg Michaelson
The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain. Domain-Specific Program Generation (2003)
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) (2003)
Kevin Hammond, Greg Michaelson
Hume: A Domain-Specific Language for Real-Time Embedded Systems. GPCE (2003)
Kevin Hammond
Is it time for real-time functional programming? Trends in Functional Programming (2003)
Kevin Hammond, Jost Berthold, Rita Loogen
Automatic Skeletons in Template Haskell. Parallel Process. Lett. 13 (3) (2003)
Álvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos
Cost Analysis Using Automatic Size and Time Inference. IFL (2002)
Kevin Hammond
Parallel Programming: Models, Methods and Programming Languages. Euro-Par (2002)
Kevin Hammond, Greg Michaelson
Predictable Space Behaviour in FSM-Hume. IFL (2002)

Kevin Hammond.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kevin Hammond