David Zhao -

Registered user since Tue 19 Jan 2021

Name:David Zhao

Affiliation:The University of Sydney

Contributions

PADL 2023	Author of Automatic Rollback Suggestions for Incremental Datalog Evaluation within the PADL 2023-track
APLAS 2021	Author of The Choice Construct in the Soufflé Language within the Research Papers-track
PLDI 2021	Author of An Efficient Interpreter for Datalog by De-specializing Relations within the PLDI-track
POPL 2021	Author of Debugging Large-Scale Datalog: A Scalable Provenance Evaluation Strategy within the POPL-track Author of Abstracting Large-scale Datalog: A Scalable Provenance Evaluation Strategy within the POPL-track
POPL 2020	Author of Provenance-Guided Synthesis of Datalog Programs within the Research Papers-track
IC 2019	Author of Incremental Datalog Prototype in Soufflé within the IC 2019-track
PPoPP 2019	Author of A Specialized B-Tree for Concurrent Datalog Evaluation within the Main Conference-track