David Vitek

According to our database, David Vitek authored at least 3 papers between 2003 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

SARIF-enabled tooling to encourage gradual technical debt reduction.

Paul Anderson, Lucja Kot, Neil Gilmore, David Vitek

Proceedings of the Second International Conference on Technical Debt, 2019

2016

Auditing Code for Security Vulnerabilities with CodeSonar.

David Vitek

Proceedings of the IEEE Cybersecurity Development, 2016

2003

Buffer overrun detection using linear programming and static analysis.

Vinod Ganapathy, Somesh Jha, David Chandler, David Melski, David Vitek

Proceedings of the 10th ACM Conference on Computer and Communications Security, 2003