Christopher Brown

38 papers A 1B 1C 6Misc 1Journal 14Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	pi-par: A Dependently-Typed Parallel Language with Algorithmic Skeletons. Int. J. Parallel Program. Christopher Brown, Adam D. Barwell
2024	—	`conf`	Structural Refactorings for Exploring Dependently Typed Programming. TFP Adam D. Barwell, Christopher Brown, Mun See Chang, Constantine Theocharis, Simon J. Thompson
2024	C	`conf`	Towards Specification-Guarded Refactoring. LOPSTR Adam D. Barwell, Christopher Brown, Susmit Sarkar
2023	A	`conf`	The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems. DATE 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
2023	J	`jnl`	The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems. CoRR 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
2022	Misc	`conf`	COMPROF and COMPLACE: Shared-Memory Communication Profiling and Automated Thread Placement via Dynamic Binary Instrumentation. HIPC Ryan Kirkpatrick, Christopher Brown, Vladimir Janjic
2022	—	`conf`	Semi-automatic ladderisation: improving code security through rewriting and dependent types. PEPM@POPL Christopher Brown, Adam D. Barwell, Yoann Marquer, Olivier Zendra, Tania Richmond, Chen Gu
2021	J	`jnl`	Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang. Concurr. Comput. Pract. Exp. Vladimir Janjic, Christopher Brown, Adam D. Barwell, Kevin Hammond
2021	J	`jnl`	Restoration of Legacy Parallelism: Transforming Pthreads into Farm and Pipeline Patterns. Int. J. Parallel Program. Vladimir Janjic, Christopher Brown, Adam D. Barwell
2020	C	`conf`	A Hybrid Approach to Parallel Pattern Discovery in C++. PDP 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
2020	J	`jnl`	Programming Heterogeneous Parallel Machines Using Refactoring and Monte-Carlo Tree Search. Int. J. Parallel Program. Christopher Brown, Vladimir Janjic, Mehdi Goli, John A. W. McCall
2020	J	`jnl`	Refactoring GrPPI: Generic Refactoring for Generic Parallelism in C++. Int. J. Parallel Program. Christopher Brown, Vladimir Janjic, Adam D. Barwell, Javier Daniel Garcia, Kenneth MacKenzie
2019	—	`conf`	A trustworthy framework for resource-aware embedded programming. IFL Adam D. Barwell, Christopher Brown
2019	J	`jnl`	Guest Editorial Special Issue: High-Level Programming for Heterogeneous Parallel Systems. Int. J. Parallel Program. Christopher Brown
2019	C	`conf`	Type-Driven Verification of Non-functional Properties. PPDP Christopher Brown, Adam D. Barwell, Yoann Marquer, Céline Minh, Olivier Zendra
2018	J	`jnl`	Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification. Future Gener. Comput. Syst. Adam D. Barwell, Christopher Brown, Kevin Hammond
2018	J	`jnl`	High-level programming for heterogeneous and hierarchical parallel systems. Int. J. High Perform. Comput. Appl. Javier García-Blas, Christopher Brown
2018	J	`jnl`	The Missing Link! A New Skeleton for Evolutionary Multi-agent Systems in Erlang. Int. J. Parallel Program. Jan Stypka, Wojciech Turek, Aleksander Byrski, Marek Kisiel-Dorohinicki, Adam D. Barwell, Christopher Brown, Kevin Hammond, Vladimir Janjic
2016	C	`conf`	RPL: A Domain-Specific Language for Designing and Implementing Parallel C++ Applications. PDP Vladimir Janjic, Christopher Brown, Kenneth MacKenzie, Kevin Hammond, Marco Danelutto, Marco Aldinucci, José Daniel García
2016	—	`conf`	Towards semi-automatic data-type translation for parallelism in Erlang. Erlang Workshop Adam D. Barwell, Christopher Brown, David Castro, Kevin Hammond
2016	J	`jnl`	Using Program Shaping and Algorithmic Skeletons to Parallelise an Evolutionary Multi-Agent System in Erlang. Comput. Informatics Adam D. Barwell, Christopher Brown, Kevin Hammond, Wojciech Turek, Aleksander Byrski
2015	J	`jnl`	High-Level Heterogeneous and Hierarchical Parallel Systems (HLPGPU 2014). Int. J. Parallel Program. Christopher Brown
2015	—	`conf`	Lapedo: Hybrid Skeletons for Programming Heterogeneous Multicore Machines in Erlang. PARCO Vladimir Janjic, Christopher Brown, Kevin Hammond
2015	—	`conf`	Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores. FOPARA Kevin Hammond, Christopher Brown, Susmit Sarkar
2014	C	`conf`	Agricultural Reform: More Efficient Farming Using Advanced Parallel Refactoring Tools. PDP Christopher Brown, Vladimir Janjic, Kevin Hammond, Holger Schöner, Kamran Idrees, Colin W. Glass
2014	J	`jnl`	Cost-Directed Refactoring for Parallel Erlang Programs. Int. J. Parallel Program. Christopher Brown, Marco Danelutto, Kevin Hammond, Peter Kilpatrick, Archibald Elliott
2014	—	`conf`	Discovering parallel pattern candidates in Erlang. Erlang Workshop 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
2013	J	`jnl`	Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation. J. Symb. Comput. Steve Linton, Kevin Hammond, Alexander Konovalov, Christopher Brown, Philip W. Trinder, Hans-Wolfgang Loidl, Peter Horn, Dan Roozemond
2013	B	`conf`	Mapping parallel programs to heterogeneous CPU/GPU architectures using a Monte Carlo Tree Search. IEEE Congress on Evolutionary Computation Mehdi Goli, John A. W. McCall, Christopher Brown, Vladimir Janjic, Kevin Hammond
2013	—	`conf`	Space Exploration using Parallel Orbits: a Study in Parallel Symbolic Computing. PARCO Vladimir Janjic, Christopher Brown, Max Neunhöffer, Kevin Hammond, Steve Linton, Hans-Wolfgang Loidl
2012	—	`conf`	A language-independent parallel refactoring framework. WRT@ICSE Christopher Brown, Kevin Hammond, Marco Danelutto, Peter Kilpatrick
2011	—	`conf`	ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques. Trends in Functional Programming Christopher Brown, Hans-Wolfgang Loidl, Kevin Hammond
2011	—	`conf`	Paraphrasing: Generating Parallel Programs Using Refactoring. FMCO Christopher Brown, Kevin Hammond, Marco Danelutto, Peter Kilpatrick, Holger Schöner, Tino Breddin
2011	—	`conf`	The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems. FMCO Kevin Hammond, Marco Aldinucci, Christopher Brown, Francesco Cesarini, Marco Danelutto, Horacio González-Vélez, Peter Kilpatrick, Rainer Keller, Michael Rossbory, Gilad Shainer
2010	—	`conf`	An Expression Processor: A Case Study in Refactoring Haskell Programs. Trends in Functional Programming Christopher Brown, Huiqing Li, Simon J. Thompson
2010	C	`conf`	Clone detection and elimination for Haskell. PEPM Christopher Brown, Simon J. Thompson
2010	—	`conf`	Improving Your CASH Flow: The Computer Algebra SHell. IFL Christopher Brown, Hans-Wolfgang Loidl, Jost Berthold, Kevin Hammond
2007	—	`conf`	Refactoring Functional Programs at the University of Kent. WRT Simon J. Thompson, Christopher Brown, Huiqing Li, Claus Reinke, Nik Sultana