Topic

GPU Toolchains

Artwork for Ep. 014 - Finding Miscompiles For Fun, Not Profit (AI Infrastructure) | Justin Lebar & Jordan Nanos
SemiAnalysis WeeklyJustin Lebar

Ep. 014 - Finding Miscompiles For Fun, Not Profit (AI Infrastructure) | Justin Lebar & Jordan Nanos

Justin Lebar and Jordan Nanos discuss how Lebar found compiler miscompiles using both classic fuzzing and LLM-assisted code review. The episode emphasizes severe x86 and AMDGPU bugs, the difficulty of scaling fuzzers, and the surprising effectiveness—but real cost—of using agents to scan compiler code.