Kevin Hammond - RankMe

141 papers A* 2A 17B 7C 8Misc 6Journal 35Unranked 56

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Algebraic reasoning for timeliness-guided system design. J. Log. Algebraic Methods Program. Seyed Hossein Haeri, Peter Van Roy, Heinrich Apfelmus, Peter Thompson, Neil J. Davies, Magne Haveraaen, Mikhail Barash, Kevin Hammond, James Chapman, Artjoms Sinkarovs
2023	—	`conf`	Algebraic Reasoning About Timeliness. ICE Seyed Hossein Haeri, Peter W. Thompson, Peter Van Roy, Magne Haveraaen, Neil J. Davies, Mikhail Barash, Kevin Hammond, James Chapman
2023	—	`conf`	Host-directed vibroacoustic biosignature of viral respiratory infection. BHI Andreas Schuh, Michael Morimoto, Piotr Kaszuba, Kevin Hammond, Jerry Swan, Krzysztof Krawiec, Nl Shasha Jumbe
2023	—	`conf`	Synthesizing Effective Diagnostic Models from Small Samples using Structural Machine Learning: a Case Study in Automating COVID-19 Diagnosis. GECCO Companion 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
2022	J	`jnl`	Metaheuristics "In the Large". Eur. J. Oper. Res. 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
2022	J	`jnl`	Mind Your Outcomes: The ΔQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study. Comput. Seyed H. Haeri, Peter Thompson, Neil J. Davies, Peter Van Roy, Kevin Hammond, James Chapman
2021	J	`jnl`	Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang. Concurr. Comput. Pract. Exp. Vladimir Janjic, Christopher Brown, Adam D. Barwell, Kevin Hammond
2020	—	`conf`	Flexible Formality Practical Experience with Agile Formal Methods. TFP 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
2019	J	`jnl`	Extending the "Open-Closed Principle" to Automated Algorithm Configuration. Evol. Comput. Jerry Swan, Steven Adriænsen, Adam D. Barwell, Kevin Hammond, David R. White
2019	C	`conf`	Learning-Based Dynamic Pinning of Parallelized Applications in Many-Core Systems. PDP Georgios C. Chasparis, Michael Rossbory, Vladimir Janjic, Kevin Hammond
2019	C	`conf`	Proof-Carrying Plans. PADL Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond
2018	J	`jnl`	Automatically deriving cost models for structured parallel processes using hylomorphisms. Future Gener. Comput. Syst. David Castro, Kevin Hammond, Susmit Sarkar, Yasir Alguwaifli
2018	J	`jnl`	Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification. Future Gener. Comput. Syst. Adam D. Barwell, Christopher Brown, Kevin Hammond
2018	J	`jnl`	Learning-based Dynamic Pinning of Parallelized Applications in Many-Core Systems. CoRR Georgios C. Chasparis, Vladimir Janjic, Michael Rossbory, Kevin Hammond
2018	J	`jnl`	Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis. CoRR Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond
2018	J	`jnl`	Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis. Theory Pract. Log. Program. Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond
2018	J	`jnl`	Reengineering for parallelism in heterogeneous parallel platforms. J. Supercomput. José Daniel García, Kevin Hammond, Lutz Schubert
2018	J	`jnl`	Special issue on Parallel and distributed computing based on the functional programming paradigm. Concurr. Comput. Pract. Exp. Wojciech Turek, Aleksander Byrski, John Hughes, Kevin Hammond, Marek Zaionc
2018	J	`jnl`	Special section on functional paradigm for high performance computing. Future Gener. Comput. Syst. Aleksander Byrski, Katarzyna Rycerz, John Hughes, Kevin Hammond
2018	J	`jnl`	The Missing Link! A New Skeleton for Evolutionary Multi-agent Systems in Erlang. Int. J. Parallel Program. Jan Stypka, Wojciech Turek, Aleksander Byrski, Marek Kisiel-Dorohinicki, Adam D. Barwell, Christopher Brown, Kevin Hammond, Vladimir Janjic
2017	—	`conf`	In search of a map: using program slicing to discover potential parallelism in recursive functions. FHPC@ICFP Adam D. Barwell, Kevin Hammond
2017	J	`jnl`	Type-Based Cost Analysis for Lazy Functional Languages. J. Autom. Reason. Steffen Jost, Pedro B. Vasconcelos, Mário Florido, Kevin Hammond
2016	C	`conf`	Coinductive Soundness of Corecursive Type Class Resolution. LOPSTR Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond
2016	J	`jnl`	Coinductive Soundness of Corecursive Type Class Resolution. CoRR Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond, Peng Fu
2016	A	`conf`	Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms. ICFP David Castro, Kevin Hammond, Susmit Sarkar
2016	J	`jnl`	HPC-GAP: engineering a 21st-century high-performance computer algebra system. Concurr. Comput. Pract. Exp. Reimer Behrends, Kevin Hammond, Vladimir Janjic, Alexander Konovalov, Steve Linton, Hans-Wolfgang Loidl, Patrick Maier, Phil Trinder
2016	B	`conf`	Kindergarten cop: dynamic nursery resizing for GHC. CC Henrique Ferreiro, Laura M. Castro, Vladimir Janjic, Kevin Hammond
2016	J	`jnl`	PAEAN: Portable and scalable runtime support for parallel Haskell dialects. J. Funct. Program. Jost Berthold, Hans-Wolfgang Loidl, Kevin Hammond
2016	C	`conf`	RPL: A Domain-Specific Language for Designing and Implementing Parallel C++ Applications. PDP Vladimir Janjic, Christopher Brown, Kenneth MacKenzie, Kevin Hammond, Marco Danelutto, Marco Aldinucci, José Daniel García
2016	—	`conf`	Towards semi-automatic data-type translation for parallelism in Erlang. Erlang Workshop Adam D. Barwell, Christopher Brown, David Castro, Kevin Hammond
2016	J	`jnl`	Using Program Shaping and Algorithmic Skeletons to Parallelise an Evolutionary Multi-Agent System in Erlang. Comput. Informatics Adam D. Barwell, Christopher Brown, Kevin Hammond, Wojciech Turek, Aleksander Byrski
2015	—	`conf`	Lapedo: Hybrid Skeletons for Programming Heterogeneous Multicore Machines in Erlang. PARCO Vladimir Janjic, Christopher Brown, Kevin Hammond
2015	—	`conf`	Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores. FOPARA Kevin Hammond, Christopher Brown, Susmit Sarkar
2015	A	`conf`	Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. ESOP Pedro B. Vasconcelos, Steffen Jost, Mário Florido, Kevin Hammond
2014	C	`conf`	Agricultural Reform: More Efficient Farming Using Advanced Parallel Refactoring Tools. PDP Christopher Brown, Vladimir Janjic, Kevin Hammond, Holger Schöner, Kamran Idrees, Colin W. Glass
2014	J	`jnl`	Cost-Directed Refactoring for Parallel Erlang Programs. Int. J. Parallel Program. Christopher Brown, Marco Danelutto, Kevin Hammond, Peter Kilpatrick, Archibald Elliott
2014	—	`conf`	Discovering parallel pattern candidates in Erlang. Erlang Workshop 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
2014	—	`conf`	Functional programming and the "megacore" era. Erlang Workshop Kevin Hammond
2013	J	`jnl`	Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation. J. Symb. Comput. Steve Linton, Kevin Hammond, Alexander Konovalov, Christopher Brown, Philip W. Trinder, Hans-Wolfgang Loidl, Peter Horn, Dan Roozemond
2013	—	`conf`	How to be a Successful Thief - Feudal Work Stealing for Irregular Divide-and-Conquer Applications on Heterogeneous Distributed Systems. Euro-Par Vladimir Janjic, Kevin Hammond
2013	B	`conf`	Mapping parallel programs to heterogeneous CPU/GPU architectures using a Monte Carlo Tree Search. IEEE Congress on Evolutionary Computation Mehdi Goli, John A. W. McCall, Christopher Brown, Vladimir Janjic, Kevin Hammond
2013	J	`jnl`	Resource analyses for parallel and distributed coordination. Concurr. Comput. Pract. Exp. Philip W. Trinder, M. I. Cole, Kevin Hammond, Hans-Wolfgang Loidl, Greg Michaelson
2013	—	`conf`	Space Exploration using Parallel Orbits: a Study in Parallel Symbolic Computing. PARCO Vladimir Janjic, Christopher Brown, Max Neunhöffer, Kevin Hammond, Steve Linton, Hans-Wolfgang Loidl
2012	—	`conf`	A language-independent parallel refactoring framework. WRT@ICSE Christopher Brown, Kevin Hammond, Marco Danelutto, Peter Kilpatrick
2012	A	`conf`	Automatic amortised analysis of dynamic memory allocation for lazy functional programs. ICFP Hugo R. Simões, Pedro B. Vasconcelos, Mário Florido, Steffen Jost, Kevin Hammond
2012	Misc	`conf`	Code-level timing analysis of embedded software: emsoft'12 invited talk session outline. EMSOFT Heiko Falk, Kevin Hammond, Kim G. Larsen, Björn Lisper, Stefan M. Petters
2012	J	`jnl`	Guest Editors Note: High-Level Programming for Heterogeneous and Hierarchical Parallel Systems. Parallel Process. Lett. Gaétan Hains, Frédéric Gava, Kevin Hammond
2012	J	`jnl`	Introduction to the Special Issue on Automatic Program Generation for Embedded Systems. Sci. Comput. Program. Kevin Hammond, Paul H. J. Kelly
2012	J	`jnl`	Orchestrating computational algebra components into a high-performance parallel system. Int. J. High Perform. Comput. Netw. Abdallah Al Zain, Philip W. Trinder, Kevin Hammond
2012	—	`conf`	ParaPhrase Workshop 2012. Euro-Par Workshops Marco Danelutto, Kevin Hammond, Horacio González-Vélez
2012	—	`conf`	Repeating History: Execution Replay for Parallel Haskell Programs. Trends in Functional Programming Henrique Ferreiro, Vladimir Janjic, Laura M. Castro, Kevin Hammond
2012	C	`conf`	Resource-Safe Systems Programming with Embedded Domain Specific Languages. PADL Edwin C. Brady, Kevin Hammond
2012	—	`conf`	Using Load Information in Work-Stealing on Distributed Systems with Non-uniform Communication Latencies. Euro-Par Vladimir Janjic, Kevin Hammond
2011	—	`conf`	Counter Automata for Parameterised Timing Analysis of Box-Based Systems. FOPARA Christoph A. Herrmann, Kevin Hammond
2011	—	`conf`	Engineering Concurrent Software Guided by Statistical Performance Analysis. PARCO 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
2011	—	`ch.`	Functional Languages. Encyclopedia of Parallel Computing Philip W. Trinder, Hans-Wolfgang Loidl, Kevin Hammond
2011	—	`ch.`	Glasgow Parallel Haskell (GpH). Encyclopedia of Parallel Computing Kevin Hammond
2011	—	`conf`	ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques. Trends in Functional Programming Christopher Brown, Hans-Wolfgang Loidl, Kevin Hammond
2011	—	`conf`	Paraphrasing: Generating Parallel Programs Using Refactoring. FMCO Christopher Brown, Kevin Hammond, Marco Danelutto, Peter Kilpatrick, Holger Schöner, Tino Breddin
2011	—	`conf`	The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems. FMCO Kevin Hammond, Marco Aldinucci, Christopher Brown, Francesco Cesarini, Marco Danelutto, Horacio González-Vélez, Peter Kilpatrick, Rainer Keller, Michael Rossbory, Gilad Shainer
2011	Misc	`conf`	Why Parallel Functional Programming Matters: Panel Statement. Ada-Europe Kevin Hammond
2010	J	`jnl`	Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols. Fundam. Informaticae Edwin C. Brady, Kevin Hammond
2010	B	`conf`	Easy composition of symbolic computation software: a new lingua franca for symbolic computation. ISSAC Steve Linton, Kevin Hammond, Alexander Konovalov, Abdallah Al Zain, Philip W. Trinder, Peter Horn, Dan Roozemond
2010	B	`conf`	Granularity-Aware Work-Stealing for Computationally-Uniform Grids. CCGRID Vladimir Janjic, Kevin Hammond
2010	—	`conf`	Improving Your CASH Flow: The Computer Algebra SHell. IFL Christopher Brown, Hans-Wolfgang Loidl, Jost Berthold, Kevin Hammond
2010	A	`conf`	Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation. ICFP Edwin C. Brady, Kevin Hammond
2010	A*	`conf`	Static determination of quantitative resource usage for higher-order programs. POPL Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann
2009	B	`conf`	"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. FM Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann
2009	—	`conf`	Comparing and Optimising Parallel Haskell Implementations for Multicore Machines. ICPP Workshops Jost Berthold, Simon Marlow, Kevin Hammond, Abdallah Al Zain
2009	—	`conf`	Domain Specific Languages (DSLs) for Network Protocols (Position Paper). ICDCS Workshops Saleem Bhatti, Edwin C. Brady, Kevin Hammond, James McKinna
2009	—	`conf`	Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures. DAMP Abdallah Al Zain, Kevin Hammond, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad
2009	J	`jnl`	The Peter Landin prize. High. Order Symb. Comput. Kevin Hammond, Greg Michaelson
2009	—	`conf`	Towards Hume SIMD vectorisation. EUSIPCO Abdallah Al Zain, Valerie Gibson, Greg J. Michaelson, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl
2008	—	`conf`	Lightweight Invariants with Full Dependent Types. Trends in Functional Programming Edwin C. Brady, Christoph A. Herrmann, Kevin Hammond
2008	C	`conf`	Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System. ISPA Abdallah Al Zain, Philip W. Trinder, Kevin Hammond, Alexander Konovalov, Steve Linton, Jost Berthold
2008	—	`conf`	Using application information to drive adaptive grid middleware scheduling decisions. MAI@DisCoTec Vladimir Janjic, Kevin Hammond, Yang Yang
2007	—	`conf`	Automatic Amortised Worst-Case Execution Time Analysis. WCET Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon
2007	—	`conf`	Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types. Trends in Functional Programming Edwin C. Brady, James McKinna, Kevin Hammond
2007	C	`conf`	Generic Access to Web and Grid-based Symbolic Computing Services: the SymGrid-Services Framework. ISPDC Alexandru Cârstea, Marc Frîncu, Georgiana Macariu, Dana Petcu, Kevin Hammond
2007	Misc	`conf`	SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids. International Conference on Computational Science (2) Abdallah Al Zain, Kevin Hammond, Philip W. Trinder, Steve Linton, Hans-Wolfgang Loidl, Marco Costanti
2007	—	`conf`	SymGrid: A Framework for Symbolic Computation on the Grid. Euro-Par Kevin Hammond, Abdallah Al Zain, Gene Cooperman, Dana Petcu, Philip W. Trinder
2007	Misc	`conf`	SymGrid: A Framework for Symbolic Computations on the Grid. SYNASC Kevin Hammond
2007	Misc	`conf`	Towards resource-certified software: a formal cost model for time and its application to an image-processing example. SAC Armelle Bonenfant, Zezhi Chen, Kevin Hammond, Greg Michaelson, Andrew M. Wallace, Iain Wallace
2006	B	`conf`	A verified staged interpreter is a verified compiler. GPCE Edwin C. Brady, Kevin Hammond
2006	—	`conf`	Low-Level Programming in Hume: An Exploration of the HW-Hume Level. IFL Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland
2006	—	`conf`	Towards Formally Verifiable WCET Analysis for a Functional Programming Language. WCET 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
2006	J	`jnl`	Towards formally verifiable resource bounds for real-time embedded systems. SIGBED Rev. Kevin Hammond, Christian Ferdinand, Reinhold Heckmann
2006	—	`conf`	Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs. TYPES Hugo R. Simões, Kevin Hammond, Mário Florido, Pedro B. Vasconcelos
2006	—	`conf`	Worst-Case Execution Times for a Purely Functional Language. IFL Armelle Bonenfant, Christian Ferdinand, Kevin Hammond, Reinhold Heckmann
2005	—	`conf`	A Dependently Typed Framework for Static Analysis of Program Execution Costs. IFL Edwin C. Brady, Kevin Hammond
2005	—	`conf`	Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach. CEFP Kevin Hammond
2005	—	`conf`	The Embounded project (project start paper). Trends in Functional Programming 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
2004	Misc	`conf`	FSM-Hume: programming resource-limited systems using bounded automata. SAC Greg Michaelson, Kevin Hammond, Jocelyn Sérot
2003	J	`jnl`	Automatic Skeletons in Template Haskell. Parallel Process. Lett. Kevin Hammond, Jost Berthold, Rita Loogen
2003	J	`jnl`	Comparing Parallel Functional Languages: Programming and Performance. High. Order Symb. Comput. 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
2003	—	`conf`	FSM-Hume is finite state. Trends in Functional Programming Greg Michaelson, Kevin Hammond, Jocelyn Sérot
2003	B	`conf`	Hume: A Domain-Specific Language for Real-Time Embedded Systems. GPCE Kevin Hammond, Greg Michaelson
2003	—	`conf`	Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs. IFL Pedro B. Vasconcelos, Kevin Hammond
2003	—	`conf`	Is it time for real-time functional programming? Trends in Functional Programming Kevin Hammond
2003	—	`conf`	The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain. Domain-Specific Program Generation Kevin Hammond, Greg Michaelson
2002	—	`conf`	Cost Analysis Using Automatic Size and Time Inference. IFL Álvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos
2002	—	`conf`	Parallel Programming: Models, Methods and Programming Languages. Euro-Par Kevin Hammond
2002	—	`conf`	Predictable Space Behaviour in FSM-Hume. IFL Kevin Hammond, Greg Michaelson
2002	—	`ed.`	Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), University of Stirling, Bridge of Allan, Scotland, August 22nd to 24th, 2001 Scottish Functional Programming Workshop Kevin Hammond, Sharon Curtis
2000	—	`conf`	GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster. Scottish Functional Programming Workshop Hans-Wolfgang Loidl, Ulrike Klusik, Kevin Hammond, Rita Loogen, Philip W. Trinder
2000	—	`conf`	Hume: a bounded time concurrent language. ICECS Kevin Hammond
2000	—	`conf`	Parallel heuristic search in Haskell. Scottish Functional Programming Workshop Michelle Cope, Ian P. Gent, Kevin Hammond
2000	—	`conf`	The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour. IFL Kevin Hammond
2000	—	`conf`	The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note). Euro-Par Philip W. Trinder, Hans-Wolfgang Loidl, Ed. Barry Jr., Kei Davis, Kevin Hammond, Ulrike Klusik, Simon L. Peyton Jones, Álvaro J. Rebón Portillo
1999	J	`jnl`	Engineering parallel symbolic programs in GPH. Concurr. Pract. Exp. Hans-Wolfgang Loidl, Philip W. Trinder, Kevin Hammond, Sahalu B. Junaidu, Richard G. Morgan, Simon L. Peyton Jones
1999	—	`ch.`	Foundations. Research Directions in Parallel Functional Programming Greg Michaelson, Kevin Hammond, Chris Clack
1999	—	`conf`	HaskSkel: Algorithmic Skeletons in Haskell. IFL Kevin Hammond, Álvaro J. Rebón Portillo
1999	—	`ed.`	Implementation of Functional Languages, 10th International Workshop, IFL'98, London, UK, September 9-11, Selected Papers IFL Kevin Hammond, Antony J. T. Davie, Chris Clack
1999	—	`ch.`	Introduction. Research Directions in Parallel Functional Programming Kevin Hammond, Greg Michaelson
1999	—	`ch.`	Large Scale Functional Applications. Research Directions in Parallel Functional Programming Philip W. Trinder, Hans-Wolfgang Loidl, Kevin Hammond
1999	—	`book`	Research Directions in Parallel Functional Programming Kevin Hammond, Greg Michaelson
1999	—	`ch.`	Summary. Research Directions in Parallel Functional Programming Greg Michaelson, Kevin Hammond
1998	J	`jnl`	Algorithms + Strategy = Parallelism. J. Funct. Program. Philip W. Trinder, Kevin Hammond, Hans-Wolfgang Loidl, Simon L. Peyton Jones
1998	—	`ed.`	Implementation of Functional Languages, 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers IFL Chris Clack, Kevin Hammond, Antony J. T. Davie
1997	—	`conf`	Naira: A Parallel² Haskell Compiler. Implementation of Functional Languages Sahalu B. Junaidu, Antony J. T. Davie, Kevin Hammond
1996	J	`jnl`	Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark. J. Funct. Program. 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
1996	A*	`conf`	GUM: A Portable Parallel Implementation of Haskell. PLDI Philip W. Trinder, Kevin Hammond, James S. Mattson Jr., Andrew S. Partridge, Simon L. Peyton Jones
1996	—	`conf`	Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer. Implementation of Functional Languages Hans-Wolfgang Loidl, Kevin Hammond
1996	J	`jnl`	Type Classes in Haskell. ACM Trans. Program. Lang. Syst. Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler
1995	A	`conf`	Database Manipulation in Haskell 1.3. Functional Programming Kevin Hammond, Philip W. Trinder
1995	A	`conf`	On the Granularity of Divide-and-Conquer Parallelism. Functional Programming Hans-Wolfgang Loidl, Kevin Hammond
1995	A	`ed.`	Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, September 12-14, 1994 Functional Programming Kevin Hammond, David N. Turner, Patrick M. Sansom
1994	—	`conf`	Automatic Spark Strategies and Granularity for a Parallel Functional Language Reducer. CONPAR Kevin Hammond, James S. Mattson Jr., Simon L. Peyton Jones
1994	A	`conf`	Improving Granularity in Parallel Functional Programs: A Graphical Winnowing System for Haskell. Functional Programming Kevin Hammond, Hans-Wolfgang Loidl, Andrew S. Partridge
1994	—	`conf`	Parallel Functional Programming: An Introduction. PASCO Kevin Hammond
1994	A	`ed.`	Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, July 5-7, 1993 Functional Programming John T. O'Donnell, Kevin Hammond
1994	A	`conf`	Type Classes in Haskell. ESOP Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler
1993	—	`conf`	Processing Transactions on GRIP, a Parallel Graph Reducer. PARLE Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder
1993	A	`conf`	Spiking Your Caches. Functional Programming Kevin Hammond, Geoffrey Livingston Burn, Denis B. Howe
1992	A	`conf`	Improving Persistent Data Manipulation for Functional Languages. Functional Programming Kevin Hammond, Dave McNally, Patrick M. Sansom, Philip W. Trinder
1992	J	`jnl`	Report on the Programming Language Haskell, A Non-strict, Purely Functional Language. ACM SIGPLAN Notices 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
1992	A	`conf`	The Glasgow Haskell Compiler: A Retrospective. Functional Programming Cordelia V. Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones, Philip Wadler
1991	A	`conf`	A Parallel Functional Database on GRIP. Functional Programming Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder
1991	A	`conf`	Efficient Type Inference Using Monads (Summary). Functional Programming Kevin Hammond
1990	A	`conf`	An Algorithmic and Semantic Approach to Debugging. Functional Programming Cordelia V. Hall, Kevin Hammond, John T. O'Donnell
1989	A	`conf`	Implementing Haskell Type Classes. Functional Programming Kevin Hammond, Stephen Blott