Syntax-guided synthesis of Datalog programs

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 26, 2018
Source ID
10.1145/3236024.3236034

Entities

People

  • Aws Albarghouthi
  • Mayur Naik
  • Paraschos Koutris
  • Richard Zhang
  • Woosuk Lee
  • Xujie Si

Organizations

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