Publications

Peer-reviewed publications in formal verification, program analysis, developer tools, and applied science. Grouped by year.