Skip to content

Research at St Andrews

Timing properties and correctness for structured parallel programs on x86-64 multicores

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

  1. H2020 Collaboration REPHRASE: H2020 Collaboration 2014 - RePhrase

    Hammond, K.

    European Commission

    1/04/1531/03/18

    Project: Standard

Related by author

  1. Type-driven verification of extra-functional properties

    Brown, C. M., Barwell, A. D., Marquer, Y., Minh, C. & Zendra, O., 21 Jul 2019, (Accepted/In press) 21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019). ACM

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

  2. High-level programming for heterogeneous and hierarchical parallel systems

    García-Blas, J. & Brown, C., 14 Nov 2018, In : International Journal of High Performance Computing Applications. 32, 6, p. 804-806

    Research output: Contribution to journalSpecial issue

  3. Memory consistency models using constraints

    Akgün, Ö., Hoffmann, R. & Sarkar, S., 27 Aug 2018, The Seventeenth Workshop on Constraint Modelling and Reformulation (ModRef 2018), Proceedings. 16 p.

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

ID: 248130167