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
2023
Symposium on Practical Aspects of Declarative Languages
Author of Automatic Rollback Suggestions for Incremental Datalog Evaluation within the PADL 2023-track
2021
APLAS
Author of The Choice Construct in the Soufflé Language within the Research Papers-track
PLDI
Author of An Efficient Interpreter for Datalog by De-specializing Relations within the PLDI-track
POPL
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
2020
POPL
Author of Provenance-Guided Synthesis of Datalog Programs within the Research Papers-track
2019
Incremental Computing
Author of Incremental Datalog Prototype in Soufflé within the IC 2019-track
Principles and Practice of Parallel Programming
Author of A Specialized B-Tree for Concurrent Datalog Evaluation within the Main Conference-track
Share
x
Tue 3 Dec 17:54