Remote-scope promotion: clarified, rectified, and verified
- Submitting institution
-
The University of Kent
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 9686
- Type
- E - Conference contribution
- DOI
-
10.1145/2814270.2814283
- Title of conference / published proceedings
- Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015
- First page
- 731
- Volume
- -
- Issue
- -
- ISSN
- 0362-1340
- Open access status
- Out of scope for open access requirements
- Month of publication
- October
- Year of publication
- 2015
- URL
-
https://kar.kent.ac.uk/51384/
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
3
- Research group(s)
-
-
- Citation count
- 3
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- In this paper, we apply weak-memory techniques and tools to a nascent AMD processor design. This paper is significant because it is the first to apply a top-down programming-oriented view of GPU concurrency semantics in order to expose design flaws at an early stage, when changes are still relatively cheap to implement. The bugs that were revealed lead to AMD amending their processor design.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
