| GPU concurrency: Weak behaviours and programming assumptions J Alglave, M Batty, AF Donaldson, G Gopalakrishnan, J Ketema, D Poetzl, ... ACM SIGARCH Computer Architecture News 43 (1), 577-591, 2015 | 150 | 2015 |
| Automatically comparing memory consistency models J Wickerson, M Batty, T Sorensen, GA Constantinides Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 142 | 2017 |
| Exposing errors related to weak memory in GPU applications T Sorensen, AF Donaldson ACM SIGPLAN Notices 51 (6), 100-113, 2016 | 47 | 2016 |
| The semantics of transactions and weak memory in x86, Power, ARM, and C++ N Chong, T Sorensen, J Wickerson Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 42 | 2018 |
| Portable inter-workgroup barrier synchronisation for GPUs T Sorensen, AF Donaldson, M Batty, G Gopalakrishnan, Z Rakamarić Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016 | 41 | 2016 |
| Slow and steady: Measuring and tuning multicore interference D Iorga, T Sorensen, J Wickerson, AF Donaldson 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2020 | 29 | 2020 |
| Towards shared memory consistency models for GPUs T Sorensen, G Gopalakrishnan, V Grover Proceedings of the 27th international ACM conference on International …, 2013 | 23 | 2013 |
| The hitchhiker's guide to cross-platform opencl application development T Sorensen, AF Donaldson Proceedings of the 4th International Workshop on OpenCL, 1-12, 2016 | 22 | 2016 |
| MosaicSim: A lightweight, modular simulator for heterogeneous systems O Matthews, A Manocha, D Giri, M Orenes-Vera, E Tureci, T Sorensen, ... 2020 IEEE International Symposium on Performance Analysis of Systems and …, 2020 | 19 | 2020 |
| The semantics of shared memory in Intel CPU/FPGA systems D Iorga, AF Donaldson, T Sorensen, J Wickerson Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-28, 2021 | 17 | 2021 |
| Cooperative kernels: GPU multitasking for blocking algorithms T Sorensen, H Evrard, AF Donaldson Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 16 | 2017 |
| Graphattack: Optimizing data supply for graph applications on in-order multicore architectures A Manocha, T Sorensen, E Tureci, O Matthews, JL Aragón, M Martonosi ACM Transactions on Architecture and Code Optimization (TACO) 18 (4), 1-26, 2021 | 13 | 2021 |
| One size doesn't fit all: Quantifying performance portability of graph applications on GPUs T Sorensen, S Pai, AF Donaldson 2019 IEEE International Symposium on Workload Characterization (IISWC), 155-166, 2019 | 13 | 2019 |
| GPU schedulers: how fair is fair enough? T Sorensen, H Evrard, AF Donaldson 29th International Conference on Concurrency Theory (CONCUR 2018), 2018 | 10 | 2018 |
| Specifying and testing GPU workgroup progress models T Sorensen, LF Salvador, H Raval, H Evrard, J Wickerson, M Martonosi, ... Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-30, 2021 | 8 | 2021 |
| Foundations of empirical memory consistency testing J Kirkham, T Sorensen, E Tureci, M Martonosi Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020 | 8 | 2020 |
| A simulator and compiler framework for agile hardware-software co-design evaluation and exploration T Sorensen, A Manocha, E Tureci, M Orenes-Vera, JL Aragón, ... Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020 | 8 | 2020 |
| MC mutants: Evaluating and improving testing for memory consistency specifications R Levine, T Guo, M Cho, A Baker, R Levien, D Neto, A Quinn, T Sorensen Proceedings of the 28th ACM International Conference on Architectural …, 2023 | 5 | 2023 |
| GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper) R Levine, M Cho, D McKee, A Quinn, T Sorensen Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | 4 | 2023 |
| Inter-workgroup barrier synchronisation on graphics processing units T Sorensen Imperial College London, 2018 | 3 | 2018 |
Alastair DonaldsonImperial College London在 imperial.ac.uk 的电子邮件经过验证
