Author Info
Name
Affiliation
Papers
JOHN WICKERSON
Imperial College London, London, United Kingdom
21
Collaborators
Citations 
PageRank 
34
142
10.08
Referers 
Referees 
References 
243
395
224
Search Limit
100395
Title
Citations
PageRank
Year
High-coverage metamorphic testing of concurrency support in C compilers00.342022
Exploiting the Correlation between Dependence Distance and Latency in Loop Pipelining for HLS10.382021
Global Analysis of C Concurrency in High-Level Synthesis00.342021
View-Based Owicki-Gries Reasoning for Persistent x86-TSO00.342021
architect: Arbitrary-Precision Hardware With Digit Elision for Efficient Iterative Compute.10.352020
Polyhedral-Based Dynamic Loop Pipelining for High-Level Synthesis.10.382018
Digit Elision for Arbitrary-accuracy Iterative Computation00.342018
Scheduling Weakly Consistent C Concurrency for Reconfigurable Hardware.00.342018
Concurrency-Aware Thread Scheduling for High-Level Synthesis00.342018
Automatically comparing memory consistency models.240.702017
Forward Progress on GPU Concurrency (Invited Talk).00.342017
architect: Arbitrary-precision constant-hardware iterative compute20.422017
Balancing Locality and Concurrency: Solving Sparse Triangular Systems on GPUs00.342016
Overhauling SC atomics in c11 and OpenCL.250.752016
An efficient implementation of online arithmetic10.362016
Loop Splitting for Efficient Pipelining in High-Level Synthesis40.472016
The Design and Implementation of a Verification Technique for GPU Kernels200.702015
Remote-scope promotion: clarified, rectified, and verified100.472015
Custom-sized caches in application-specific memory hierarchies30.392015
GPU Concurrency: Weak Behaviours and Programming Assumptions481.622015
KernelInterceptor: automating GPU kernel verification by intercepting kernels and their parameters20.372014