| 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 | 174 | 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 | 157 | 2017 |
| Exposing errors related to weak memory in GPU applications T Sorensen, AF Donaldson ACM SIGPLAN Notices 51 (6), 100-113, 2016 | 59 | 2016 |
| 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 | 50 | 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 | 48 | 2018 |
| Slow and Steady: Measuring and Tuning Multicore Interference. D Iorga, T Sorensen, J Wickerson, AF Donaldson RTAS, 200-212, 2020 | 40 | 2020 |
| 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 | 24 | 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 | 23 | 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 | 22 | 2021 |
| Towards shared memory consistency models for GPUs T Sorensen, G Gopalakrishnan, V Grover Proceedings of the 27th international ACM conference on International …, 2013 | 22 | 2013 |
| 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 | 18 | 2017 |
| LeftoverLocals: Listening to LLM responses through leaked GPU local memory T Sorensen, H Khlaaf arXiv preprint arXiv:2401.16603, 2024 | 17 | 2024 |
| 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 | 17 | 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 | 16 | 2019 |
| GPU schedulers: how fair is fair enough? T Sorensen, H Evrard, AF Donaldson 29th International Conference on Concurrency Theory (CONCUR 2018), 23: 1-23: 17, 2018 | 15 | 2018 |
| 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 | 14 | 2023 |
| 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 | 14 | 2020 |
| 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 | 13 | 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 | 13 | 2020 |
| GhOST: a GPU out-of-order scheduling technique for stall reduction I Chaturvedi, BR Godala, Y Wu, Z Xu, K Iliakis, PE Eleftherakis, S Xydis, ... 2024 ACM/IEEE 51st Annual International Symposium on Computer Architecture …, 2024 | 9 | 2024 |
Alastair DonaldsonImperial College LondonVerified email at imperial.ac.uk
