Research output per year
Research output per year
Personal profile
Profile Keywords
Programming languages; refactoring; semantics; programming transformation; energy analysis; parallel programming; heterogeneous computing
Biography
I am a lecturer with a background in refactoring and parallel programming. My research is about making it as easy as possible for software developers to write parallel programs; making their software faster, safer and more sustainable.
I am currently Principal Investigator on the EPSRC Energise project, researching into new techniques to refactor and schedule parallel C software for energy optimisation.
I was previously Principle Investigator on the EU Teamplay project, looking into providing new techniques for developers to specify energy, time and security specifications in C programs for embedded systems.
Prior to that, I worked as a research assistant at St Andrews, contributing to a number of EU grants on refactoring and parallelism (ParaPhrase, Rephrase). I also have commercial experience, being CTO-Elect on a potential spin-out venture from St Andrews, through a Scottish Enterprise funded project to commercialise our refactoring tools. This resulted in ParaFormance: a tool suite for C and C++ software to enable developers to write multi-core code. I am very interested in new commercial exploitation, so please contact me if you are interested.
I am a member of the Programming Languages group.
Research overview
My publications can be found on PURE, Google Scholar and Research Gate.
Twitter: @chrismarkbrown
My main area of research is in Programming Languages: refactoring, parallelism, semantics, compilers. I am a member of the Programming Languages Group at St Andrews.
- Parallel Programming
- Parallel programming, tools, languages, compilers, run-time systems, libraries, algorithms, schedulers, GPUs, energy-aware parallelism...
- Semantics and verification of parallel programs
- Parallel pattern (and skeleton) libraries
- Parallelism safety
- Removal of legacy concurrency
- Refactoring
- Transforming sequential programs into parallel versions
- Proving correctness and general soundness of refactoring and program transformation, using verification techniques such as dependent types
- Building refactoring tools to help developers write parallel programs
- Optimising programs for energy efficiency, using compiler and refactoring techniques
- Programming Languages
- Compilers, static semantics, code generation, instruction selection
- Non-functional properties such as energy-efficiency
- Semantics of programming languages
- Correctness, verification and general soundness of compilers
Current projects and activities:
- EPSRC: Energise: Refactorings and Skeletons for Energy-Aware Applications on High-Performance Embedded Systems (EPSRC)
EPSRC project. April 2021 - March 2024.
The Energise project aims to develop new, formally-motivated, refactorings and transformations that reduce energy consumption for embedded multi-core devices. This includes implementing refactorings for target languages such as C; proving general soundness of the refactorings using e.g. dependent types; developing new programming abstractions (skeletons) for abstracting common energy-reducing programming patterns; running experiments; writing proofs of correctness, etc.
- TeamPlay: TeamPlay - Time, Energy and security Analysis for Multi/Many-core heterogenous PLAtforms (EU - Horizon 2020)
EU Horizon 2020 project. January 2018 - June 2021.
The TeamPlay project aims to develop new, formally-motivated, techniques that will allow execution time, energy usage, security, and other important non-functional properties of parallel software to be treated effectively, and as first- class citizens. We will build this into a toolbox for developing highly parallel software for low-energy systems, as required by the internet of things, cyber-physical systems etc.
Open-Source Software:
- Skel: Skel is a parallel programming library for Erlang that implements common parallel patterns and skeletons.
- ParaFormance: A refactoring tool suite for developing parallel applications in C and C++.
Teaching activity
Undergraduate Modules:
- CS3050 Logic and Reasoning (Autumn 2022-)
- CS4201: Programming Language Design and Implementation (Autumn 2019- )
- CS4204: Concurrency and Multi-Core Architectures (Spring 2019- )
- CS3104: Operating Systems (Autumn 2021)
Postgraduate Modules:
- CS5031: Software Engineering Practice (Spring 2023 - )
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Education/Academic qualification
Doctor of Philosophy, Tool Support for Refactoring Haskell Programs, UNIVERSITY OF KENT
Award Date: 1 Jan 2010
Keywords
- QA75 Electronic computers. Computer science
- Refactoring
- Parallel Computing
- Low-Energy Computing
- Programming Languages
- Verification
- Types
Fingerprint
Dive into the research topics where Christopher Mark Brown is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Towards specification-guarded refactoring
Barwell, A. D., Brown, C. M. & Sarkar, S., 7 Sept 2024, Logic-based program synthesis and transformation: 34th International symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings. Bowles, J. & Søndergaard, H. (eds.). Cham: Springer, p. 149–165 (Lecture notes in computer science; vol. 14919).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
The TeamPlay project: analysing and optimising time, energy, and security for cyber-physical systems
Rouxel, B., Brown, C. M., Ebeid, E., Eder, K., Falk, H., Grelck, C., Holst, J., Jadhav, S., Marquer, Y., Martinez De Alejandro, M., Nikov, K., Sahafi, A., Schultz, U., Seewald, A., Vassalos, V., Wegener, S. & Zendra, O., 2 Jun 2023, Proceedings the 2023 design, automation & test in Europe conference & exhibition (DATE 2023): 17 - 19 April 2023, Antwerp, Belgium. Piscataway, NJ: EDAA/IEEE, 6 p. 10137198. (Proceedings (Design, automation, and test in Europe conference and exhibition)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
COMPROF and COMPLACE: shared-memory communication profiling and automated thread placement via dynamic binary instrumentation
Kirkpatrick, R., Brown, C. M. & Janjic, V., 15 Nov 2022, (Accepted/In press) 2022 IEEE 29th International Conference on High-Performance Computing, Data, and Analytics (HiPC 2022). Sur, C. & Bayyapu, N. (eds.). Piscataway, NJ: Institute of Electrical and Electronics Engineers Inc., p. 236-245 10 p. (IEEE International Conference on High Performance Computing, Data, and Analytics).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Semi-automatic ladderisation: improving code security through rewriting and dependent types
Brown, C., Barwell, A. D., Marquer, Y., Zendra, O., Richmond, T. & Gu, C., 17 Jan 2022, PEPM 2022: Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation. Ariola, Z. M. & Cong, Y. (eds.). New York: ACM, 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Towards a refactoring tool for dependently-typed programs (Extended abstract)
Brown, C. M., Barwell, A., Thompson, S., Sarkar, S. & Brady, E. C., 31 Jul 2022. 8 p.Research output: Contribution to conference › Paper › peer-review
File
Datasets
-
Lapedo: Hybrid Skeletons for Programming Heterogeneous Multicore Machines in Erlang
Janjic, V. (Creator), Brown, C. M. (Contributor) & Hammond, K. (Contributor), Zenodo, 30 Sept 2015
DOI: 10.5281/zenodo.33204
Dataset
-
The Missing Link: A New Skeleton for Evolutionary Multi-Agent Systems in Erlang
Janjic, V. (Creator), Brown, C. M. (Contributor), Hammond, K. (Contributor) & Barwell, A. D. (Contributor), Zenodo, 4 Nov 2016
Dataset
-
RPL: a domain-specific language for designing and implementing parallel C++ applications
Janjic, V. (Creator), Hammond, K. (Creator) & Brown, C. M. (Creator), Zenodo, 4 Nov 2016
Dataset
-
Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores - Dataset
Hammond, K. (Creator), Brown, C. M. (Creator) & Sarkar, S. (Creator), Zenodo, 19 Jul 2016
DOI: 10.5281/zenodo.58198
Dataset
Projects
- 2 Finished
Activities
- 2 Participation in or organising a public festival/exhibition/event
-
Doors Open @ Computer Science 2024
Hoffmann, R. (Chair of organising committee), Ross, K. (Member of organising committee), Halite, A. (Participant), Mann, A. (Participant), Dearle, A. (Participant), Banks, A. (Participant), Lin, A. (Participant), Boyce, A. (Participant), Manataki, A. (Participant), Singh, A. (Participant), Huang, A. (Participant), Eccles, B. J. (Participant), Claydon, B. (Participant), Varghese, B. (Participant), Clues, C. (Participant), Naughton, C. (Participant), Brown, C. M. (Participant), Myles, C. G. G. (Participant), Kennedy, D. (Participant), Morrison, D. (Participant), Saikumar, D. (Participant), Balasubramaniam, D. (Participant), Brady, E. C. (Participant), Jenkins, E. (Participant), Spillane, E. (Participant), Leitner, F. (Participant), Haywood, G. T. (Participant), Rasheed, H. (Participant), Waller, J. (Participant), Herbert, J. (Participant), Espasa Arxer, J. (Participant), Williamson, J. (Participant), Loughney, J. (Participant), Zhang, J. (Participant), Wang, R. (Participant), Garriock, K. (Participant), Davies, K. (Participant), Clarke, L. (Participant), Laverty, L. (Participant), Andrei, M. (Participant), Young, M. (Participant), Chang, M. S. (Participant), Martin, N. (Participant), Dewally, N. (Participant), Akgun, O. (Participant), Ng, P. (Participant), Connor, R. (Participant), Letham, R. (Participant), Kirkpatrick, R. (Participant), McQuistin, S. (Participant), Yuan, V. (Participant), Tronciu, V. (Participant), Law, Y. N. (Participant) & Zhang, Y. (Participant)
11 Apr 2024Activity: Participating in or organising an event types › Participation in or organising a public festival/exhibition/event
-
Doors Open @ Computer Science 2023
Hoffmann, R. (Chair of organising committee), Ross, K. (Member of organising committee), Boyd, K. M. (Member of organising committee), Miller, A. H. D. (Participant), Miguel, A. R. (Participant), Varghese, B. (Participant), Brown, C. M. (Participant), Jefferson, C. A. (Participant), Harris-Birtill, D. C. C. (Participant), Balasubramaniam, D. (Participant), Brady, E. C. (Participant), Kirby, G. N. C. (Participant), Gent, I. P. (Participant), Jacques, J. T. (Participant), Espasa Arxer, J. (Participant), Ye, J. (Participant), Terzic, K. (Participant), Fang, L. (Participant), Nederhof, M. J. (Participant), Young, M. (Participant), Dang, N. T. T. (Participant), Konovalov, O. (Participant), Akgun, O. (Participant), Connor, R. (Participant), Dearle, A. (Participant), Filgueira, R. (Participant), Zhu, X. (Participant), Bhatti, S. (Participant), Dobson, S. A. (Participant), Mann, P. S. (Participant), Sarkar, S. (Participant), Kelsey, T. (Participant) & Spink, T. (Participant)
11 Apr 2023Activity: Participating in or organising an event types › Participation in or organising a public festival/exhibition/event