Seguir
John Wickerson
Título
Citado por
Citado por
Ano
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
1342015
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
1132017
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
942016
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
542019
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
462015
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
432019
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
392016
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
392016
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
342018
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
302015
Explicit stabilisation for modular rely-guarantee reasoning
J Wickerson, M Dodds, M Parkinson
European Symposium on Programming, 610-629, 2010
292010
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
242020
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
242017
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
222016
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
222016
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
172020
An efficient implementation of online arithmetic
Y Zhao, J Wickerson, GA Constantinides
2016 International Conference on Field-Programmable Technology (FPT), 69-76, 2016
152016
ARCHITECT: Arbitrary-precision hardware with digit elision for efficient iterative compute
H Li, JJ Davis, J Wickerson, GA Constantinides
IEEE Transactions on Very Large Scale Integration (VLSI) Systems 28 (2), 516-529, 2019
132019
Ribbon proofs for separation logic
J Wickerson, M Dodds, M Parkinson
European Symposium on Programming, 189-208, 2013
132013
Custom-sized caches in application-specific memory hierarchies
F Winterstein, K Fleming, HJ Yang, J Wickerson, G Constantinides
2015 International Conference on Field Programmable Technology (FPT), 144-151, 2015
122015
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20