Christopher Brown

According to our database, Christopher Brown authored at least 37 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Structural Refactorings for Exploring Dependently Typed Programming.

Adam D. Barwell, Christopher Brown, Mun See Chang, Constantine Theocharis, Simon J. Thompson

Proceedings of the Trends in Functional Programming - 25th International Symposium, 2024

Towards Specification-Guarded Refactoring.

Adam D. Barwell, Christopher Brown, Susmit Sarkar

Proceedings of the Logic-Based Program Synthesis and Transformation, 2024

2023

The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems.

Benjamin Rouxel, Christopher Brown, Emad Ebeid, Kerstin Eder, Heiko Falk, Clemens Grelck, Jesper Holst, Shashank Jadhav, Yoann Marquer, Marcos Martinez de Alejandro, Kris Nikov, Ali Sahafi, Ulrik Pagh Schultz Lundquist, Adam Seewald, Vangelis Vassalos, Simon Wegener, Olivier Zendra

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

Semi-automatic ladderisation: improving code security through rewriting and dependent types.

Christopher Brown, Adam D. Barwell, Yoann Marquer, Olivier Zendra, Tania Richmond, Chen Gu

Proceedings of the PEPM 2022: Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Philadelphia, PA, USA, January 17, 2022

COMPROF and COMPLACE: Shared-Memory Communication Profiling and Automated Thread Placement via Dynamic Binary Instrumentation.

Ryan Kirkpatrick, Christopher Brown, Vladimir Janjic

Proceedings of the 29th IEEE International Conference on High Performance Computing, 2022

2021

Restoration of Legacy Parallelism: Transforming Pthreads into Farm and Pipeline Patterns.

Vladimir Janjic, Christopher Brown, Adam D. Barwell

Int. J. Parallel Program., 2021

Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang.

Vladimir Janjic, Christopher Brown, Adam D. Barwell, Kevin Hammond

Concurr. Comput. Pract. Exp., 2021

2020

Programming Heterogeneous Parallel Machines Using Refactoring and Monte-Carlo Tree Search.

Christopher Brown, Vladimir Janjic, Mehdi Goli, John A. W. McCall

Int. J. Parallel Program., 2020

Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C++.

Christopher Brown, Vladimir Janjic, Adam D. Barwell, Javier Daniel Garcia, Kenneth MacKenzie

Int. J. Parallel Program., 2020

A Hybrid Approach to Parallel Pattern Discovery in C++.

Christopher Brown, 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

Proceedings of the 28th Euromicro International Conference on Parallel, 2020

2019

Guest Editorial Special Issue: High-Level Programming for Heterogeneous Parallel Systems.

Christopher Brown

Int. J. Parallel Program., 2019

Type-Driven Verification of Non-functional Properties.

Christopher Brown, Adam D. Barwell, Yoann Marquer, Céline Minh, Olivier Zendra

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

A trustworthy framework for resource-aware embedded programming.

Adam D. Barwell, Christopher Brown

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019

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, Kevin Hammond, Vladimir Janjic

Int. J. Parallel Program., 2018

High-level programming for heterogeneous and hierarchical parallel systems.

Javier García-Blas, Christopher Brown

Int. J. High Perform. Comput. Appl., 2018

Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification.

Adam D. Barwell, Christopher Brown, Kevin Hammond

Future Gener. Comput. Syst., 2018

2016

Using Program Shaping and Algorithmic Skeletons to Parallelise an Evolutionary Multi-Agent System in Erlang.

Adam D. Barwell, Christopher Brown, Kevin Hammond, Wojciech Turek, Aleksander Byrski

Comput. Informatics, 2016

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 García

Proceedings of the 24th Euromicro International Conference on Parallel, 2016

Towards semi-automatic data-type translation for parallelism in Erlang.

Adam D. Barwell, Christopher Brown, David Castro, Kevin Hammond

Proceedings of the 15th International Workshop on Erlang, 2016

2015

High-Level Heterogeneous and Hierarchical Parallel Systems (HLPGPU 2014).

Christopher Brown

Int. J. Parallel Program., 2015

Lapedo: Hybrid Skeletons for Programming Heterogeneous Multicore Machines in Erlang.

Vladimir Janjic, Christopher Brown, Kevin Hammond

Proceedings of the Parallel Computing: On the Road to Exascale, 2015

Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores.

Kevin Hammond, Christopher Brown, Susmit Sarkar

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2015

2014

Cost-Directed Refactoring for Parallel Erlang Programs.

Christopher Brown, Marco Danelutto, Kevin Hammond, Peter Kilpatrick, Archibald Elliott

Int. J. Parallel Program., 2014

Agricultural Reform: More Efficient Farming Using Advanced Parallel Refactoring Tools.

Christopher Brown, Vladimir Janjic, Kevin Hammond, Holger Schöner, Kamran Idrees, Colin W. Glass

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

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, Kevin Hammond

Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

2013

Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation.

Steve Linton, Kevin Hammond, Alexander Konovalov, Christopher Brown, Philip W. Trinder, Hans-Wolfgang Loidl, Peter Horn, Dan Roozemond

J. Symb. Comput., 2013

Space Exploration using Parallel Orbits: a Study in Parallel Symbolic Computing.

Vladimir Janjic, Christopher Brown, Max Neunhöffer, Kevin Hammond, Steve Linton, Hans-Wolfgang Loidl

Proceedings of the Parallel Computing: Accelerating Computational Science and Engineering (CSE), 2013

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

Proceedings of the IEEE Congress on Evolutionary Computation, 2013

2012

A language-independent parallel refactoring framework.

Christopher Brown, Kevin Hammond, Marco Danelutto, Peter Kilpatrick

Proceedings of the Fifth Workshop on Refactoring Tools 2012, 2012

2011

ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques.

Christopher Brown, Hans-Wolfgang Loidl, Kevin Hammond

Proceedings of the Trends in Functional Programming, 12th International Symposium, 2011

The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems.

Kevin Hammond, Marco Aldinucci, Christopher Brown, Francesco Cesarini, Marco Danelutto, Horacio González-Vélez, Peter Kilpatrick, Rainer Keller, Michael Rossbory, Gilad Shainer

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Paraphrasing: Generating Parallel Programs Using Refactoring.

Christopher Brown, Kevin Hammond, Marco Danelutto, Peter Kilpatrick, Holger Schöner, Tino Breddin

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

2010

An Expression Processor: A Case Study in Refactoring Haskell Programs.

Christopher Brown, Huiqing Li, Simon J. Thompson

Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010

Clone detection and elimination for Haskell.

Christopher Brown, Simon J. Thompson

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

Improving Your CASH Flow: The Computer Algebra SHell.

Christopher Brown, Hans-Wolfgang Loidl, Jost Berthold, Kevin Hammond

Proceedings of the Implementation and Application of Functional Languages, 2010

2008

Tool support for refactoring Haskell programs.

Christopher Mark Brown

PhD thesis, 2008

2007

Refactoring Functional Programs at the University of Kent.

Simon J. Thompson, Christopher Brown, Huiqing Li, Claus Reinke, Nik Sultana

Proceedings of the 1st Workshop on Refactoring Tools, 2007