Christopher Mark Brown

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

  • Refactoring 100%
  • Renaming 16%
  • Formal Specification 16%
  • Source Codes 16%
• 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

  • Cyber Physical Systems 100%
  • Security Properties 100%
  • Embedded Application 50%
  • Nonfunctional Property 50%
  • Research Project 50%
  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

  • Binary Instrumentation 100%
  • Shared Memories 100%
  • Recompilation 100%
  • Memory System 50%
  • Execution Time 50%
  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

  • Cyber Attack 100%
  • C Program 33%
  • Secret Information 33%
  • Side Channel Attack 33%
  • Security Properties 33%
  2 Citations (Scopus)

  13 Downloads (Pure)

• 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

  • Refactoring 100%
  • Functional Program 50%
  32 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, 8^th 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

  • Renaming 100%
  • Case Study 100%
  • Refactoring 100%
  • Soundness 100%
  • Formal Definition 16%
  10 Downloads (Pure)

• Restoration of legacy parallelism: transforming pthreads into farm and pipeline patterns

  Janjic, V., Brown, C. M. & Barwell, A., 11 Jun 2021, In: International Journal of Parallel Programming. First Online, 25 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Parallel Program 100%
  • Parallel Pattern 100%
  • Parallelism 100%
  • Pipeline Pattern 100%
  • Concurrency 100%
  63 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

  • Hybrid Approach 100%
  2 Citations (Scopus)

  17 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

  • Abstract Interpretation 100%
  • Specification Language 50%
  • Nonfunctional Property 50%
  • Formal Definition 25%
  • Embedded Device 25%
  25 Citations (Scopus)

  10 Downloads (Pure)

• Programming heterogeneous parallel machines using refactoring and Monte-Carlo tree search

  Brown, C. M., Janjic, V., Goli, M. & McCall, J., Aug 2020, In: International Journal of Parallel Programming. 48, 4, p. 583–602 20 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Parallel Machine 100%
  • Refactoring 100%
  • Tree Search 100%
  • Sequential Code 50%
  • Case Study 50%
  10 Downloads (Pure)

• Refactoring GrPPI: generic refactoring for generic parallelism in C++

  Brown, C. M., Janjic, V., Barwell, A. D., Garcia, J. D. & MacKenzie, K., 10 Jul 2020, (E-pub ahead of print) In: International Journal of Parallel Programming. First Online, 23 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Parallel Pattern 100%
  • Parallelism 100%
  • Refactoring 100%
  • Generic Interface 100%
  • Parallel Version 33%
  4 Citations (Scopus)

  8 Downloads (Pure)

• Restoration of legacy parallelism in C and C++ applications

  Brown, C. M., Barwell, A. D. & Janjic, V., 1 Jul 2020, (Accepted/In press).

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File

  • Parallelism 100%
  • Parallel Program 66%
  • Parallel Pattern 66%
  • Concurrency 66%
  • Programming Paradigm 33%
  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

  • Compiler Intrinsics 100%
  • Nonfunctional Property 100%
  • Annotation 100%
  • Intrinsic Function 100%
  • Source Codes 66%
  19 Downloads (Pure)

• Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang

  Janjic, V., Brown, C., Barwell, A. & Hammond, K., 24 Jun 2019, (E-pub ahead of print) In: Concurrency and Computation : Practice and Experience. Early View, p. 1-25 25 p., e5420.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Parallelism 100%
  • Refactoring 100%
  • Multicore 100%
  • Sequential Code 20%
  • Parallel Version 20%
  10 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

  • Nonfunctional Property 100%
  • Security Properties 100%
  • Driven Verification 100%
  • Type Systems 33%
  • Specification Language 33%
  1 Citation (Scopus)

  6 Downloads (Pure)
• 2018

  Finding parallel functional pearls: automatic parallel recursion scheme detection in Haskell functions via anti-unification

  Barwell, A. D., Brown, C. & Hammond, K., Feb 2018, In: Future Generation Computer Systems. 79, Part 2, p. 669-686

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Order Function 100%
  • Parallel Implementation 100%
  • Parallelism 50%
  • Benchmarking 50%
  • Refactoring 50%
  15 Citations (Scopus)

  29 Downloads (Pure)

• Guest editorial: High-level programming for heterogeneous parallel systems

  Brown, C. M., 18 May 2018, (E-pub ahead of print) In: International Journal of Parallel Programming. First Online

  Research output: Contribution to journal › Editorial › peer-review

  Open Access

  File
  1 Citation (Scopus)

  15 Downloads (Pure)

• High-level programming for heterogeneous and hierarchical parallel systems

  García-Blas, J. & Brown, C., 14 Nov 2018, In: International Journal of High Performance Computing Applications. 32, 6, p. 804-806

  Research output: Contribution to journal › Special issue › peer-review

  Open Access

  File

  • Parallel System 100%
  • Performance Model 50%
  • Timing Analysis 50%
  • Parallel Pattern 50%
  • Heterogeneous Computation 50%
  6 Downloads (Pure)

• The Missing Link! A new skeleton for evolutionary multi-agent systems in Erlang

  Stypka, J., Turek, W., Byrski, A., Kisiel-Dorohinicki, M., Barwell, A. D., Brown, C. M., Hammond, K. & Janjic, V., Feb 2018, In: International Journal of Parallel Programming. 46, 1, p. 4-22 19 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Multi Agent Systems 100%
  • Artificial Intelligence Applications 33%
  • Traffic Optimization 33%
  • Parallel Implementation 33%
  • Evolutionary Computation 33%
  6 Citations (Scopus)

  4 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

  • Multicore 100%
  • Load Balancing 50%
  • Many-Core 50%
  • Use Case 50%
  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

  • Refactoring Pattern 100%
  • Domain-Specific Language 100%
  • Pattern Languages 100%
  • Functional Property 40%
  • Refactoring 40%
  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

  • Parallel Program 100%
  • Multicore 100%
  • Locking Protocol 25%
  • Parallel Pattern 25%
  • Concurrency 25%
  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

  • Parallelism 100%
  • Data Type 100%
  • Data Structure 100%
  • Parallelization 75%
  • Binary Structure 50%
  3 Citations (Scopus)

  5 Downloads (Pure)

• Using “program shaping” and algorithmic skeletons to parallelise an evolutionary multi-agent system in Erlang

  Barwell, A. D., Brown, C. M., Hammond, K., Turek, W. & Byrski, A., 2016, In: Computing and Informatics. 35, 4, 37 p.

  Research output: Contribution to journal › Article › peer-review

  • Parallelism 100%
  • Multi Agent Systems 100%
  • Linear Speedup 33%
  • Shared Memories 33%
  • Speed-up 33%
  9 Citations (Scopus)
• 2015

  High-level heterogeneous and hierarchical parallel systems (HLPGPU 2014)

  Brown, C. M., 28 Oct 2015, In: International Journal of Parallel Programming. 43, 5, p. 892-893 2 p.

  Research output: Contribution to journal › Editorial › peer-review
• 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

  • Parallel Pattern 100%
  • Refactoring 100%
  • Program Transformation 50%
  • Source Codes 50%
  • Hardware Resource 50%
  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

  • Refactoring 100%
  • Sequential Code 50%
  • Parallel Program 50%
  • Informed Decision 50%
  • Parallelism 50%
  26 Citations (Scopus)

• Easy Composition of Symbolic Computation Software using SCSCP: A New Lingua Franca for Symbolic Computation

  Linton, S. A., Hammond, K., Konovalov, A., Brown, C. M., Trinder, P. W., Loidl, H.-W., Horn, P. & Roozemond, D., Feb 2013, In: Journal of Symbolic Computation. 49, p. 95-119 15 p.

  Research output: Contribution to journal › Article › peer-review

  • Lingua Franca 100%
  • Symbolic Computation 100%
  • Computer Algebra System 30%
  • Parallel Computation 10%
  • Research Project 10%
  8 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

  • Expert Knowledge 100%
  • Heterogeneous System 100%
  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

  • Parallel Program 100%
  • Refactoring 100%
  • Sequential Program 20%
  • Parallel Implementation 20%
  • Rewrite Rule 20%
  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

  • Shared Memories 100%
  • Parallel Implementation 50%
  • Computer Algebra System 50%
  • Parallel System 50%
  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

  • Parallel Pattern 100%
  • Parallelism 100%
  • Refactoring 100%
  • Multicore System 100%
  • Design Patterns 66%
  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

  • Programmability 100%
  11 Citations (Scopus)

  6 Downloads (Pure)
• 2011

  Improving your CASH flow: The Computer Algebra SHell

  Brown, C. M., Loidl, H.-W., Berthold, J. & Hammond, K., 2011. 16 p.

  Research output: Contribution to conference › Paper › peer-review

  • Reverse Direction 100%

• Paraforming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques

  Brown, C. M., Hammond, K. & Loidl, H.-W., 1 Oct 2011. 16 p.

  Research output: Contribution to conference › Paper › peer-review

  • Refactoring 100%
  • Data Parallelism 25%
  • Functional Program 25%
  • Multicore 25%
• 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

• Clone Detection and Elimination for Haskell

  Brown, C. M. & Thompson, S., 1 Jan 2010, p. 111-120.

  Research output: Contribution to conference › Paper › peer-review

  25 Citations (Scopus)

• Ever Decreasing Circles: a Skeleton for Parallel Orbit Calculations in Eden

  Brown, C. M. & Hammond, K., May 2010.

  Research output: Contribution to conference › Paper