Automated feature testing of Verilog parsers using fuzzing

Mix-testing: revealing a new class of compiler bugs

Introducing C4: the C Compiler Concurrency Checker

How to draw block diagrams

“Concurrent Buns” – A chef’s guide to concurrency verification (2009)

Diagrams for Composing Compilers

Highlights from FPGA 2020

Memory Consistency Models, and how to compare them automatically