• Sign in
  • Sign up
conf.researchr.org / David Zhao
  • 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
xWed 8 Feb 11:55
using conf.researchr.org (v1.58.0)
Support page
Sign Up