Skip to content

Research at St Andrews

Adam David Barwell

Person

  1. Published

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

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

  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

Top