Active learning of points-to specifications

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 11, 2018
Source ID
10.1145/3192366.3192383

Entities

People

  • Alex Aiken
  • Osbert Bastani
  • Percy Liang
  • Rahul Sharma

Organizations

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