Christopher Mark Brown

View Scopus Profile

Christopher Mark Brown

Dr

 https://orcid.org/0000-0001-6030-2885

  • KY16 9SS

    United Kingdom

Accepting Postgraduate Research Students

PhD projects

Programming languages; refactoring; semantics; programming transformation; energy analysis; parallel programming; heterogeneous computing

Filter
Conference contribution

Search results

  • 2024

    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 Access
    File
  • 2023

    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 Access
    File
    1 Citation (Scopus)
    14 Downloads (Pure)
  • 2022

    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 Access
    File
    27 Downloads (Pure)

  • 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 Access
    File
    2 Citations (Scopus)
    13 Downloads (Pure)
  • 2021

    Proving renaming for Haskell via dependent types: a case-study in refactoring soundness

    Barwell, A. D., Brown, C. M. & Sarkar, S., 18 Jul 2021, 8th International workshop on rewriting techniques for program transformations and evaluation (WPTE 2021). 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    10 Downloads (Pure)
  • 2020

    A hybrid approach to parallel pattern discovery in C++

    Brown, C. M., Janjic, V., Barwell, A. D., Thomson, J. D., Castañeda Lozano, R., Cole, M., Franke, B., Garcia-Sanchez, J. D., Del Rio Astorga, D. & MacKenzie, K., 14 May 2020, 2020 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP). IEEE Computer Society, 5 p. 9092377. (Proceedings - Euromicro Workshop on Parallel and Distributed Processing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    2 Citations (Scopus)
    18 Downloads (Pure)

  • A trustworthy framework for resource-aware embedded programming

    Barwell, A. D. & Brown, C. M., 11 Feb 2020, (Accepted/In press) Proceedings of International Symposium on Implementation and Application of Functional Languages (IFL'19). Stutterheim, J. & Chin, W. N. (eds.). ACM

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    25 Citations (Scopus)
    10 Downloads (Pure)
  • 2019

    Reasoning about non-functional properties using compiler intrinsic function annotations

    Jadhav, S., Roth, M., Falk, H., Brown, C. M. & Barwell, A. D., 6 Nov 2019, Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing. INP ENSEEIHT/IRIT, p. 25-28 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    19 Downloads (Pure)

  • Type-driven verification of non-functional properties

    Brown, C. M., Barwell, A. D., Marquer, Y., Minh, C. & Zendra, O., 7 Oct 2019, Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019 (PPDP '19). New York: ACM, p. 1-15 15 p. 6

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    1 Citation (Scopus)
    6 Downloads (Pure)
  • 2016

    Lapedo: hybrid skeletons for programming heterogeneous multicore machines in Erlang

    Janjic, V., Brown, C. M. & Hammond, K., Apr 2016, Parallel Computing: On the Road to Exascale. Joubert, G. R., Leather, H., Parsons, M., Peters, F. & Sawyer, M. (eds.). IOS Press, p. 185-195 (Advances in Parallel Computing; vol. 27).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    6 Citations (Scopus)
    5 Downloads (Pure)

  • RPL: a domain-specific language for designing and implementing parallel C++ applications

    Janjic, V., Brown, C. M., MacKenzie, K. W., Hammond, K., Danelutto, M., Aldinucci, M. & Garcia, D. J., 4 Apr 2016, 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP). Cotronis, Y., Daneshtalab, M. & Papadopoulos, G. A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 288-295 7445342. (Euromicro Workshop on Parallel and Distributed Processing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    19 Citations (Scopus)

  • Timing properties and correctness for structured parallel programs on x86-64 multicores

    Hammond, K., Brown, C. M. & Sarkar, S., 2016, Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers. van Eekelen, M. & Dal Lago, U. (eds.). Springer, p. 101-125 26 p. (Lecture Notes in Computer Science; vol. 9964).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    1 Citation (Scopus)
    5 Downloads (Pure)

  • Towards semi-automatic data-type translation for parallelism in Erlang

    Barwell, A. D., Brown, C. M., Castro, D. & Hammond, K., 23 Sept 2016, Proceedings of the 15th International Workshop on Erlang. New York: ACM, p. 60-61

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    3 Citations (Scopus)
    5 Downloads (Pure)
  • 2014

    Discovering parallel pattern candidates in Erlang

    Bozo, I., Fordos, V., Horvath, Z., Toth, M., Horpacsi, D., Kozsik, T., Koszegi, J., Barwell, A. D., Brown, C. M. & Hammond, K., 3 Sept 2014, Erlang '14 Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang. New York, NY: ACM, p. 13-23 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    21 Citations (Scopus)
  • 2013

    Cost-directed refactoring for parallel Erlang programs

    Brown, C. M., Danelutto, M., Hammond, K., Kilpatrick, P. & Elliot, A., Jun 2013, Proc. International Symposium on High-level Parallel Programming and Applications. Springer, 17 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    26 Citations (Scopus)

  • Mapping parallel programs to heterogeneous CPU/GPU architectures using a Monte Carlo Tree Search

    Goli, M., McCall, J., Brown, C. M., Janjic, V. & Hammond, K., 20 Jun 2013, 2013 IEEE Congress on Evolutionary Computation, CEC 2013. IEEE, p. 2932-2939 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    3 Citations (Scopus)
    6 Downloads (Pure)

  • Paraphrasing: generating parallel programs using refactoring

    Brown, C. M., Hammond, K., Danelutto, M., Kilpatrick, P., Schöner, H. & Breddin, T., 2013, Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers. Beckert, B., Damiani, F., de Boer, F. S. & Bonsangue, M. M. (eds.). Berlin, Heidelberg: Springer, p. 237-256 12 p. (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 7542).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    12 Citations (Scopus)
    9 Downloads (Pure)

  • Space exploration using parallel orbits: a study in parallel symbolic computing

    Janjic, V., Brown, C. M., Neunhoeffer, M., Hammond, K., Linton, S. A. & Loidl, H.-W., Sept 2013, Parallel Computing: Accelerating Computational Science and Engineering (CSE). Bader, M., Bode, A., Bungartz, H.-J., Gerndt, M., Joubert, G. R. & Peters, F. (eds.). IOS Press, Vol. 25. p. 225-232 8 p. (Advances in Parallel Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    2 Citations (Scopus)
    4 Downloads (Pure)

  • The ParaPhrase project: parallel patterns for adaptive heterogeneous multicore systems

    Hammond, K., Aldinucci, M., Brown, C. M., Cesarini, F., Danelutto, M., González-Vélez, H., Kilpatrick, P., Keller, R., Rossbory, M. & Shainer, G., 2013, Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers. Beckert, B., Damiani, F., de Boer, F. S. & Bonsangue, M. M. (eds.). Berlin, Heidelberg: Springer, p. 218-236 19 p. (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 7542).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    34 Citations (Scopus)
    10 Downloads (Pure)
  • 2012

    A language-independent parallel refactoring framework

    Brown, C. M., Hammond, K., Danelutto, M. & Kilpatrick, P., 1 Jun 2012, Proceedings of the Fifth Workshop on Refactoring Tools (WRT '12). New York: ACM, p. 54-58 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
    11 Citations (Scopus)
    6 Downloads (Pure)
  • 2010

    An Expression Processor: a Case Study in Refactoring Haskell Programs

    Brown, C. M., Li, H. & Thompson, S., May 2010, 11th Symposium on Trends in Functional Programming. 19 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution