Buffer overrun detection using linear programming and static analysis. - Vinod Ganapathy; Somesh Jha; David Chandler; David Melski; David Vitek (CCS, 2003)

Auditing Code for Security Vulnerabilities with CodeSonar. - David Vitek (SecDev, 2016)

SARIF-enabled tooling to encourage gradual technical debt reduction. - Paul Anderson 001; Lucja Kot; Neil Gilmore; David Vitek (TechDebt@ICSE, 2019)