John Wickerson

ORCID

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 62

Top Venues

FPGA

FCCM

CoRR

Proc. ACM Program. Lang.

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Vasileios Klimis, Jack Clark, Alan Baker, David Neto, John Wickerson, Alastair F. Donaldson
Taking Back Control in an Intermediate Representation for GPU Computing. Proc. ACM Program. Lang. 7 (POPL) (2023)
Jianyi Cheng, Lana Josipovic, John Wickerson, George A. Constantinides
Parallelising Control Flow in Dynamic-scheduling High-level Synthesis. ACM Trans. Reconfigurable Technol. Syst. 16 (4) (2023)
Jianyi Cheng, Estíbaliz Fraca, John Wickerson, George A. Constantinides
Balancing Static Islands in Dynamically Scheduled Circuits Using Continuous Petri Nets. IEEE Trans. Computers 72 (11) (2023)
Dan Iorga, John Wickerson, Alastair F. Donaldson
Simulating Operational Memory Models Using Off-the-Shelf Program Analysis Tools. IEEE Trans. Software Eng. 49 (12) (2023)
Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol
Intel PMDK Transactions: Specification, Validation and Concurrency (Extended Version). CoRR (2023)
Matt Windsor, Alastair F. Donaldson, John Wickerson
High-coverage metamorphic testing of concurrency support in C compilers. Softw. Test. Verification Reliab. 32 (4) (2022)
Jianyi Cheng, Lana Josipovic, George A. Constantinides, Paolo Ienne, John Wickerson
DASS: Combining Dynamic & Static Scheduling in High-Level Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (3) (2022)
Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson
View-Based Owicki-Gries Reasoning for Persistent x86-TSO. ESOP (2022)
Jianyi Cheng, Shane T. Fleming, Yu Ting Chen, Jason Helge Anderson, John Wickerson, George A. Constantinides
Efficient Memory Arbitration in High-Level Synthesis From Multi-Threaded Code. IEEE Trans. Computers 71 (4) (2022)
Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson
View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version). CoRR (2022)
Nadesh Ramanathan, George A. Constantinides, John Wickerson
A Case for Precise, Fine-Grained Pointer Synthesis in High-Level Synthesis. ACM Trans. Design Autom. Electr. Syst. 27 (4) (2022)
Jianyi Cheng, John Wickerson, George A. Constantinides
Finding and Finessing Static Islands in Dynamically Scheduled Circuits. FPGA (2022)
Jianyi Cheng, John Wickerson, George A. Constantinides
Dynamic C-Slow Pipelining for HLS. FCCM (2022)
Patrick Sittel, Nicolai Fiege, John Wickerson, Peter Zipf
Optimal and Heuristic Approaches to Modulo Scheduling With Rational Initiation Intervals in Hardware Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (3) (2022)
Jianyi Cheng, Lana Josipovic, George A. Constantinides, John Wickerson
Dynamic Inter-Block Scheduling for HLS. FPL (2022)
Michalis Pardalos, Yann Herklotz, John Wickerson
Resource Sharing for Verified High-Level Synthesis. FCCM (2022)
Jianyi Cheng, John Wickerson, George A. Constantinides
Probabilistic Scheduling in High-Level Synthesis. FCCM (2021)
Zewei Du, Yann Herklotz, Nadesh Ramanathan, John Wickerson
Fuzzing High-Level Synthesis Tools. FPGA (2021)
Matt Windsor, Alastair F. Donaldson, John Wickerson
C4: the C compiler concurrency checker. ISSTA (2021)
Yann Herklotz, Zewei Du, Nadesh Ramanathan, John Wickerson
An Empirical Study of the Reliability of High-Level Synthesis Tools. FCCM (2021)
Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson
Specifying and Testing GPU Workgroup Progress Models. CoRR (2021)
Dan Iorga, Alastair F. Donaldson, Tyler Sorensen, John Wickerson
The semantics of shared memory in Intel CPU/FPGA systems. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Jianyi Cheng, John Wickerson, George A. Constantinides
Probabilistic Optimization for High-Level Synthesis. FPGA (2021)
Andrei Lascu, Matt Windsor, Alastair F. Donaldson, Tobias Grosser, John Wickerson
Dreaming up Metamorphic Relations: Experiences from Three Fuzzer Tools. MET@ICSE (2021)
Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson
Specifying and testing GPU workgroup progress models. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Jianyi Cheng, John Wickerson, George A. Constantinides
Exploiting the Correlation between Dependence Distance and Latency in Loop Pipelining for HLS. FPL (2021)
Nadesh Ramanathan, George A. Constantinides, John Wickerson
Global Analysis of C Concurrency in High-Level Synthesis. IEEE Trans. Very Large Scale Integr. Syst. 29 (1) (2021)
Yann Herklotz, James D. Pollard, Nadesh Ramanathan, John Wickerson
Formal verification of high-level synthesis. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
James Brotherston, Diana Costa, Aquinas Hobor, John Wickerson
Reasoning over Permissions Regions in Concurrent Separation Logic. CAV (2) (2020)
Jianyi Cheng, Lana Josipovic, George A. Constantinides, Paolo Ienne, John Wickerson
Combining Dynamic & Static Scheduling in High-level Synthesis. FPGA (2020)
Azalea Raad, John Wickerson, Gil Neiger, Viktor Vafeiadis
Persistency semantics of the Intel-x86 architecture. Proc. ACM Program. Lang. 4 (POPL) (2020)
Nadesh Ramanathan, George A. Constantinides, John Wickerson
Precise Pointer Analysis in High-Level Synthesis. FPL (2020)
Yann Herklotz, John Wickerson
Finding and Understanding Bugs in FPGA Synthesis Tools. FPGA (2020)
He Li, James J. Davis, John Wickerson, George A. Constantinides
architect: Arbitrary-Precision Hardware With Digit Elision for Efficient Iterative Compute. IEEE Trans. Very Large Scale Integr. Syst. 28 (2) (2020)
Dan Iorga, Tyler Sorensen, John Wickerson, Alastair F. Donaldson
Slow and Steady: Measuring and Tuning Multicore Interference. RTAS (2020)
Patrick Sittel, John Wickerson, Martin Kumm, Peter Zipf
Modulo Scheduling with Rational Initiation Intervals in Custom Hardware Design. ASP-DAC (2020)
Nathan Chong, Tyler Sorensen, John Wickerson
The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++. USENIX Annual Technical Conference (2019)
He Li, James J. Davis, John Wickerson, George A. Constantinides
ARCHITECT: Arbitrary-precision Hardware with Digit Elision for Efficient Iterative Compute. CoRR (2019)
Azalea Raad, John Wickerson, Viktor Vafeiadis
Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
He Li, James J. Davis, John Wickerson, George A. Constantinides
Digit Elision for Arbitrary-accuracy Iterative Computation. ARITH (2018)
Nadesh Ramanathan, George A. Constantinides, John Wickerson
Concurrency-Aware Thread Scheduling for High-Level Synthesis. FCCM (2018)
Nadesh Ramanathan, John Wickerson, George A. Constantinides
Scheduling Weakly Consistent C Concurrency for Reconfigurable Hardware. IEEE Trans. Computers 67 (7) (2018)
Junyi Liu, John Wickerson, Samuel Bayliss, George A. Constantinides
Polyhedral-Based Dynamic Loop Pipelining for High-Level Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (9) (2018)
Nathan Chong, Tyler Sorensen, John Wickerson
The semantics of transactions and weak memory in x86, Power, ARM, and C++. PLDI (2018)
Junyi Liu, John Wickerson, Samuel Bayliss, George A. Constantinides
Run fast when you can: Loop pipelining with uncertain and non-uniform memory dependencies. ACSSC (2017)
Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, John Wickerson
Forward Progress on GPU Concurrency (Invited Talk). CONCUR (2017)
Nadesh Ramanathan, Shane T. Fleming, John Wickerson, George A. Constantinides
Hardware Synthesis of Weakly Consistent C Concurrency. FPGA (2017)
Junyi Liu, John Wickerson, George A. Constantinides
Tile size selection for optimized memory reuse in high-level synthesis. FPL (2017)
Nathan Chong, Tyler Sorensen, John Wickerson
The Semantics of Transactions and Weak Memory in x86, Power, ARMv8, and C++. CoRR (2017)
He Li, James J. Davis, John Wickerson, George A. Constantinides
architect: Arbitrary-precision constant-hardware iterative compute. FPT (2017)
John Wickerson, Mark Batty, Tyler Sorensen, George A. Constantinides
Automatically comparing memory consistency models. POPL (2017)
Mark Batty, Alastair F. Donaldson, John Wickerson
Overhauling SC atomics in C11 and OpenCL. POPL (2016)
Junyi Liu, John Wickerson, George A. Constantinides
Loop Splitting for Efficient Pipelining in High-Level Synthesis. FCCM (2016)
Andrea Picciau, Gordon E. Inggs, John Wickerson, Eric C. Kerrigan, George A. Constantinides
Balancing Locality and Concurrency: Solving Sparse Triangular Systems on GPUs. HiPC (2016)
Xitong Gao, John Wickerson, George A. Constantinides
Automatically Optimizing the Latency, Area, and Accuracy of C Programs for High-Level Synthesis. FPGA (2016)
Yiren Zhao, John Wickerson, George A. Constantinides
An efficient implementation of online arithmetic. FPT (2016)
Nadesh Ramanathan, John Wickerson, Felix Winterstein, George A. Constantinides
A Case for Work-stealing on FPGAs with OpenCL Atomics. FPGA (2016)
John Wickerson, Mark Batty, Bradford M. Beckmann, Alastair F. Donaldson
Remote-scope promotion: clarified, rectified, and verified. OOPSLA (2015)
Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson
The Design and Implementation of a Verification Technique for GPU Kernels. ACM Trans. Program. Lang. Syst. 37 (3) (2015)
John Wickerson, Mark Batty
Taming the complexities of the C11 and OpenCL memory models. CoRR (2015)
Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson
GPU Concurrency: Weak Behaviours and Programming Assumptions. ASPLOS (2015)
Felix Winterstein, Kermin Fleming, Hsin-Jung Yang, John Wickerson, George A. Constantinides
Custom-sized caches in application-specific memory hierarchies. FPT (2015)
Ethel Bardsley, Alastair F. Donaldson, John Wickerson
KernelInterceptor: automating GPU kernel verification by intercepting kernels and their parameters. IWOCL (2014)
John Wickerson
Syntax and semantics of a GPU kernel programming language. Arch. Formal Proofs 2014 (2014)
John Wickerson, Mike Dodds, Matthew J. Parkinson
Ribbon Proofs for Separation Logic. ESOP (2013)
John Wickerson
Ribbon Proofs. Arch. Formal Proofs 2013 (2013)
John Wickerson, Mike Dodds, Matthew J. Parkinson
Explicit Stabilisation for Modular Rely-Guarantee Reasoning. ESOP (2010)

John Wickerson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

John Wickerson