Skip to content

Research at St Andrews

Adam David Barwell


  1. Published

    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 proceedingConference contribution

  2. E-pub ahead of print

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

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

    Research output: Contribution to journalArticle

  3. Published

    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 journalArticle