| 2023 | GECCO | Synthesizing Effective Diagnostic Models from Small Samples using Structural Machine Learning: a Case Study in Automating COVID-19 Diagnosis. | 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 |
| 2019 | PADL | Proof-Carrying Plans. | Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond |
| 2019 | PDP | Learning-Based Dynamic Pinning of Parallelized Applications in Many-Core Systems. | Georgios C. Chasparis, Michael Rossbory, Vladimir Janjic, Kevin Hammond |
| 2017 | ICFP | In search of a map: using program slicing to discover potential parallelism in recursive functions. | Adam D. Barwell, Kevin Hammond |
| 2016 | CC | Kindergarten cop: dynamic nursery resizing for GHC. | Henrique Ferreiro, Laura M. Castro, Vladimir Janjic, Kevin Hammond |
| 2016 | ICFP | Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms. | David Castro, Kevin Hammond, Susmit Sarkar |
| 2016 | LOPSTR | Coinductive Soundness of Corecursive Type Class Resolution. | Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond |
| 2016 | PDP | RPL: A Domain-Specific Language for Designing and Implementing Parallel C++ Applications. | Vladimir Janjic, Christopher Brown, Kenneth MacKenzie, Kevin Hammond, Marco Danelutto, Marco Aldinucci, Jos Daniel Garca |
| 2015 | ESOP | Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. | Pedro B. Vasconcelos, Steffen Jost, Mrio Florido, Kevin Hammond |
| 2014 | PDP | Agricultural Reform: More Efficient Farming Using Advanced Parallel Refactoring Tools. | Christopher Brown, Vladimir Janjic, Kevin Hammond, Holger Schner, Kamran Idrees, Colin W. Glass |
| 2013 | CEC | Mapping parallel programs to heterogeneous CPU/GPU architectures using a Monte Carlo Tree Search. | Mehdi Goli, John A. W. McCall, Christopher Brown, Vladimir Janjic, Kevin Hammond |
| 2013 | EuroPar | How to be a Successful Thief - Feudal Work Stealing for Irregular Divide-and-Conquer Applications on Heterogeneous Distributed Systems. | Vladimir Janjic, Kevin Hammond |
| 2012 | EMSOFT | Code-level timing analysis of embedded software: emsoft'12 invited talk session outline. | Heiko Falk, Kevin Hammond, Kim G. Larsen, Bjrn Lisper, Stefan M. Petters |
| 2012 | EuroPar | ParaPhrase Workshop 2012. | Marco Danelutto, Kevin Hammond, Horacio Gonzlez-Vlez |
| 2012 | EuroPar | Using Load Information in Work-Stealing on Distributed Systems with Non-uniform Communication Latencies. | Vladimir Janjic, Kevin Hammond |
| 2012 | ICFP | Automatic amortised analysis of dynamic memory allocation for lazy functional programs. | Hugo R. Simes, Pedro B. Vasconcelos, Mrio Florido, Steffen Jost, Kevin Hammond |
| 2012 | ICSE | A language-independent parallel refactoring framework. | Christopher Brown, Kevin Hammond, Marco Danelutto, Peter Kilpatrick |
| 2012 | PADL | Resource-Safe Systems Programming with Embedded Domain Specific Languages. | Edwin C. Brady, Kevin Hammond |
| 2010 | CCGRID | Granularity-Aware Work-Stealing for Computationally-Uniform Grids. | Vladimir Janjic, Kevin Hammond |
| 2010 | ICFP | Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation. | Edwin C. Brady, Kevin Hammond |
| 2010 | ISSAC | Easy composition of symbolic computation software: a new lingua franca for symbolic computation. | Steve Linton, Kevin Hammond, Alexander Konovalov, Abdallah Al Zain, Philip W. Trinder, Peter Horn, Dan Roozemond |
| 2010 | POPL | Static determination of quantitative resource usage for higher-order programs. | Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann |
| 2009 | FM | "Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. | Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann |
| 2009 | POPL | Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures. | Abdallah Al Zain, Kevin Hammond, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad |
| 2008 | ISPA | Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System. | Abdallah Al Zain, Philip W. Trinder, Kevin Hammond, Alexander Konovalov, Steve Linton, Jost Berthold |
| 2007 | EuroPar | SymGrid: A Framework for Symbolic Computation on the Grid. | Kevin Hammond, Abdallah Al Zain, Gene Cooperman, Dana Petcu, Philip W. Trinder |
| 2007 | ICCS | SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids. | Abdallah Al Zain, Kevin Hammond, Philip W. Trinder, Steve Linton, Hans-Wolfgang Loidl, Marco Costanti |
| 2007 | ISPDC | Generic Access to Web and Grid-based Symbolic Computing Services: the SymGrid-Services Framework. | Alexandru Crstea, Marc Frncu, Georgiana Macariu, Dana Petcu, Kevin Hammond |
| 2007 | SAC | Towards resource-certified software: a formal cost model for time and its application to an image-processing example. | Armelle Bonenfant, Zezhi Chen, Kevin Hammond, Greg Michaelson, Andrew M. Wallace, Iain Wallace |
| 2007 | SYNASC | SymGrid: A Framework for Symbolic Computations on the Grid. | Kevin Hammond |
| 2006 | GPCE | A verified staged interpreter is a verified compiler. | Edwin C. Brady, Kevin Hammond |
| 2004 | SAC | FSM-Hume: programming resource-limited systems using bounded automata. | Greg Michaelson, Kevin Hammond, Jocelyn Srot |
| 2003 | GPCE | Hume: A Domain-Specific Language for Real-Time Embedded Systems. | Kevin Hammond, Greg Michaelson |
| 2002 | EuroPar | Parallel Programming: Models, Methods and Programming Languages. | Kevin Hammond |
| 2000 | EuroPar | The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note). | Philip W. Trinder, Hans-Wolfgang Loidl, Ed. Barry Jr., Kei Davis, Kevin Hammond, Ulrike Klusik, Simon L. Peyton Jones, lvaro J. Rebn Portillo |
| 1996 | PLDI | GUM: A Portable Parallel Implementation of Haskell. | Philip W. Trinder, Kevin Hammond, James S. Mattson Jr., Andrew S. Partridge, Simon L. Peyton Jones |
| 1994 | ESOP | Type Classes in Haskell. | Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, Philip Wadler |