petablox/popl2020-artifact
Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.
C++
Stargazers
- agnosticlines[object Object]
- andrzejolszak
- bsoddreamsCanada
- enlighten5University of California Riverside
- fvrmatteo
- HaoliangWang
- isp1x3rTunisia
- jinxianyap
- liuchengjie01
- mrexodiaPoland
- pTerrance@cia-foundation
- Sissel-WuHKUST
- taineleauUC San Diego
- Xpectuerbilibili大学
- yangky11Meta Fundamental AI Research (FAIR)
- yicheng-devNanjing University
- zehaochen19