John Wickerson

Are conference reviewers harsher when they have a submission of their own? My area of academia runs mainly on conferences, as opposed to journals. This means that a few times each year, hundreds of researchers simultaneously submit papers about their latest and greatest p…

Are conference reviewers harsher when they have a submission of their own? Post from @wicko3.bsky.social

johnwickerson.wordpress.com/2025/11/19/a...

Today at ASPLOS Chengsong Tan will present our work with @wicko3.bsky.social on mechanical formalisation of CXL.cache - check out the paper! www.doc.ic.ac.uk/~afd/papers/... #CXL

Check out our work on Formalising CXL Cache Coherence, which Chengsong Tan will present at @ASPLOSConf next week (joint with @wicko3.bsky.social)

www.doc.ic.ac.uk/~afd/papers/...

A wordle board that looks like I'm playing Tetris!

Tfw you forget whether you're playing Tetris or Wordle...

Verification code. Enter the code we have sent to: *******3649.

Also my bank:

The Bank will NEVER ask you for this code. If anyone does, it is a SCAM! Call 159 now if this has happened or you didn't ask for a code. Your code is 100285.

My bank:

Was delighted to have Jianyi Cheng, my former PhD student (joint with @wicko3.bsky.social), now Assistant Professor at @edinburgh-uni.bsky.social Informatics, visit for lunch and technical discussions today. He's doing great work - anyone looking to do a PhD in Scotland - would recommend!

How does a Roman write 9 in Verilog?

I don’t care.

Keynote

Yep, much better :)

I’m not sure the form is publicly accessible?

I recently enjoyed A Man on the Inside (s1) and Only Murders In The Building (s1 and s3).

Electric vehicle recharging point only

Mixed Use Parking. Electric Vehicles And Other Vehicles Allowed

Electric vehicle recharging point

Three parking signs in close proximity in Cambridge.

Pic 1: clearly non-electric vehicles are not allowed.

Pic 2: clearly non-electric vehicles are allowed.

Pic 3: ???

Fuzzing Quantum Compilers Ilan Iwumbwe and Benny Liu did undergraduate research placements with me this summer, and I’m very pleased that they will be presenting their work at the Programming Languages for Quantum Com…

Here's a short blog post about an upcoming #PLanQC paper on "QuteFuzz", a new tool built by Ilan Iwumbwe and Benny Liu for fuzz-testing quantum compilers using randomly generated circuits (paying particular attention to subcircuits and control flow) johnwickerson.wordpress.com/2024/12/18/f...

Lindsey’s zine is indeed well worth a read — a thought-provoking introduction to “choreographies” as a method for correct-by-construction concurrent programming.

Lindsey Kuper's* group has produced this fantastic zine on choreographic programming that folks should definitely check out: decomposition.al/blog/2024/12...

(* can't seem to find Lindsey here but please tag if you know the handle)

Very kind of you, Rachit!

“Now” famous?? 🤔

Formally Verified Hardening of C Programs
Against Hardware Fault Injection

hal.science/hal-04818801

gricad-gitlab.univ-grenoble-alpes.fr/certicompil/...

The Hoare Cube I wrote earlier this year about my attempt to understand the repercussions of toggling $latex \subseteq$ and $latex \supseteq$ when giving a semantics to Hoare triples. In response to that post, Ya…

Program correctness and incorrectness are not just two sides of the same coin; they're two faces of the same cube! johnwickerson.wordpress.com/2024/12/04/t...

Oh that’s true!

Fun with income tax The UK government imposes a tax on people’s income, and, as is quite conventional, the rate at which a person pays this tax increases as their income increases. However, I was surprised to no…

I reckon I'm old enough to pontificate confidently on topics I know nothing about, so here's my blog post all about ... the UK's rules on income tax! johnwickerson.wordpress.com/2024/11/26/f...

"A Verified Foreign Function Interface between Coq and C", by me, Kathrin Stark and Andrew W. Appel will appear at POPL 2025! www.cs.princeton.edu/~appel/paper...

this is the culmination of years of research (and most of my grad school work), so I'm excited to see it finally published! 🎉

Danilo Mandic lecturing

Big thanks to Prof Danilo Mandic for an inspiring “Meet the Profs” seminar today. He explained how he has applied his expertise in signal processing to such varied domains as financial trading, heart monitoring, and sleep apnoea.

The recording of our POPL song, "Reviewing for Publication", is now available: https://www.youtube.com/watch?v=Hyaeg7C4XsI

["Girls in white dresses with blue satin sashes";
"Snowflakes that stay on my nose and eyelashes";
"Silver white winters that melt into springs"]
-- These are a few of my favourite strings.

“Penguin Random House” sounds more like a what3words reference than a publishing company.

If #juliadonaldson were an academic...

I wrote this on my son’s changing mat to stop me using it upside-down, but it’s not as helpful as I’d hoped...

When building some hardware the HLS way
There's no task more vital or bigger,
Than figuring out, for each step of the clock,
Which gates are the next ones to trigger.