HOIST: a system for automatically deriving static analyzers for embedded systems.

John Regehr, Alastair Reid

Browse the full ASPLOS paper archive.