Combining the logical and the probabilistic in program analysis

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 18, 2017
Source ID
10.1145/3088525.3088563

Entities

People

  • Mayur Naik
  • Xin Zhang
  • Xujie Si

Organizations

  • Defense Advanced Research Projects Agency
  • Georgia Tech
  • National Science Foundation
  • University of Pennsylvania