petablox/popl2020-artifact

Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.

C++

Readme
1Issue
17Stargazers
11Watchers

Watchers

b-scholz
The University of Sydney
davidwzhao
jhcloos
jonomendelson
New York
KihongHeo
KAIST
mayurnaik
mikewin
r-mukund
University of Southern California
wslee
xinpl
Peking University
XujieSi
University of Toronto

Contact site admin: Geeks.