default search action
John Wickerson
Person information
- affiliation: Imperial College London, Department of Electrical and Electronic Engineering, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j23]Luke Geeson, James Brotherston, Wilco Dijkstra, Alastair F. Donaldson, Lee Smith, Tyler Sorensen, John Wickerson:
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations. Proc. ACM Program. Lang. 8(OOPSLA2): 442-467 (2024) - [j22]Yann Herklotz, John Wickerson:
Hyperblock Scheduling for Verified High-Level Synthesis. Proc. ACM Program. Lang. 8(PLDI): 1929-1953 (2024) - [c45]Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol:
Intel PMDK Transactions: Specification, Validation and Concurrency. ESOP (2) 2024: 150-179 - [c44]Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol:
Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency. ESOP (2) 2024: 180-184 - [c43]Jack Clark, Alastair F. Donaldson, John Wickerson, Manuel Rigger:
Validating Database System Isolation Level Implementations with Version Certificate Recovery. EuroSys 2024: 754-768 - [c42]Quentin Corradi, John Wickerson, George A. Constantinides:
Automated Feature Testing of Verilog Parsers using Fuzzing (Registered Report). FUZZING 2024: 70-79 - [c41]Vasileios Klimis, Alastair F. Donaldson, Viktor Vafeiadis, John Wickerson, Azalea Raad:
Challenges in Empirically Testing Memory Persistency Models. NIER@ICSE 2024: 82-86 - [i9]Vasileios Klimis, Alastair F. Donaldson, Viktor Vafeiadis, John Wickerson, Azalea Raad:
Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour. CoRR abs/2405.18575 (2024) - [i8]Luke Geeson, James Brotherston, Wilco Dijkstra, Alastair F. Donaldson, Lee Smith, Tyler Sorensen, John Wickerson:
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations. CoRR abs/2409.01161 (2024) - [i7]Chengsong Tan, Alastair F. Donaldson, John Wickerson:
Formalising CXL Cache Coherence. CoRR abs/2410.15908 (2024) - 2023
- [j21]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): 1740-1769 (2023) - [j20]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): 3300-3313 (2023) - [j19]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): 55:1-55:32 (2023) - [j18]Dan Iorga, John Wickerson, Alastair F. Donaldson:
Simulating Operational Memory Models Using Off-the-Shelf Program Analysis Tools. IEEE Trans. Software Eng. 49(12): 5084-5102 (2023) - [i6]Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol:
Intel PMDK Transactions: Specification, Validation and Concurrency (Extended Version). CoRR abs/2312.13828 (2023) - 2022
- [j17]Matt Windsor, Alastair F. Donaldson, John Wickerson:
High-coverage metamorphic testing of concurrency support in C compilers. Softw. Test. Verification Reliab. 32(4) (2022) - [j16]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): 933-946 (2022) - [j15]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): 614-627 (2022) - [j14]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): 628-641 (2022) - [j13]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): 30:1-30:26 (2022) - [c40]Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson:
View-Based Owicki-Gries Reasoning for Persistent x86-TSO. ESOP 2022: 234-261 - [c39]Jianyi Cheng, John Wickerson, George A. Constantinides:
Dynamic C-Slow Pipelining for HLS. FCCM 2022: 1-10 - [c38]Michalis Pardalos, Yann Herklotz, John Wickerson:
Resource Sharing for Verified High-Level Synthesis. FCCM 2022: 1-6 - [c37]Jianyi Cheng, John Wickerson, George A. Constantinides:
Finding and Finessing Static Islands in Dynamically Scheduled Circuits. FPGA 2022: 89-100 - [c36]Jianyi Cheng, Lana Josipovic, George A. Constantinides, John Wickerson:
Dynamic Inter-Block Scheduling for HLS. FPL 2022: 243-252 - [i5]Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson:
View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version). CoRR abs/2201.05860 (2022) - 2021
- [j12]Yann Herklotz, James D. Pollard, Nadesh Ramanathan, John Wickerson:
Formal verification of high-level synthesis. Proc. ACM Program. Lang. 5(OOPSLA): 1-30 (2021) - [j11]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): 1-28 (2021) - [j10]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): 1-30 (2021) - [j9]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): 24-37 (2021) - [c35]Jianyi Cheng, John Wickerson, George A. Constantinides:
Probabilistic Scheduling in High-Level Synthesis. FCCM 2021: 195-203 - [c34]Yann Herklotz, Zewei Du, Nadesh Ramanathan, John Wickerson:
An Empirical Study of the Reliability of High-Level Synthesis Tools. FCCM 2021: 219-223 - [c33]Jianyi Cheng, John Wickerson, George A. Constantinides:
Probabilistic Optimization for High-Level Synthesis. FPGA 2021: 145 - [c32]Zewei Du, Yann Herklotz, Nadesh Ramanathan, John Wickerson:
Fuzzing High-Level Synthesis Tools. FPGA 2021: 148 - [c31]Jianyi Cheng, John Wickerson, George A. Constantinides:
Exploiting the Correlation between Dependence Distance and Latency in Loop Pipelining for HLS. FPL 2021: 341-346 - [c30]Andrei Lascu, Matt Windsor, Alastair F. Donaldson, Tobias Grosser, John Wickerson:
Dreaming up Metamorphic Relations: Experiences from Three Fuzzer Tools. MET@ICSE 2021: 61-68 - [c29]Matt Windsor, Alastair F. Donaldson, John Wickerson:
C4: the C compiler concurrency checker. ISSTA 2021: 670-673 - [i4]Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson:
Specifying and Testing GPU Workgroup Progress Models. CoRR abs/2109.06132 (2021) - 2020
- [j8]Azalea Raad, John Wickerson, Gil Neiger, Viktor Vafeiadis:
Persistency semantics of the Intel-x86 architecture. Proc. ACM Program. Lang. 4(POPL): 11:1-11:31 (2020) - [j7]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): 516-529 (2020) - [c28]Patrick Sittel, John Wickerson, Martin Kumm, Peter Zipf:
Modulo Scheduling with Rational Initiation Intervals in Custom Hardware Design. ASP-DAC 2020: 568-573 - [c27]James Brotherston, Diana Costa, Aquinas Hobor, John Wickerson:
Reasoning over Permissions Regions in Concurrent Separation Logic. CAV (2) 2020: 203-224 - [c26]Yann Herklotz, John Wickerson:
Finding and Understanding Bugs in FPGA Synthesis Tools. FPGA 2020: 277-287 - [c25]Jianyi Cheng, Lana Josipovic, George A. Constantinides, Paolo Ienne, John Wickerson:
Combining Dynamic & Static Scheduling in High-level Synthesis. FPGA 2020: 288-298 - [c24]Nadesh Ramanathan, George A. Constantinides, John Wickerson:
Precise Pointer Analysis in High-Level Synthesis. FPL 2020: 220-224 - [c23]Dan Iorga, Tyler Sorensen, John Wickerson, Alastair F. Donaldson:
Slow and Steady: Measuring and Tuning Multicore Interference. RTAS 2020: 200-212
2010 – 2019
- 2019
- [j6]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): 135:1-135:27 (2019) - [c22]Nathan Chong, Tyler Sorensen, John Wickerson:
The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++. USENIX ATC 2019 - [i3]He Li, James J. Davis, John Wickerson, George A. Constantinides:
ARCHITECT: Arbitrary-precision Hardware with Digit Elision for Efficient Iterative Compute. CoRR abs/1910.00271 (2019) - 2018
- [j5]Nadesh Ramanathan, John Wickerson, George A. Constantinides:
Scheduling Weakly Consistent C Concurrency for Reconfigurable Hardware. IEEE Trans. Computers 67(7): 992-1006 (2018) - [j4]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): 1802-1815 (2018) - [c21]He Li, James J. Davis, John Wickerson, George A. Constantinides:
Digit Elision for Arbitrary-accuracy Iterative Computation. ARITH 2018: 107-114 - [c20]Nadesh Ramanathan, George A. Constantinides, John Wickerson:
Concurrency-Aware Thread Scheduling for High-Level Synthesis. FCCM 2018: 101-108 - [c19]Nathan Chong, Tyler Sorensen, John Wickerson:
The semantics of transactions and weak memory in x86, Power, ARM, and C++. PLDI 2018: 211-225 - 2017
- [c18]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: 126-130 - [c17]Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, John Wickerson:
Forward Progress on GPU Concurrency (Invited Talk). CONCUR 2017: 1:1-1:13 - [c16]Nadesh Ramanathan, Shane T. Fleming, John Wickerson, George A. Constantinides:
Hardware Synthesis of Weakly Consistent C Concurrency. FPGA 2017: 169-178 - [c15]Junyi Liu, John Wickerson, George A. Constantinides:
Tile size selection for optimized memory reuse in high-level synthesis. FPL 2017: 1-8 - [c14]He Li, James J. Davis, John Wickerson, George A. Constantinides:
architect: Arbitrary-precision constant-hardware iterative compute. FPT 2017: 73-79 - [c13]John Wickerson, Mark Batty, Tyler Sorensen, George A. Constantinides:
Automatically comparing memory consistency models. POPL 2017: 190-204 - [i2]Nathan Chong, Tyler Sorensen, John Wickerson:
The Semantics of Transactions and Weak Memory in x86, Power, ARMv8, and C++. CoRR abs/1710.04839 (2017) - 2016
- [c12]Junyi Liu, John Wickerson, George A. Constantinides:
Loop Splitting for Efficient Pipelining in High-Level Synthesis. FCCM 2016: 72-79 - [c11]Nadesh Ramanathan, John Wickerson, Felix Winterstein, George A. Constantinides:
A Case for Work-stealing on FPGAs with OpenCL Atomics. FPGA 2016: 48-53 - [c10]Xitong Gao, John Wickerson, George A. Constantinides:
Automatically Optimizing the Latency, Area, and Accuracy of C Programs for High-Level Synthesis. FPGA 2016: 234-243 - [c9]Yiren Zhao, John Wickerson, George A. Constantinides:
An efficient implementation of online arithmetic. FPT 2016: 69-76 - [c8]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: 183-192 - [c7]Mark Batty, Alastair F. Donaldson, John Wickerson:
Overhauling SC atomics in C11 and OpenCL. POPL 2016: 634-648 - 2015
- [j3]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): 10:1-10:49 (2015) - [c6]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: 577-591 - [c5]Felix Winterstein, Kermin Fleming, Hsin-Jung Yang, John Wickerson, George A. Constantinides:
Custom-sized caches in application-specific memory hierarchies. FPT 2015: 144-151 - [c4]John Wickerson, Mark Batty, Bradford M. Beckmann, Alastair F. Donaldson:
Remote-scope promotion: clarified, rectified, and verified. OOPSLA 2015: 731-747 - [i1]John Wickerson, Mark Batty:
Taming the complexities of the C11 and OpenCL memory models. CoRR abs/1503.07073 (2015) - 2014
- [j2]John Wickerson:
Syntax and semantics of a GPU kernel programming language. Arch. Formal Proofs 2014 (2014) - [c3]Ethel Bardsley, Alastair F. Donaldson, John Wickerson:
KernelInterceptor: automating GPU kernel verification by intercepting kernels and their parameters. IWOCL 2014: 7:1-7:5 - 2013
- [b1]John Wickerson:
Concurrent verification for sequential programs. University of Cambridge, UK, 2013 - [j1]John Wickerson:
Ribbon Proofs. Arch. Formal Proofs 2013 (2013) - [c2]John Wickerson, Mike Dodds, Matthew J. Parkinson:
Ribbon Proofs for Separation Logic. ESOP 2013: 189-208 - 2011
- [p1]Tony Hoare, John Wickerson:
Unifying Models of Data Flow. Software and Systems Safety - Specification and Verification 2011: 211-230 - 2010
- [c1]John Wickerson, Mike Dodds, Matthew J. Parkinson:
Explicit Stabilisation for Modular Rely-Guarantee Reasoning. ESOP 2010: 610-629
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 21:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint