Theory 2 There Is No Such Thing as a Passive Read Oct 8, 2026 The Mathematics of Dataflow Analysis: Lattices, Fixpoints, and Semirings Jun 24, 2026