| 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 |
| Overhauling SC atomics in C11 and OpenCL M Batty, AF Donaldson, J Wickerson Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016 | 105 | 2016 |
| Persistency semantics of the Intel-x86 architecture A Raad, J Wickerson, G Neiger, V Vafeiadis Proceedings of the ACM on Programming Languages 4 (POPL), 1-31, 2019 | 84 | 2019 |
| Weak persistency semantics from the ground up: Formalising the persistency semantics of ARMv8 and transactional models A Raad, J Wickerson, V Vafeiadis Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-27, 2019 | 63 | 2019 |
| Combining dynamic & static scheduling in high-level synthesis J Cheng, L Josipovic, GA Constantinides, P Ienne, J Wickerson Proceedings of the 2020 ACM/SIGDA International Symposium on Field …, 2020 | 56 | 2020 |
| The design and implementation of a verification technique for GPU kernels A Betts, N Chong, AF Donaldson, J Ketema, S Qadeer, P Thomson, ... ACM Transactions on Programming Languages and Systems (TOPLAS) 37 (3), 1-49, 2015 | 54 | 2015 |
| Loop splitting for efficient pipelining in high-level synthesis J Liu, J Wickerson, GA Constantinides 2016 IEEE 24th Annual International Symposium on Field-Programmable Custom …, 2016 | 53 | 2016 |
| A case for work-stealing on FPGAs with OpenCL atomics N Ramanathan, J Wickerson, F Winterstein, GA Constantinides Proceedings of the 2016 ACM/SIGDA International Symposium on Field …, 2016 | 44 | 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 |
| Polyhedral-based dynamic loop pipelining for high-level synthesis J Liu, J Wickerson, S Bayliss, GA Constantinides IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2017 | 36 | 2017 |
| Explicit stabilisation for modular rely-guarantee reasoning J Wickerson, M Dodds, M Parkinson European Symposium on Programming, 610-629, 2010 | 33 | 2010 |
| Formal verification of high-level synthesis Y Herklotz, JD Pollard, N Ramanathan, J Wickerson Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-30, 2021 | 32 | 2021 |
| Balancing locality and concurrency: Solving sparse triangular systems on GPUs A Picciau, GE Inggs, J Wickerson, EC Kerrigan, GA Constantinides 2016 IEEE 23rd International Conference on High Performance Computing (HiPC …, 2016 | 32 | 2016 |
| Remote-scope promotion: clarified, rectified, and verified J Wickerson, M Batty, BM Beckmann, AF Donaldson Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015 | 32 | 2015 |
| 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 |
| View-based Owicki–Gries reasoning for persistent x86-TSO EV Bila, B Dongol, O Lahav, A Raad, J Wickerson European Symposium on Programming, 234-261, 2022 | 25 | 2022 |
| Finding and understanding bugs in FPGA synthesis tools Y Herklotz, J Wickerson Proceedings of the 2020 ACM/SIGDA International Symposium on Field …, 2020 | 24 | 2020 |
| Automatically optimizing the latency, area, and accuracy of c programs for high-level synthesis X Gao, J Wickerson, GA Constantinides Proceedings of the 2016 ACM/SIGDA International Symposium on Field …, 2016 | 24 | 2016 |
| An empirical study of the reliability of high-level synthesis tools Y Herklotz, Z Du, N Ramanathan, J Wickerson 2021 IEEE 29th Annual International Symposium on Field-Programmable Custom …, 2021 | 21 | 2021 |
George ConstantinidesImperial College LondonVerificeret mail på ic.ac.uk
