A fuzzer for the Toy Optimizer
The author describes creating a fuzzer for the Toy Optimizer to automatically detect correctness bugs. The fuzzer generates random programs, verifies them against an unoptimized version, and tests the optimizer's output. It successfully catches bugs when key correctness components are disabled.