| 2015 | HASKELL | Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs. | Andrew Farmer, Neil Sculthorpe, Andy Gill |
| 2015 | HASKELL | The remote monad design pattern. | Andy Gill, Neil Sculthorpe, Justin Dawson, Aleksander Eskilson, Andrew Farmer, Mark Grebe, Jeffrey Rosenbluth, Ryan Scott, James Stanton |
| 2014 | PEPM | Optimizing SYB is easy! | Michael D. Adams, Andrew Farmer, Jos Pedro Magalhes |
| 2014 | PEPM | The HERMIT in the stream: fusing stream fusion's concatMap. | Andrew Farmer, Christian Hner zu Siederdissen, Andy Gill |
| 2013 | ICTD | The SMS-text adherence support (StAR) study: hardware and software infrastructure. | David B. Springer, Kirsten L. Bobrow, Naomi Levitt, Andrew Farmer, Lionel Tarassenko |
| 2012 | HASKELL | The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs. | Andrew Farmer, Andy Gill, Ed Komp, Neil Sculthorpe |
| 2011 | FCCM | Using Functional Programming to Generate an LDPC Forward Error Corrector. | Andy Gill, Tristan Bull, Daniel DePardo, Andrew Farmer, Ed Komp, Erik Perrins |
| 2011 | ICFP | Deriving an efficient FPGA implementation of a low density parity check forward error corrector. | Andy Gill, Andrew Farmer |