Skip to content

Research at St Andrews

Adam David Barwell


  1. 2019
  2. 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

  3. 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