Christopher Brown

Orcid: 0000-0001-6030-2885

Affiliations:
  • University of St Andrews, UK
  • University of Kent, UK (PhD 2008)


According to our database1, Christopher Brown authored at least 35 papers between 2007 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022
Semi-automatic ladderisation: improving code security through rewriting and dependent types.
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.
Proceedings of the 29th IEEE International Conference on High Performance Computing, 2022

2021
Restoration of Legacy Parallelism: Transforming Pthreads into Farm and Pipeline Patterns.
Int. J. Parallel Program., 2021

Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang.
Concurr. Comput. Pract. Exp., 2021

2020
Programming Heterogeneous Parallel Machines Using Refactoring and Monte-Carlo Tree Search.
Int. J. Parallel Program., 2020

Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C++.
Int. J. Parallel Program., 2020

A Hybrid Approach to Parallel Pattern Discovery in C++.
Proceedings of the 28th Euromicro International Conference on Parallel, 2020

2019
Guest Editorial Special Issue: High-Level Programming for Heterogeneous Parallel Systems.
Int. J. Parallel Program., 2019

Type-Driven Verification of Non-functional Properties.
Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

A trustworthy framework for resource-aware embedded programming.
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.
Int. J. Parallel Program., 2018

High-level programming for heterogeneous and hierarchical parallel systems.
Int. J. High Perform. Comput. Appl., 2018

Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification.
Future Gener. Comput. Syst., 2018

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

RPL: A Domain-Specific Language for Designing and Implementing Parallel C++ Applications.
Proceedings of the 24th Euromicro International Conference on Parallel, 2016

Towards semi-automatic data-type translation for parallelism in Erlang.
Proceedings of the 15th International Workshop on Erlang, 2016

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

Lapedo: Hybrid Skeletons for Programming Heterogeneous Multicore Machines in Erlang.
Proceedings of the Parallel Computing: On the Road to Exascale, 2015

Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2015

2014
Cost-Directed Refactoring for Parallel Erlang Programs.
Int. J. Parallel Program., 2014

Agricultural Reform: More Efficient Farming Using Advanced Parallel Refactoring Tools.
Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Discovering parallel pattern candidates in Erlang.
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.
J. Symb. Comput., 2013

Space Exploration using Parallel Orbits: a Study in Parallel Symbolic Computing.
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.
Proceedings of the IEEE Congress on Evolutionary Computation, 2013

2012
A language-independent parallel refactoring framework.
Proceedings of the Fifth Workshop on Refactoring Tools 2012, 2012

2011
ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques.
Proceedings of the Trends in Functional Programming, 12th International Symposium, 2011

The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Paraphrasing: Generating Parallel Programs Using Refactoring.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

2010
An Expression Processor: A Case Study in Refactoring Haskell Programs.
Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010

Clone detection and elimination for Haskell.
Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

Improving Your CASH Flow: The Computer Algebra SHell.
Proceedings of the Implementation and Application of Functional Languages, 2010

2008
Tool support for refactoring Haskell programs.
PhD thesis, 2008

2007
Refactoring Functional Programs at the University of Kent.
Proceedings of the 1st Workshop on Refactoring Tools, 2007


  Loading...