Accelerating search-based program synthesis using learned probabilistic models

Document Details

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

Entities

People

  • Kihong Heo
  • Mayur Naik
  • Rajeev Alur
  • Woosuk Lee

Organizations

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