corpus.blog
41554 blogs · [ { "id": "01a0878f-ba31-7221-90b8-3798dfcc56c6", "title": "How do bitwidths actually work in Verilog?", "url": "https://johnwickerson.wordpress.com/2026/05/06/how-do-bitwidths-actually-work-in-verilog/", "published_at": "2026-05-06T15:19:04+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798e079d442", "title": "Finding bugs in FPGA place-and-route tools", "url": "https://johnwickerson.wordpress.com/2026/01/06/finding-bugs-in-fpga-place-and-route-tools/", "published_at": "2026-01-06T13:23:12+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798e14b3129", "title": "Are conference reviewers harsher when they have a submission of their own?", "url": "https://johnwickerson.wordpress.com/2025/11/19/are-conference-reviewers-harsher-when-they-have-a-submission-of-their-own/", "published_at": "2025-11-19T13:00:53+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798e20ea1ae", "title": "Fuzzing Quantum Compilers", "url": "https://johnwickerson.wordpress.com/2024/12/18/fuzzing-quantum-compilers/", "published_at": "2024-12-18T12:26:01+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798e21be763", "title": "The Hoare Cube", "url": "https://johnwickerson.wordpress.com/2024/12/04/the-hoare-cube/", "published_at": "2024-12-04T15:02:17+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798e2755ed7", "title": "Fun with income tax", "url": "https://johnwickerson.wordpress.com/2024/11/26/fun-with-income-tax/", "published_at": "2024-11-26T21:57:00+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798e306f86a", "title": "Who checks the equivalence checkers?", "url": "https://johnwickerson.wordpress.com/2024/09/10/who-checks-the-equivalence-checkers/", "published_at": "2024-09-10T11:40:14+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798e3fe8d01", "title": "Automated feature testing of Verilog parsers using fuzzing", "url": "https://johnwickerson.wordpress.com/2024/09/09/automated-feature-testing-of-verilog-parsers-using-fuzzing/", "published_at": "2024-09-09T13:23:22+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798e4a1c135", "title": "In praise of Freddy, My Love", "url": "https://johnwickerson.wordpress.com/2024/07/04/in-praise-of-freddy-my-love/", "published_at": "2024-07-04T08:45:24+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798e4a85f34", "title": "Mix-testing: revealing a new class of compiler bugs", "url": "https://johnwickerson.wordpress.com/2024/06/28/mix-testing-revealing-a-new-class-of-compiler-bugs/", "published_at": "2024-06-28T10:32:40+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798e57a68cd", "title": "Cycling from King’s Cross to Imperial College London", "url": "https://johnwickerson.wordpress.com/2024/05/11/cycling-from-kings-cross-to-imperial-college-london/", "published_at": "2024-05-11T11:54:48+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798e6164867", "title": "Verified high-level synthesis – now with hyperblocks!", "url": "https://johnwickerson.wordpress.com/2024/03/01/verified-high-level-synthesis-now-with-hyperblocks/", "published_at": "2024-03-01T15:25:49+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798e6aca0ff", "title": "What is the other Incorrectness logic?", "url": "https://johnwickerson.wordpress.com/2024/02/15/what-is-the-other-incorrectness-logic/", "published_at": "2024-02-15T20:39:00+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798e6ec3c0e", "title": "CXL: What’s all the fuss about?", "url": "https://johnwickerson.wordpress.com/2023/08/24/cxl/", "published_at": "2023-08-24T14:21:04+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798e708c2c7", "title": "The fastest route between King’s Cross St Pancras and South Kensington", "url": "https://johnwickerson.wordpress.com/2023/05/11/the-fastest-route-between-kings-cross-st-pancras-and-south-kensington/", "published_at": "2023-05-11T15:28:22+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798e78eda50", "title": "Hyphenation: when and why?", "url": "https://johnwickerson.wordpress.com/2023/01/27/hyphenation-when-and-why/", "published_at": "2023-01-27T09:56:19+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798e84f5cf1", "title": "Proving the existence of God using a computer", "url": "https://johnwickerson.wordpress.com/2022/12/05/proving-the-existence-of-god-using-a-computer/", "published_at": "2022-12-05T23:15:00+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798e8e20b14", "title": "“A Squash and a Squeeze” – Academic Edition", "url": "https://johnwickerson.wordpress.com/2022/07/14/a-squash-and-a-squeeze-academic-edition/", "published_at": "2022-07-14T08:29:43+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798e95713e8", "title": "Some reflections on FCCM 2022", "url": "https://johnwickerson.wordpress.com/2022/05/18/reflections-on-fccm-2022/", "published_at": "2022-05-18T20:26:51+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798e9aab149", "title": "The “Cluedo” effect in randomised testing", "url": "https://johnwickerson.wordpress.com/2022/03/30/the-cluedo-effect-in-randomised-testing/", "published_at": "2022-03-30T08:59:57+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798ea34c827", "title": "High-level synthesis, but correct", "url": "https://johnwickerson.wordpress.com/2021/08/27/vericert/", "published_at": "2021-08-27T13:16:57+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798ea5f397a", "title": "What’s the Rush?", "url": "https://johnwickerson.wordpress.com/2021/08/17/whats-the-rush/", "published_at": "2021-08-17T11:03:43+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798eab8126e", "title": "Understanding the memory semantics of multi-threaded CPU/FPGA programs", "url": "https://johnwickerson.wordpress.com/2021/07/03/understanding-the-memory-semantics-of-multi-threaded-cpu-fpga-programs/", "published_at": "2021-07-03T06:34:04+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798eb543418", "title": "Introducing C4: the C Compiler Concurrency Checker", "url": "https://johnwickerson.wordpress.com/2021/06/09/c4/", "published_at": "2021-06-09T11:45:55+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798ec069d26", "title": "Fuzzing High-Level Synthesis Tools", "url": "https://johnwickerson.wordpress.com/2021/05/07/fuzzing-hls/", "published_at": "2021-05-07T14:07:49+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798ecfff626", "title": "A translation puzzle", "url": "https://johnwickerson.wordpress.com/2020/09/18/a-translation-puzzle/", "published_at": "2020-09-18T11:13:30+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798ed1e01b2", "title": "Diagrams for Composing Compilers", "url": "https://johnwickerson.wordpress.com/2020/05/21/diagrams-for-composing-compilers/", "published_at": "2020-05-21T03:11:34+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798ed97048b", "title": "Uncovering multicore interference", "url": "https://johnwickerson.wordpress.com/2020/04/20/uncovering-multicore-interference/", "published_at": "2020-04-20T15:00:28+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798ee4e61fe", "title": "Highlights from FPGA 2020", "url": "https://johnwickerson.wordpress.com/2020/02/27/highlights-from-fpga-2020/", "published_at": "2020-02-27T21:51:17+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798ee7f7d10", "title": "New names for odd and even functions", "url": "https://johnwickerson.wordpress.com/2020/02/19/odd-and-even-functions/", "published_at": "2020-02-19T23:00:00+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798eeb0df61", "title": "Fuzzing FPGA synthesis tools", "url": "https://johnwickerson.wordpress.com/2019/11/22/fuzzing-fpga-synthesis-tools/", "published_at": "2019-11-22T14:52:44+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798ef96b615", "title": "A plot twist! Drawing better graphs in PL papers", "url": "https://johnwickerson.wordpress.com/2019/11/01/graphs-in-pl-papers/", "published_at": "2019-11-01T15:42:30+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798f0209a4b", "title": "In praise of scatter plots", "url": "https://johnwickerson.wordpress.com/2019/10/22/scatter-plots/", "published_at": "2019-10-22T22:54:31+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798f07ccf30", "title": "Loop invariants – where should we put them?", "url": "https://johnwickerson.wordpress.com/2019/10/04/loop-invariants/", "published_at": "2019-10-04T15:15:39+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798f15dc9c8", "title": "Modulo scheduling with rational initiation intervals", "url": "https://johnwickerson.wordpress.com/2019/09/05/rational-initiation-intervals/", "published_at": "2019-09-05T10:40:16+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798f22047c2", "title": "How to draw block diagrams", "url": "https://johnwickerson.wordpress.com/2019/08/08/block-diagrams/", "published_at": "2019-08-08T15:09:39+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798f31fe473", "title": "A wordless proof", "url": "https://johnwickerson.wordpress.com/2019/02/16/parallelogram/", "published_at": "2019-02-16T20:47:13+00:00" }, { "id": "01a0878f-ba31-7221-90b8-3798f3e3d255", "title": "A rant about fire doors", "url": "https://johnwickerson.wordpress.com/2018/08/18/a-rant-about-fire-doors/", "published_at": "2018-08-18T09:19:04+00:00" }, { "id": "01a0878f-ba32-728a-8377-91b0c80f2078", "title": "Never Say Never Again – chords", "url": "https://johnwickerson.wordpress.com/2018/07/28/never-say-never-again-chords/", "published_at": "2018-07-28T02:08:14+00:00" }, { "id": "01a0878f-ba32-728a-8377-91b0c8c1f48a", "title": "Greatest hits of PLDI 2018", "url": "https://johnwickerson.wordpress.com/2018/06/29/greatest-hits-of-pldi-2018/", "published_at": "2018-06-29T22:07:05+00:00" } ] posts Claim your blog
Back to Wickopedia – A blog by John Wickerson
Blog · corpus.blog/blogs/johnwickerson.wordpress.com/posts

Wickopedia – A blog by John Wickerson

johnwickerson.wordpress.com

2026

How do bitwidths actually work in Verilog?original ↗
6 May 2026
Finding bugs in FPGA place-and-route toolsoriginal ↗
6 Jan 2026

2025

Are conference reviewers harsher when they have a submission of their own?original ↗
19 Nov 2025

2024

Fuzzing Quantum Compilersoriginal ↗
18 Dec 2024
The Hoare Cubeoriginal ↗
4 Dec 2024
Fun with income taxoriginal ↗
26 Nov 2024
Who checks the equivalence checkers?original ↗
10 Sept 2024
Automated feature testing of Verilog parsers using fuzzingoriginal ↗
9 Sept 2024
In praise of Freddy, My Loveoriginal ↗
4 Jul 2024
Mix-testing: revealing a new class of compiler bugsoriginal ↗
28 Jun 2024
Cycling from King’s Cross to Imperial College Londonoriginal ↗
11 May 2024
Verified high-level synthesis – now with hyperblocks!original ↗
1 Mar 2024
What is the other Incorrectness logic?original ↗
15 Feb 2024

2023

CXL: What’s all the fuss about?original ↗
24 Aug 2023
The fastest route between King’s Cross St Pancras and South Kensingtonoriginal ↗
11 May 2023
Hyphenation: when and why?original ↗
27 Jan 2023

2022

Proving the existence of God using a computeroriginal ↗
5 Dec 2022
“A Squash and a Squeeze” – Academic Editionoriginal ↗
14 Jul 2022
Some reflections on FCCM 2022original ↗
18 May 2022
The “Cluedo” effect in randomised testingoriginal ↗
30 Mar 2022

2021

High-level synthesis, but correctoriginal ↗
27 Aug 2021
What’s the Rush?original ↗
17 Aug 2021
Understanding the memory semantics of multi-threaded CPU/FPGA programsoriginal ↗
3 Jul 2021
Introducing C4: the C Compiler Concurrency Checkeroriginal ↗
9 Jun 2021
Fuzzing High-Level Synthesis Toolsoriginal ↗
7 May 2021

2020

A translation puzzleoriginal ↗
18 Sept 2020
Diagrams for Composing Compilersoriginal ↗
21 May 2020
Uncovering multicore interferenceoriginal ↗
20 Apr 2020
Highlights from FPGA 2020original ↗
27 Feb 2020
New names for odd and even functionsoriginal ↗
19 Feb 2020

2019

Fuzzing FPGA synthesis toolsoriginal ↗
22 Nov 2019
A plot twist! Drawing better graphs in PL papersoriginal ↗
1 Nov 2019
In praise of scatter plotsoriginal ↗
22 Oct 2019
Loop invariants – where should we put them?original ↗
4 Oct 2019
Modulo scheduling with rational initiation intervalsoriginal ↗
5 Sept 2019
How to draw block diagramsoriginal ↗
8 Aug 2019
A wordless prooforiginal ↗
16 Feb 2019

2018

A rant about fire doorsoriginal ↗
18 Aug 2018
Never Say Never Again – chordsoriginal ↗
28 Jul 2018
Greatest hits of PLDI 2018original ↗
29 Jun 2018