Refactoring Functional Programs at the University of Kent. - Simon J. Thompson; Christopher Brown 002; Huiqing Li; Claus Reinke; Nik Sultana (WRT, 2007)

Tool support for refactoring Haskell programs. - Christopher Mark Brown (2008)

Improving Your CASH Flow: The Computer Algebra SHell. - Christopher Brown 002; Hans-Wolfgang Loidl; Jost Berthold; Kevin Hammond (IFL, 2010)

Clone detection and elimination for Haskell. - Christopher Brown 002; Simon J. Thompson (PEPM, 2010)

An Expression Processor: A Case Study in Refactoring Haskell Programs. - Christopher Brown 002; Huiqing Li; Simon J. Thompson (Trends in Functional Programming, 2010)

Paraphrasing: Generating Parallel Programs Using Refactoring. - Christopher Brown 002; Kevin Hammond; Marco Danelutto; Peter Kilpatrick; Holger Schöner; Tino Breddin (FMCO, 2011)

The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems. - Kevin Hammond; Marco Aldinucci; Christopher Brown 002; Francesco Cesarini; Marco Danelutto; Horacio González-Vélez; Peter Kilpatrick; Rainer Keller; Michael Rossbory; Gilad Shainer (FMCO, 2011)

ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques. - Christopher Brown 002; Hans-Wolfgang Loidl; Kevin Hammond (Trends in Functional Programming, 2011)

A language-independent parallel refactoring framework. - Christopher Brown 002; Kevin Hammond; Marco Danelutto; Peter Kilpatrick (WRT@ICSE, 2012)

Mapping parallel programs to heterogeneous CPU/GPU architectures using a Monte Carlo Tree Search. - Mehdi Goli 001; John A. W. McCall; Christopher Brown 002; Vladimir Janjic; Kevin Hammond (IEEE Congress on Evolutionary Computation, 2013)

Space Exploration using Parallel Orbits: a Study in Parallel Symbolic Computing. - Vladimir Janjic; Christopher Brown 002; Max Neunhöffer; Kevin Hammond; Steve Linton; Hans-Wolfgang Loidl (PARCO, 2013)

Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation. - Steve Linton; Kevin Hammond; Alexander Konovalov 001; Christopher Brown 002; Philip W. Trinder; Hans-Wolfgang Loidl; Peter Horn; Dan Roozemond (J. Symb. Comput., 2013)

Discovering parallel pattern candidates in Erlang. - 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 002; Kevin Hammond (Erlang Workshop, 2014)

Agricultural Reform: More Efficient Farming Using Advanced Parallel Refactoring Tools. - Christopher Brown 002; Vladimir Janjic; Kevin Hammond; Holger Schöner; Kamran Idrees; Colin W. Glass (PDP, 2014)

Cost-Directed Refactoring for Parallel Erlang Programs. - Christopher Brown 002; Marco Danelutto; Kevin Hammond; Peter Kilpatrick; Archibald Elliott (Int. J. Parallel Program., 2014)

Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores. - Kevin Hammond; Christopher Brown 002; Susmit Sarkar (FOPARA, 2015)

Lapedo: Hybrid Skeletons for Programming Heterogeneous Multicore Machines in Erlang. - Vladimir Janjic; Christopher Brown 002; Kevin Hammond (PARCO, 2015)

High-Level Heterogeneous and Hierarchical Parallel Systems (HLPGPU 2014). - Christopher Brown 002 (Int. J. Parallel Program., 2015)

Towards semi-automatic data-type translation for parallelism in Erlang. - Adam D. Barwell; Christopher Brown 002; David Castro 006; Kevin Hammond (Erlang Workshop, 2016)

RPL: A Domain-Specific Language for Designing and Implementing Parallel C++ Applications. - Vladimir Janjic; Christopher Brown 002; Kenneth MacKenzie; Kevin Hammond; Marco Danelutto; Marco Aldinucci; José Daniel García (PDP, 2016)

Using Program Shaping and Algorithmic Skeletons to Parallelise an Evolutionary Multi-Agent System in Erlang. - Adam D. Barwell; Christopher Brown 002; Kevin Hammond; Wojciech Turek; Aleksander Byrski (Comput. Informatics, 2016)

Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification. - Adam D. Barwell; Christopher Brown 002; Kevin Hammond (Future Gener. Comput. Syst., 2018)

High-level programming for heterogeneous and hierarchical parallel systems. - Javier García-Blas; Christopher Brown 002 (Int. J. High Perform. Comput. Appl., 2018)

The Missing Link! A New Skeleton for Evolutionary Multi-agent Systems in Erlang. - Jan Stypka; Wojciech Turek; Aleksander Byrski; Marek Kisiel-Dorohinicki; Adam D. Barwell; Christopher Brown 002; Kevin Hammond; Vladimir Janjic (Int. J. Parallel Program., 2018)

A trustworthy framework for resource-aware embedded programming. - Adam D. Barwell; Christopher Brown 002 (IFL, 2019)

Type-Driven Verification of Non-functional Properties. - Christopher Brown 002; Adam D. Barwell; Yoann Marquer; Céline Minh; Olivier Zendra (PPDP, 2019)

Guest Editorial Special Issue: High-Level Programming for Heterogeneous Parallel Systems. - Christopher Brown 002 (Int. J. Parallel Program., 2019)

A Hybrid Approach to Parallel Pattern Discovery in C++. - Christopher Brown 002; Vladimir Janjic; Adam D. Barwell; John Donald Thomson; Roberto Castañeda Lozano; Murray Cole; Björn Franke; José Daniel García Sánchez; David del Rio Astorga; Kenneth MacKenzie (PDP, 2020)

Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C++. - Christopher Brown 002; Vladimir Janjic; Adam D. Barwell; Javier Daniel Garcia; Kenneth MacKenzie (Int. J. Parallel Program., 2020)

Programming Heterogeneous Parallel Machines Using Refactoring and Monte-Carlo Tree Search. - Christopher Brown 002; Vladimir Janjic; Mehdi Goli 001; John A. W. McCall (Int. J. Parallel Program., 2020)

Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang. - Vladimir Janjic; Christopher Brown 002; Adam D. Barwell; Kevin Hammond (Concurr. Comput. Pract. Exp., 2021)

Restoration of Legacy Parallelism: Transforming Pthreads into Farm and Pipeline Patterns. - Vladimir Janjic; Christopher Brown 002; Adam D. Barwell (Int. J. Parallel Program., 2021)

COMPROF and COMPLACE: Shared-Memory Communication Profiling and Automated Thread Placement via Dynamic Binary Instrumentation. - Ryan Kirkpatrick; Christopher Brown 002; Vladimir Janjic (HIPC, 2022)

Semi-automatic ladderisation: improving code security through rewriting and dependent types. - Christopher Brown 002; Adam D. Barwell; Yoann Marquer; Olivier Zendra; Tania Richmond; Chen Gu (PEPM@POPL, 2022)

The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems. - Benjamin Rouxel; Christopher Brown 002; Emad Ebeid; Kerstin Eder; Heiko Falk; Clemens Grelck; Jesper Holst; Shashank Jadhav; Yoann Marquer; Marcos Martinez de Alejandro; Kris Nikov; Ali Sahafi; et al. (DATE, 2023)

Towards Specification-Guarded Refactoring. - Adam D. Barwell; Christopher Brown 002; Susmit Sarkar (LOPSTR, 2024)

Structural Refactorings for Exploring Dependently Typed Programming. - Adam D. Barwell; Christopher Brown 002; Mun See Chang; Constantine Theocharis; Simon J. Thompson (TFP, 2024)

pi-par: A Dependently-Typed Parallel Language with Algorithmic Skeletons. - Christopher Brown 002; Adam D. Barwell (Int. J. Parallel Program., 2025)