SAGE has had a remarkable impact at Microsoft.
PATRICE GODEFROID, MICHAEL Y. LEVIN, DAVID MOLNAR, MICROSOFT
Most ACM Queue readers might think of “program verification research” as mostly theoretical with little impact on the world at large. Think again. If you are reading these lines on a PC running some form of Windows (like 93-plus percent of PC users—that is, more than a billion people), then you have been affected by this line of work—without knowing it, which is precisely the way we want it to be.