John Wickerson
Imperial College London
H-index: 18
Europe-United Kingdom
Top articles of John Wickerson
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Intel PMDK Transactions: Specification, Validation and Concurrency | arXiv preprint arXiv:2312.13828 | Azalea Raad Ori Lahav John Wickerson Piotr Balcer Brijesh Dongol | 2023/12/21 |
Hyperblock Scheduling for Verified High-Level Synthesis | YANN HERKLOTZ JOHN WICKERSON | 2024 | |
Challenges in Empirically Testing Memory Persistency Models | Vasileios Klimis Alastair F Donaldson Viktor Vafeiadis John Wickerson Azalea Raad | 2024 | |
Validating Database System Isolation Level Implementations with Version Certificate Recovery | Jack Clark Alastair F Donaldson John Wickerson Manuel Rigger | 2024/4/22 | |
Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency | Azalea Raad Ori Lahav John Wickerson Piotr Balcer Brijesh Dongol | 2024/4/5 | |
Balancing static islands in dynamically scheduled circuits using continuous petri nets | IEEE Transactions on Computers | Jianyi Cheng Estibaliz Fraca John Wickerson George A Constantinides | 2023/7/13 |
Taking back control in an intermediate representation for gpu computing | Proceedings of the ACM on Programming Languages | Vasileios Klimis Jack Clark Alan Baker David Neto John Wickerson | 2023/1/9 |
Simulating Operational Memory Models Using Off-the-Shelf Program Analysis Tools | IEEE Transactions on Software Engineering | Dan Iorga John Wickerson Alastair F Donaldson | 2023/10/24 |
Parallelising Control Flow in Dynamic-scheduling High-level Synthesis | ACM Transactions on Reconfigurable Technology and Systems | Jianyi Cheng Lana Josipović John Wickerson George A Constantinides | 2023 |
View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version) | arXiv preprint arXiv:2201.05860 | Eleni Vafeiadi Bila Brijesh Dongol Ori Lahav Azalea Raad John Wickerson | 2022/1/15 |
Dynamic C-slow pipelining for HLS | Jianyi Cheng John Wickerson George A Constantinides | 2022/5/15 | |
View-based Owicki–Gries reasoning for persistent x86-TSO | Eleni Vafeiadi Bila Brijesh Dongol Ori Lahav Azalea Raad John Wickerson | 2022 | |
Dynamic inter-block scheduling for HLS | Jianyi Cheng Lana Josipović George A Constantinides John Wickerson | 2022/8/29 | |
A case for precise, fine-grained pointer synthesis in high-level synthesis | ACM Transactions on Design Automation of Electronic Systems (TODAES) | Nadesh Ramanathan George A Constantinides John Wickerson | 2022/3/8 |
High‐coverage metamorphic testing of concurrency support in C compilers | Software Testing, Verification and Reliability | Matt Windsor Alastair F Donaldson John Wickerson | 2022/6 |
Finding and finessing static islands in dynamically scheduled circuits | Jianyi Cheng John Wickerson George A Constantinides | 2022/2/13 | |
Resource Sharing for Verified High-Level Synthesis | Michalis Pardalos Yann Herklotz John Wickerson | 2022/5/15 | |
C4: the C compiler concurrency checker | Matt Windsor Alastair F Donaldson John Wickerson | 2021/7/11 | |
Optimal and Heuristic Approaches to Modulo Scheduling With Rational Initiation Intervals in Hardware Synthesis | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | Patrick Sittel Nicolai Fiege John Wickerson Peter Zipf | 2021/2/18 |
Dreaming up metamorphic relations: Experiences from three fuzzer tools | Andrei Lascu Matt Windsor Alastair F Donaldson Tobias Grosser John Wickerson | 2021/6/2 |