Obserwuj
Christopher Brown
Christopher Brown
Lecturer in Computer Science at University of St Andrews
Zweryfikowany adres z st-andrews.ac.uk - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
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
Clone detection and elimination for Haskell
C Brown, S Thompson
Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010
572010
The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems
K Hammond, M Aldinucci, C Brown, F Cesarini, M Danelutto, ...
International Symposium on Formal Methods for Components and Objects, 218-236, 2011
552011
Tool support for refactoring Haskell programs
CM Brown
University of Kent, 2008
442008
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
372014
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
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
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
312011
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
292017
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
232011
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
212014
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
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
112020
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
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
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
82022
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20