End-to-end verification of stack-space bounds for C programs
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jun 09, 2014
- Source ID
- 10.1145/2594291.2594301
Entities
People
- Jan Hoffmann
- Quentin Carbonneaux
- Tahina Ramananandro
- Zhong Shao
Organizations
- Defense Advanced Research Projects Agency
- National Science Foundation
- Yale University