| 2018 | FLOPS | Cheap Remarks About Concurrent Programs. | Michael Walker, Colin Runciman |
| 2017 | HASKELL | Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results. | Rudy Braquehais, Colin Runciman |
| 2016 | HASKELL | FitSpec: refining property sets for functional testing. | Rudy Braquehais, Colin Runciman |
| 2015 | HASKELL | Improving implicit parallelism. | Jos Manuel Caldern Trilla, Colin Runciman |
| 2015 | HASKELL | Dj Fu: a concurrency testing library for Haskell. | Michael Walker, Colin Runciman |
| 2015 | SSBSE | Weaving Parallel Threads - Searching for Useful Parallelism in Functional Programs. | Jos Manuel Caldern Trilla, Simon M. Poulding, Colin Runciman |
| 2010 | ICFP | The reduceron reconfigured. | Matthew Naylor, Colin Runciman |
| 2009 | HASKELL | Losing functions without gaining data: another look at defunctionalisation. | Neil Mitchell, Colin Runciman |
| 2009 | PADL | Huge Data But Small Programs: Visualization Design via Multiple Embedded DSLs. | David J. Duke, Rita Borgo, Malcolm Wallace, Colin Runciman |
| 2008 | HASKELL | Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching. | Neil Mitchell, Colin Runciman |
| 2008 | HASKELL | Smallcheck and lazy smallcheck: automatic exhaustive testing for small values. | Colin Runciman, Matthew Naylor, Fredrik Lindblad |
| 2008 | ICFP | Experience report: visualizing data through functional pipelines. | David J. Duke, Rita Borgo, Colin Runciman, Malcolm Wallace |
| 2007 | HASKELL | Haskell program coverage. | Andy Gill, Colin Runciman |
| 2007 | HASKELL | Uniform boilerplate and list processing. | Neil Mitchell, Colin Runciman |
| 2007 | HASKELL | A functional-logic library for wired. | Matthew Naylor, Emil Axelsson, Colin Runciman |
| 2007 | SCAM | Finding Inputs that Reach a Target Expression. | Matthew Naylor, Colin Runciman |
| 2000 | PPDP | A model for comparing the space usage of lazy evaluators. | Adam Bakewell, Colin Runciman |
| 1999 | FLOPS | Automated Generalisation of Function Definitions. | Adam Bakewell, Colin Runciman |
| 1999 | ICFP | Haskell and XML: Generic Combinators or Type-Based Translation? | Malcolm Wallace, Colin Runciman |
| 1999 | PADL | Automated Benchmarking of Functional Data Structures. | Graeme E. Moss, Colin Runciman |
| 1996 | EuroPar | Astro-Gofer: Parallel Functional Programming with Co-ordinating Processes. | Andrew Douglas, Niklas Rjemo, Colin Runciman, Alan Wood |
| 1996 | ICFP | Lag, Drag, Void and Use - Heap Profiling and Space-Efficient Compilation Revisited. | Niklas Rjemo, Colin Runciman |