Skip to content

Research at St Andrews

Discovery: Pattern Discovery and Program Shaping for Manycore Systems

Project: Standard

  1. 2021
  2. Forthcoming

    Proof-carrying refactorings: proving renaming for Haskell via dependent types

    Brown, C. M., Sarkar, S. & Barwell, A. D., 15 Jun 2021, (Accepted/In press) p. 1-10. 10 p.

    Research output: Contribution to conferenceAbstractpeer-review

  3. Published

    Restoration of legacy parallelism: transforming pthreads into farm and pipeline patterns

    Janjic, V., Brown, C. M. & Barwell, A., 11 Jun 2021, In: International Journal of Parallel Programming. First Online, 25 p.

    Research output: Contribution to journalArticlepeer-review

  4. Published

    Collaborative heterogeneity-aware OS scheduler for asymmetric multicore processors

    Yu, T., Zhong, R., Janjic, V., Petoumenos, P., Zhai, J., Leather, H. & Thomson, J. D., 1 May 2021, In: IEEE Transactions on Parallel and Distributed Systems. 32, 5, p. 1224-1237 14 p.

    Research output: Contribution to journalArticlepeer-review

  5. 2020
  6. Published

    Programming heterogeneous parallel machines using refactoring and Monte-Carlo tree search

    Brown, C. M., Janjic, V., Goli, M. & McCall, J., Aug 2020, In: International Journal of Parallel Programming. 48, 4, p. 583–602 20 p.

    Research output: Contribution to journalArticlepeer-review

  7. E-pub ahead of print

    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 journalArticlepeer-review

  8. Published

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

  9. Published

    Large-scale automatic k-means clustering for heterogeneous many-core supercomputer

    Yu, T., Zhao, W., Liu, P., Janjic, V., Yan, X., Wang, S., Fu, H., Yang, G. & Thomson, J. D., May 2020, In: IEEE Transactions on Parallel and Distributed Systems. 31, 5, p. 997-1008 12 p.

    Research output: Contribution to journalArticlepeer-review

  10. Published

    COLAB: a collaborative multi-factor scheduler for asymmetric multicore processors

    Yu, T., Petoumenos, P., Janjic, V., Leather, H. & Thomson, J. D., 22 Feb 2020, Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization (GCO 2020). Mars, J., Tang, L., Xue, J. & Wu, P. (eds.). New York: ACM, p. 268-279 (International Symposium on Code Generation and Optimization).

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

  11. Forthcoming

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

  12. 2019
  13. 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

Previous 1 2 3 Next

ID: 249470411

Top