Toggle navigation
Sign in
Sign up
conf.researchr.org
/
David Zhao
conf.researchr.org general profile
PLDI 2021 profile
POPL 2020 profile
POPL 2021 profile
POPL 2023 profile
PPoPP 2019 profile
SPLASH 2019 profile
SPLASH 2021 profile
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
Share
x
Wed 8 Feb 11:55