A user-guided approach to program analysis

Document Details

Document Type
Pub Defense Publication
Publication Date
Aug 30, 2015
Source ID
10.1145/2786805.2786851

Entities

People

  • Aditya V. Nori
  • Mayur Naik
  • Ravi Mangal
  • Xin Zhang

Organizations

  • Defense Advanced Research Projects Agency
  • Microsoft
  • National Science Foundation