Skip to content

Research at St Andrews

Adam David Barwell

Person

  1. 2019
  2. Published

    Type-driven verification of non-functional properties

    Brown, C. M., Barwell, A. D., Marquer, Y., Minh, C. & Zendra, O., 7 Oct 2019, 21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019). New York: ACM, 15 p. 6

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. 2017
  4. Published

    In search of a map: using program slicing to discover potential parallelism in recursive functions

    Barwell, A. D. & Hammond, K., 7 Sep 2017, Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing (FHPC 2017). New York: ACM, p. 30-41

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. 2016
  6. Published

    Towards semi-automatic data-type translation for parallelism in Erlang

    Barwell, A. D., Brown, C. M., Castro, D. & Hammond, K., 23 Sep 2016, Proceedings of the 15th International Workshop on Erlang. New York: ACM, p. 60-61

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. 2014
  8. Published

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

Top