Mr Adam Barwell

Lecturer

Researcher profile

Email
adb23@st-andrews.ac.uk

 

Selected publications

  • Open access

    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

    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

    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

    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

    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

    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

    Extending the ‘Open-Closed Principle’ to automated algorithm configuration

     Swan, J., Adriænsen, S., Barwell, A. D., Hammond, K. & White, D., 4 Mar 2019, In: Evolutionary Computation. 27, 1, p. 173-193 21 p.

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

  • Open access

    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

    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

    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

 

See more publications