Hybrid top-down and bottom-up interprocedural analysis

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 09, 2014
Source ID
10.1145/2594291.2594328

Entities

People

  • Hongseok Yang
  • Mayur Naik
  • Ravi Mangal
  • Xin Zhang

Organizations

  • Defense Advanced Research Projects Agency
  • Engineering and Physical Sciences Research Council
  • Georgia Tech
  • National Science Foundation
  • University of Oxford