Semantics-based program verifiers for all languages.

Andrei Stefanescu, Daejun Park, Shijiao Yuwen, Yilong Li, Grigore Rosu

Browse the full OOPSLA paper archive.