John Wickerson

According to our database1, John Wickerson authored at least 42 papers between 2010 and 2021.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Global Analysis of C Concurrency in High-Level Synthesis.
IEEE Trans. Very Large Scale Integr. Syst., 2021

Fuzzing High-Level Synthesis Tools.
Proceedings of the FPGA '21: The 2021 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, Virtual Event, USA, February 28, 2021

Probabilistic Optimization for High-Level Synthesis.
Proceedings of the FPGA '21: The 2021 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, Virtual Event, USA, February 28, 2021

2020
architect: Arbitrary-Precision Hardware With Digit Elision for Efficient Iterative Compute.
IEEE Trans. Very Large Scale Integr. Syst., 2020

Persistency semantics of the Intel-x86 architecture.
Proc. ACM Program. Lang., 2020

Slow and Steady: Measuring and Tuning Multicore Interference.
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2020

Precise Pointer Analysis in High-Level Synthesis.
Proceedings of the 30th International Conference on Field-Programmable Logic and Applications, 2020

Finding and Understanding Bugs in FPGA Synthesis Tools.
Proceedings of the FPGA '20: The 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2020

Combining Dynamic & Static Scheduling in High-level Synthesis.
Proceedings of the FPGA '20: The 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2020

Reasoning over Permissions Regions in Concurrent Separation Logic.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

Modulo Scheduling with Rational Initiation Intervals in Custom Hardware Design.
Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

2019
Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models.
Proc. ACM Program. Lang., 2019

2018
Polyhedral-Based Dynamic Loop Pipelining for High-Level Synthesis.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Scheduling Weakly Consistent C Concurrency for Reconfigurable Hardware.
IEEE Trans. Computers, 2018

The semantics of transactions and weak memory in x86, Power, ARM, and C++.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Concurrency-Aware Thread Scheduling for High-Level Synthesis.
Proceedings of the 26th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2018

Digit Elision for Arbitrary-accuracy Iterative Computation.
Proceedings of the 25th IEEE Symposium on Computer Arithmetic, 2018

2017
The Semantics of Transactions and Weak Memory in x86, Power, ARMv8, and C++.
CoRR, 2017

Automatically comparing memory consistency models.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

architect: Arbitrary-precision constant-hardware iterative compute.
Proceedings of the International Conference on Field Programmable Technology, 2017

Tile size selection for optimized memory reuse in high-level synthesis.
Proceedings of the 27th International Conference on Field Programmable Logic and Applications, 2017

Hardware Synthesis of Weakly Consistent C Concurrency.
Proceedings of the 2017 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2017

Forward Progress on GPU Concurrency (Invited Talk).
Proceedings of the 28th International Conference on Concurrency Theory, 2017

Run fast when you can: Loop pipelining with uncertain and non-uniform memory dependencies.
Proceedings of the 51st Asilomar Conference on Signals, Systems, and Computers, 2017

2016
Overhauling SC atomics in C11 and OpenCL.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Balancing Locality and Concurrency: Solving Sparse Triangular Systems on GPUs.
Proceedings of the 23rd IEEE International Conference on High Performance Computing, 2016

An efficient implementation of online arithmetic.
Proceedings of the 2016 International Conference on Field-Programmable Technology, 2016

A Case for Work-stealing on FPGAs with OpenCL Atomics.
Proceedings of the 2016 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2016

Automatically Optimizing the Latency, Area, and Accuracy of C Programs for High-Level Synthesis.
Proceedings of the 2016 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2016

Loop Splitting for Efficient Pipelining in High-Level Synthesis.
Proceedings of the 24th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2016

2015
The Design and Implementation of a Verification Technique for GPU Kernels.
ACM Trans. Program. Lang. Syst., 2015

Taming the complexities of the C11 and OpenCL memory models.
CoRR, 2015

Remote-scope promotion: clarified, rectified, and verified.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Custom-sized caches in application-specific memory hierarchies.
Proceedings of the 2015 International Conference on Field Programmable Technology, 2015

GPU Concurrency: Weak Behaviours and Programming Assumptions.
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014
Syntax and semantics of a GPU kernel programming language.
Arch. Formal Proofs, 2014

KernelInterceptor: automating GPU kernel verification by intercepting kernels and their parameters.
Proceedings of the International Workshop on OpenCL, 2014

2013
Concurrent verification for sequential programs.
PhD thesis, 2013

Ribbon Proofs.
Arch. Formal Proofs, 2013

Ribbon Proofs for Separation Logic.
Proceedings of the Programming Languages and Systems, 2013

2011
Unifying Models of Data Flow.
Proceedings of the Software and Systems Safety - Specification and Verification, 2011

2010
Explicit Stabilisation for Modular Rely-Guarantee Reasoning.
Proceedings of the Programming Languages and Systems, 2010


  Loading...