John Wickerson

87 papers A* 4A 17B 5C 1Misc 8Journal 35Unranked 15

Year	Rank	Type	Title / Venue / Authors
2026	A	`conf`	A High-level Synthesis Toolchain for the Julia Language. FPGA Benedict Short, Ian McInerney, John Wickerson
2026	A	`conf`	Finding and Understanding Bugs in FPGA Place-and-Route Engines. FPGA Ollie Cosgrove, Alastair F. Donaldson, John Wickerson
2025	J	`jnl`	A High-level Synthesis Toolchain for the Julia Language. CoRR Benedict Short, Ian McInerney, John Wickerson
2025	J	`jnl`	Editorial: Embracing the Empirical with the New PL Experiments Track. ACM Trans. Program. Lang. Syst. John Wickerson
2025	—	`conf`	Formalising CXL Cache Coherence. ASPLOS (2) Chengsong Tan, Alastair F. Donaldson, John Wickerson
2025	J	`jnl`	Hardware.jl - An MLIR-based Julia HLS Flow (Work in Progress). CoRR Benedict Short, Ian McInerney, John Wickerson
2025	—	`conf`	The Burden of Proof: Automated Tooling for Rapid Iteration on Large Mechanised Proofs. FormaliSE Chengsong Tan, Alastair F. Donaldson, Jonathan Julián Huerta y Munive, John Wickerson
2025	—	`conf`	When You Have a Fuzzer, Everything Looks Like a Reachability Problem. RP Alastair F. Donaldson, Cristian Cadar, Manuel Carrasco, Dan Iorga, Daniel Liew, John Wickerson
2024	—	`conf`	Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency. ESOP (2) Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol
2024	—	`conf`	Automated Feature Testing of Verilog Parsers using Fuzzing (Registered Report). FUZZING Quentin Corradi, John Wickerson, George A. Constantinides
2024	—	`conf`	Challenges in Empirically Testing Memory Persistency Models. NIER@ICSE Vasileios Klimis, Alastair F. Donaldson, Viktor Vafeiadis, John Wickerson, Azalea Raad
2024	J	`jnl`	Formalising CXL Cache Coherence. CoRR Chengsong Tan, Alastair F. Donaldson, John Wickerson
2024	J	`jnl`	Hyperblock Scheduling for Verified High-Level Synthesis. Proc. ACM Program. Lang. Yann Herklotz, John Wickerson
2024	—	`conf`	Intel PMDK Transactions: Specification, Validation and Concurrency. ESOP (2) Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol
2024	J	`jnl`	Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour. CoRR Vasileios Klimis, Alastair F. Donaldson, Viktor Vafeiadis, John Wickerson, Azalea Raad
2024	J	`jnl`	Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations. CoRR Luke Geeson, James Brotherston, Wilco Dijkstra, Alastair F. Donaldson, Lee Smith, Tyler Sorensen, John Wickerson
2024	J	`jnl`	Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations. Proc. ACM Program. Lang. Luke Geeson, James Brotherston, Wilco Dijkstra, Alastair F. Donaldson, Lee Smith, Tyler Sorensen, John Wickerson
2024	A	`conf`	Validating Database System Isolation Level Implementations with Version Certificate Recovery. EuroSys Jack Clark, Alastair F. Donaldson, John Wickerson, Manuel Rigger
2023	J	`jnl`	Balancing Static Islands in Dynamically Scheduled Circuits Using Continuous Petri Nets. IEEE Trans. Computers Jianyi Cheng, Estíbaliz Fraca, John Wickerson, George A. Constantinides
2023	J	`jnl`	Intel PMDK Transactions: Specification, Validation and Concurrency (Extended Version). CoRR Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol
2023	J	`jnl`	Parallelising Control Flow in Dynamic-scheduling High-level Synthesis. ACM Trans. Reconfigurable Technol. Syst. Jianyi Cheng, Lana Josipovic, John Wickerson, George A. Constantinides
2023	J	`jnl`	Simulating Operational Memory Models Using Off-the-Shelf Program Analysis Tools. IEEE Trans. Software Eng. Dan Iorga, John Wickerson, Alastair F. Donaldson
2023	J	`jnl`	Taking Back Control in an Intermediate Representation for GPU Computing. Proc. ACM Program. Lang. Vasileios Klimis, Jack Clark, Alan Baker, David Neto, John Wickerson, Alastair F. Donaldson
2022	J	`jnl`	A Case for Precise, Fine-Grained Pointer Synthesis in High-Level Synthesis. ACM Trans. Design Autom. Electr. Syst. Nadesh Ramanathan, George A. Constantinides, John Wickerson
2022	J	`jnl`	DASS: Combining Dynamic & Static Scheduling in High-Level Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jianyi Cheng, Lana Josipovic, George A. Constantinides, Paolo Ienne, John Wickerson
2022	Misc	`conf`	Dynamic C-Slow Pipelining for HLS. FCCM Jianyi Cheng, John Wickerson, George A. Constantinides
2022	B	`conf`	Dynamic Inter-Block Scheduling for HLS. FPL Jianyi Cheng, Lana Josipovic, George A. Constantinides, John Wickerson
2022	J	`jnl`	Efficient Memory Arbitration in High-Level Synthesis From Multi-Threaded Code. IEEE Trans. Computers Jianyi Cheng, Shane T. Fleming, Yu Ting Chen, Jason Helge Anderson, John Wickerson, George A. Constantinides
2022	A	`conf`	Finding and Finessing Static Islands in Dynamically Scheduled Circuits. FPGA Jianyi Cheng, John Wickerson, George A. Constantinides
2022	J	`jnl`	High-coverage metamorphic testing of concurrency support in C compilers. Softw. Test. Verification Reliab. Matt Windsor, Alastair F. Donaldson, John Wickerson
2022	J	`jnl`	Optimal and Heuristic Approaches to Modulo Scheduling With Rational Initiation Intervals in Hardware Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Patrick Sittel, Nicolai Fiege, John Wickerson, Peter Zipf
2022	Misc	`conf`	Resource Sharing for Verified High-Level Synthesis. FCCM Michalis Pardalos, Yann Herklotz, John Wickerson
2022	J	`jnl`	View-Based Owicki-Gries Reasoning for Persistent x86-TSO (Extended Version). CoRR Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson
2022	A	`conf`	View-Based Owicki-Gries Reasoning for Persistent x86-TSO. ESOP Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson
2021	Misc	`conf`	An Empirical Study of the Reliability of High-Level Synthesis Tools. FCCM Yann Herklotz, Zewei Du, Nadesh Ramanathan, John Wickerson
2021	A	`conf`	C4: the C compiler concurrency checker. ISSTA Matt Windsor, Alastair F. Donaldson, John Wickerson
2021	—	`conf`	Dreaming up Metamorphic Relations: Experiences from Three Fuzzer Tools. MET@ICSE Andrei Lascu, Matt Windsor, Alastair F. Donaldson, Tobias Grosser, John Wickerson
2021	B	`conf`	Exploiting the Correlation between Dependence Distance and Latency in Loop Pipelining for HLS. FPL Jianyi Cheng, John Wickerson, George A. Constantinides
2021	J	`jnl`	Formal verification of high-level synthesis. Proc. ACM Program. Lang. Yann Herklotz, James D. Pollard, Nadesh Ramanathan, John Wickerson
2021	A	`conf`	Fuzzing High-Level Synthesis Tools. FPGA Zewei Du, Yann Herklotz, Nadesh Ramanathan, John Wickerson
2021	J	`jnl`	Global Analysis of C Concurrency in High-Level Synthesis. IEEE Trans. Very Large Scale Integr. Syst. Nadesh Ramanathan, George A. Constantinides, John Wickerson
2021	A	`conf`	Probabilistic Optimization for High-Level Synthesis. FPGA Jianyi Cheng, John Wickerson, George A. Constantinides
2021	Misc	`conf`	Probabilistic Scheduling in High-Level Synthesis. FCCM Jianyi Cheng, John Wickerson, George A. Constantinides
2021	J	`jnl`	Specifying and Testing GPU Workgroup Progress Models. CoRR Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson
2021	J	`jnl`	Specifying and testing GPU workgroup progress models. Proc. ACM Program. Lang. Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson
2021	J	`jnl`	The semantics of shared memory in Intel CPU/FPGA systems. Proc. ACM Program. Lang. Dan Iorga, Alastair F. Donaldson, Tyler Sorensen, John Wickerson
2020	A	`conf`	Combining Dynamic & Static Scheduling in High-level Synthesis. FPGA Jianyi Cheng, Lana Josipovic, George A. Constantinides, Paolo Ienne, John Wickerson
2020	A	`conf`	Finding and Understanding Bugs in FPGA Synthesis Tools. FPGA Yann Herklotz, John Wickerson
2020	—	`conf`	Modulo Scheduling with Rational Initiation Intervals in Custom Hardware Design. ASP-DAC Patrick Sittel, John Wickerson, Martin Kumm, Peter Zipf
2020	J	`jnl`	Persistency semantics of the Intel-x86 architecture. Proc. ACM Program. Lang. Azalea Raad, John Wickerson, Gil Neiger, Viktor Vafeiadis
2020	B	`conf`	Precise Pointer Analysis in High-Level Synthesis. FPL Nadesh Ramanathan, George A. Constantinides, John Wickerson
2020	—	`conf`	Reasoning over Permissions Regions in Concurrent Separation Logic. CAV (2) James Brotherston, Diana Costa, Aquinas Hobor, John Wickerson
2020	A	`conf`	Slow and Steady: Measuring and Tuning Multicore Interference. RTAS Dan Iorga, Tyler Sorensen, John Wickerson, Alastair F. Donaldson
2020	J	`jnl`	architect: Arbitrary-Precision Hardware With Digit Elision for Efficient Iterative Compute. IEEE Trans. Very Large Scale Integr. Syst. He Li, James J. Davis, John Wickerson, George A. Constantinides
2019	J	`jnl`	ARCHITECT: Arbitrary-precision Hardware with Digit Elision for Efficient Iterative Compute. CoRR He Li, James J. Davis, John Wickerson, George A. Constantinides
2019	—	`conf`	The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++. USENIX ATC Nathan Chong, Tyler Sorensen, John Wickerson
2019	J	`jnl`	Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models. Proc. ACM Program. Lang. Azalea Raad, John Wickerson, Viktor Vafeiadis
2018	Misc	`conf`	Concurrency-Aware Thread Scheduling for High-Level Synthesis. FCCM Nadesh Ramanathan, George A. Constantinides, John Wickerson
2018	C	`conf`	Digit Elision for Arbitrary-accuracy Iterative Computation. ARITH He Li, James J. Davis, John Wickerson, George A. Constantinides
2018	J	`jnl`	Polyhedral-Based Dynamic Loop Pipelining for High-Level Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Junyi Liu, John Wickerson, Samuel Bayliss, George A. Constantinides
2018	J	`jnl`	Scheduling Weakly Consistent C Concurrency for Reconfigurable Hardware. IEEE Trans. Computers Nadesh Ramanathan, John Wickerson, George A. Constantinides
2018	A*	`conf`	The semantics of transactions and weak memory in x86, Power, ARM, and C++. PLDI Nathan Chong, Tyler Sorensen, John Wickerson
2017	A*	`conf`	Automatically comparing memory consistency models. POPL John Wickerson, Mark Batty, Tyler Sorensen, George A. Constantinides
2017	B	`conf`	Forward Progress on GPU Concurrency (Invited Talk). CONCUR Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, John Wickerson
2017	A	`conf`	Hardware Synthesis of Weakly Consistent C Concurrency. FPGA Nadesh Ramanathan, Shane T. Fleming, John Wickerson, George A. Constantinides
2017	Misc	`conf`	Run fast when you can: Loop pipelining with uncertain and non-uniform memory dependencies. ACSSC Junyi Liu, John Wickerson, Samuel Bayliss, George A. Constantinides
2017	J	`jnl`	The Semantics of Transactions and Weak Memory in x86, Power, ARMv8, and C++. CoRR Nathan Chong, Tyler Sorensen, John Wickerson
2017	B	`conf`	Tile size selection for optimized memory reuse in high-level synthesis. FPL Junyi Liu, John Wickerson, George A. Constantinides
2017	—	`conf`	architect: Arbitrary-precision constant-hardware iterative compute. FPT He Li, James J. Davis, John Wickerson, George A. Constantinides
2016	A	`conf`	A Case for Work-stealing on FPGAs with OpenCL Atomics. FPGA Nadesh Ramanathan, John Wickerson, Felix Winterstein, George A. Constantinides
2016	—	`conf`	An efficient implementation of online arithmetic. FPT Yiren Zhao, John Wickerson, George A. Constantinides
2016	A	`conf`	Automatically Optimizing the Latency, Area, and Accuracy of C Programs for High-Level Synthesis. FPGA Xitong Gao, John Wickerson, George A. Constantinides
2016	Misc	`conf`	Balancing Locality and Concurrency: Solving Sparse Triangular Systems on GPUs. HiPC Andrea Picciau, Gordon E. Inggs, John Wickerson, Eric C. Kerrigan, George A. Constantinides
2016	Misc	`conf`	Loop Splitting for Efficient Pipelining in High-Level Synthesis. FCCM Junyi Liu, John Wickerson, George A. Constantinides
2016	A*	`conf`	Overhauling SC atomics in C11 and OpenCL. POPL Mark Batty, Alastair F. Donaldson, John Wickerson
2015	—	`conf`	Custom-sized caches in application-specific memory hierarchies. FPT Felix Winterstein, Kermin Fleming, Hsin-Jung Yang, John Wickerson, George A. Constantinides
2015	A*	`conf`	GPU Concurrency: Weak Behaviours and Programming Assumptions. ASPLOS Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson
2015	A	`conf`	Remote-scope promotion: clarified, rectified, and verified. OOPSLA John Wickerson, Mark Batty, Bradford M. Beckmann, Alastair F. Donaldson
2015	J	`jnl`	Taming the complexities of the C11 and OpenCL memory models. CoRR John Wickerson, Mark Batty
2015	J	`jnl`	The Design and Implementation of a Verification Technique for GPU Kernels. ACM Trans. Program. Lang. Syst. Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson
2014	—	`conf`	KernelInterceptor: automating GPU kernel verification by intercepting kernels and their parameters. IWOCL Ethel Bardsley, Alastair F. Donaldson, John Wickerson
2014	J	`jnl`	Syntax and semantics of a GPU kernel programming language. Arch. Formal Proofs John Wickerson
2013	—	`—`	Concurrent verification for sequential programs. John Wickerson
2013	A	`conf`	Ribbon Proofs for Separation Logic. ESOP John Wickerson, Mike Dodds, Matthew J. Parkinson
2013	J	`jnl`	Ribbon Proofs. Arch. Formal Proofs John Wickerson
2011	—	`ch.`	Unifying Models of Data Flow. Software and Systems Safety - Specification and Verification Tony Hoare, John Wickerson
2010	A	`conf`	Explicit Stabilisation for Modular Rely-Guarantee Reasoning. ESOP John Wickerson, Mike Dodds, Matthew J. Parkinson