conf.researchr.org / David Zhao

Not registered as user yet

Name: David Zhao

Affiliation: The University of Sydney

Contributions

IC 2019Author of Incremental Datalog Prototype in Soufflé within the IC 2019-track
POPL 2020Author of Provenance-Guided Synthesis of Datalog Programs within the Research Papers-track
PPoPP 2019Author of A Specialized B-Tree for Concurrent Datalog Evaluation within the Main Conference-track