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