Follow
Christopher Brown
Christopher Brown
Lecturer in Computer Science at University of St Andrews
Verified email at st-andrews.ac.uk - Homepage
Title
Cited by
Cited by
Year
Cost-directed refactoring for parallel Erlang programs
C Brown, M Danelutto, K Hammond, P Kilpatrick, A Elliott
International Journal of Parallel Programming 42, 564-582, 2014
572014
The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems
K Hammond, M Aldinucci, C Brown, F Cesarini, M Danelutto, ...
Formal Methods for Components and Objects: 10th International Symposium …, 2013
562013
Clone detection and elimination for Haskell
C Brown, S Thompson
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010
532010
Tool support for refactoring Haskell programs
CM Brown
University of Kent, 2008
422008
Discovering parallel pattern candidates in Erlang
I Bozó, V Fordós, Z Horvath, M Tóth, D Horpácsi, T Kozsik, J Köszegi, ...
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 13-23, 2014
352014
Paraforming: forming parallel haskell programs using novel refactoring techniques
C Brown, HW Loidl, K Hammond
Trends in Functional Programming: 12th International Symposium, TFP 2011 …, 2012
342012
Paraphrasing: Generating parallel programs using refactoring
C Brown, K Hammond, M Danelutto, P Kilpatrick, H Schöner, T Breddin
International Symposium on Formal Methods for Components and Objects, 237-256, 2011
332011
RPL: A Domain-Specific Language for Designing and Implementing Parallel C++ Applications
V Janjic, C Brown, K MacKenzie, K Hammond, M Danelutto, M Aldinucci, ...
24th Euromicro International Conference on Parallel, Distributed, and …, 2016
312016
Finding Parallel Functional Pearls: Automatic Parallel Recursion Scheme Detection in Haskell Functions via Anti-Unification
A Barwell, C Brown, K Hammond
Future Generation Computer Systems, 2017
282017
Agricultural reform: more efficient farming using advanced parallel refactoring tools
C Brown, V Janjic, K Hammond, H Schöner, K Idrees, C Glass
2014 22nd Euromicro International Conference on Parallel, Distributed, and …, 2014
222014
An expression processor: a case study in refactoring Haskell programs
C Brown, H Li, S Thompson
Trends in Functional Programming: 11th International Symposium, TFP 2010 …, 2011
202011
A language-independent parallel refactoring framework
C Brown, K Hammond, M Danelutto, P Kilpatrick
Proceedings of the Fifth Workshop on Refactoring Tools, 54-58, 2012
162012
Using Program Shaping and Algorithmic Skeletons to Parallelise an Evolutionary Multi-Agent System in Erlang.
AD Barwell, C Brown, K Hammond, W Turek, A Byrski
Computing & Informatics 35 (4), 2016
152016
Lapedo : hybrid skeletons for programming heterogeneous multicore machines in Erlang
V Janjic, C Brown, K Hammond
Proceedings of the 2015 International Conference on Parallel Computing (ParCo), 2015
122015
Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation
S Linton, K Hammond, A Konovalov, C Brown, PW Trinder, HW Loidl, ...
Journal of Symbolic Computation 49, 95-119, 2013
122013
Mapping parallel programs to heterogeneous CPU/GPU architectures using a Monte Carlo Tree Search
M Goli, J McCall, C Brown, V Janjic, K Hammond
2013 IEEE Congress on Evolutionary Computation, 2932-2939, 2013
112013
Refactoring GrPPI: generic refactoring for generic parallelism in C++
C Brown, V Janjic, AD Barwell, JD Garcia, K MacKenzie
International Journal of Parallel Programming 48, 603-625, 2020
102020
The Missing Link! A New Skeleton for Evolutionary Multi-agent Systems in Erlang
KHVJ Jan Stypka, Wojciech Turek, Aleksander Byrski, Marek Kisiel-Dorohinicki ...
International Journal of Parallel Programming, 2017
9*2017
Type-Driven Verification of Non-functional Properties
C Brown, A Barwell, Y Marquer, C Minh, O Zendra
PPDP '19 Proceedings of the 21st International Symposium on Principles and …, 2019
72019
Semi-Automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types
C Brown, A Barwell, Y Marquer, T Richmond, C Gu
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) 2022, 2022
62022
The system can't perform the operation now. Try again later.
Articles 1–20