John Wickerson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
44
Venues
19
Active years
2010–2026
Best venue rank
A*
Where they publish
Papers
44 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | A Mechanised, Bidirectional Type System for Bit-Width Determination in SystemVerilog. | Gabriel Desfrene, Quentin Corradi, Michalis Pardalos, John Wickerson |
| 2026 | CAV | A Multi-width Parametric Bitvector Equivalence Solver. | Luigi Rinaldi, John Wickerson, Samuel Coward |
| 2026 | FPGA | Finding and Understanding Bugs in FPGA Place-and-Route Engines. | Ollie Cosgrove, Alastair F. Donaldson, John Wickerson |
| 2026 | FPGA | A High-level Synthesis Toolchain for the Julia Language. | Benedict Short, Ian McInerney, John Wickerson |
| 2025 | ASPLOS | Formalising CXL Cache Coherence. | Chengsong Tan, Alastair F. Donaldson, John Wickerson |
| 2024 | ESOP | Intel PMDK Transactions: Specification, Validation and Concurrency. | Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol |
| 2024 | ESOP | Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency. | Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol |
| 2024 | EuroSys | Validating Database System Isolation Level Implementations with Version Certificate Recovery. | Jack Clark, Alastair F. Donaldson, John Wickerson, Manuel Rigger |
| 2024 | ICSE | Challenges in Empirically Testing Memory Persistency Models. | Vasileios Klimis, Alastair F. Donaldson, Viktor Vafeiadis, John Wickerson, Azalea Raad |
| 2022 | ESOP | View-Based Owicki-Gries Reasoning for Persistent x86-TSO. | Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson |
| 2022 | FCCM | Dynamic C-Slow Pipelining for HLS. | Jianyi Cheng, John Wickerson, George A. Constantinides |
| 2022 | FCCM | Resource Sharing for Verified High-Level Synthesis. | Michalis Pardalos, Yann Herklotz, John Wickerson |
| 2022 | FPGA | Finding and Finessing Static Islands in Dynamically Scheduled Circuits. | Jianyi Cheng, John Wickerson, George A. Constantinides |
| 2022 | FPL | Dynamic Inter-Block Scheduling for HLS. | Jianyi Cheng, Lana Josipovic, George A. Constantinides, John Wickerson |
| 2021 | FCCM | Probabilistic Scheduling in High-Level Synthesis. | Jianyi Cheng, John Wickerson, George A. Constantinides |
| 2021 | FCCM | An Empirical Study of the Reliability of High-Level Synthesis Tools. | Yann Herklotz, Zewei Du, Nadesh Ramanathan, John Wickerson |
| 2021 | FPGA | Probabilistic Optimization for High-Level Synthesis. | Jianyi Cheng, John Wickerson, George A. Constantinides |
| 2021 | FPGA | Fuzzing High-Level Synthesis Tools. | Zewei Du, Yann Herklotz, Nadesh Ramanathan, John Wickerson |
| 2021 | FPL | Exploiting the Correlation between Dependence Distance and Latency in Loop Pipelining for HLS. | Jianyi Cheng, John Wickerson, George A. Constantinides |
| 2021 | ISSTA | C4: the C compiler concurrency checker. | Matt Windsor, Alastair F. Donaldson, John Wickerson |
| 2020 | ASPDAC | Modulo Scheduling with Rational Initiation Intervals in Custom Hardware Design. | Patrick Sittel, John Wickerson, Martin Kumm, Peter Zipf |
| 2020 | CAV | Reasoning over Permissions Regions in Concurrent Separation Logic. | James Brotherston, Diana Costa, Aquinas Hobor, John Wickerson |
| 2020 | FPGA | Combining Dynamic & Static Scheduling in High-level Synthesis. | Jianyi Cheng, Lana Josipovic, George A. Constantinides, Paolo Ienne, John Wickerson |
| 2020 | FPGA | Finding and Understanding Bugs in FPGA Synthesis Tools. | Yann Herklotz, John Wickerson |
| 2020 | FPL | Precise Pointer Analysis in High-Level Synthesis. | Nadesh Ramanathan, George A. Constantinides, John Wickerson |
| 2020 | RTAS | Slow and Steady: Measuring and Tuning Multicore Interference. | Dan Iorga, Tyler Sorensen, John Wickerson, Alastair F. Donaldson |
| 2019 | USENIX | The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++. | Nathan Chong, Tyler Sorensen, John Wickerson |
| 2018 | ARITH | Digit Elision for Arbitrary-accuracy Iterative Computation. | He Li, James J. Davis, John Wickerson, George A. Constantinides |
| 2018 | FCCM | Concurrency-Aware Thread Scheduling for High-Level Synthesis. | Nadesh Ramanathan, George A. Constantinides, John Wickerson |
| 2018 | PLDI | The semantics of transactions and weak memory in x86, Power, ARM, and C++. | Nathan Chong, Tyler Sorensen, John Wickerson |
| 2017 | ACSSC | Run fast when you can: Loop pipelining with uncertain and non-uniform memory dependencies. | Junyi Liu, John Wickerson, Samuel Bayliss, George A. Constantinides |
| 2017 | CONCUR | Forward Progress on GPU Concurrency (Invited Talk). | Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, John Wickerson |
| 2017 | FPGA | Hardware Synthesis of Weakly Consistent C Concurrency. | Nadesh Ramanathan, Shane T. Fleming, John Wickerson, George A. Constantinides |
| 2017 | FPL | Tile size selection for optimized memory reuse in high-level synthesis. | Junyi Liu, John Wickerson, George A. Constantinides |
| 2017 | POPL | Automatically comparing memory consistency models. | John Wickerson, Mark Batty, Tyler Sorensen, George A. Constantinides |
| 2016 | FCCM | Loop Splitting for Efficient Pipelining in High-Level Synthesis. | Junyi Liu, John Wickerson, George A. Constantinides |
| 2016 | FPGA | Automatically Optimizing the Latency, Area, and Accuracy of C Programs for High-Level Synthesis. | Xitong Gao, John Wickerson, George A. Constantinides |
| 2016 | FPGA | A Case for Work-stealing on FPGAs with OpenCL Atomics. | Nadesh Ramanathan, John Wickerson, Felix Winterstein, George A. Constantinides |
| 2016 | HiPC | Balancing Locality and Concurrency: Solving Sparse Triangular Systems on GPUs. | Andrea Picciau, Gordon E. Inggs, John Wickerson, Eric C. Kerrigan, George A. Constantinides |
| 2016 | POPL | Overhauling SC atomics in C11 and OpenCL. | Mark Batty, Alastair F. Donaldson, John Wickerson |
| 2015 | ASPLOS | GPU Concurrency: Weak Behaviours and Programming Assumptions. | Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson |
| 2015 | OOPSLA | Remote-scope promotion: clarified, rectified, and verified. | John Wickerson, Mark Batty, Bradford M. Beckmann, Alastair F. Donaldson |
| 2013 | ESOP | Ribbon Proofs for Separation Logic. | John Wickerson, Mike Dodds, Matthew J. Parkinson |
| 2010 | ESOP | Explicit Stabilisation for Modular Rely-Guarantee Reasoning. | John Wickerson, Mike Dodds, Matthew J. Parkinson |