| Provenance-guided synthesis of datalog programs M Raghothaman, J Mendelson, D Zhao, M Naik, B Scholz Proceedings of the ACM on Programming Languages 4 (POPL), 1-27, 2019 | 64 | 2019 |
| A specialized B-tree for concurrent datalog evaluation H Jordan, P Subotić, D Zhao, B Scholz Proceedings of the 24th symposium on principles and practice of parallel …, 2019 | 44 | 2019 |
| Debugging large-scale datalog: A scalable provenance evaluation strategy D Zhao, P Subotić, B Scholz ACM Transactions on Programming Languages and Systems (TOPLAS) 42 (2), 1-35, 2020 | 38 | 2020 |
| Brie: A specialized trie for concurrent datalog H Jordan, P Subotić, D Zhao, B Scholz Proceedings of the 10th International Workshop on Programming Models and …, 2019 | 27 | 2019 |
| Fast parallel equivalence relations in a Datalog compiler P Nappa, D Zhao, P Subotić, B Scholz 2019 28th International Conference on Parallel Architectures and Compilation …, 2019 | 21 | 2019 |
| Towards elastic incrementalization for datalog D Zhao, P Subotic, M Raghothaman, B Scholz Proceedings of the 23rd International Symposium on Principles and Practice …, 2021 | 16 | 2021 |
| Calibrated predictive distributions via diagnostics for conditional coverage B Dey, D Zhao, JA Newman, BH Andrews, R Izbicki, AB Lee arXiv e-prints, arXiv: 2205.14568, 2022 | 13 | 2022 |
| Cryptocurrency price prediction and trading strategies using support vector machines D Zhao, A Rinaldo, C Brookins arXiv preprint arXiv:1911.11819, 2019 | 12 | 2019 |
| The choice construct in the soufflé language X Hu, J Karp, D Zhao, A Zreika, X Wu, B Scholz Asian Symposium on Programming Languages and Systems, 163-181, 2021 | 10 | 2021 |
| Safe-pdf: Robust detection of javascript pdf malware using abstract interpretation A Jordan, F Gauthier, B Hassanshahi, D Zhao arXiv preprint arXiv:1810.12490, 2018 | 10 | 2018 |
| Building a join optimizer for soufflé S Arch, X Hu, D Zhao, P Subotić, B Scholz International Symposium on Logic-Based Program Synthesis and Transformation …, 2022 | 9 | 2022 |
| Specializing parallel data structures for Datalog H Jordan, P Subotić, D Zhao, B Scholz Concurrency and Computation: Practice and Experience 34 (2), e5643, 2022 | 9 | 2022 |
| An efficient interpreter for Datalog by de-specializing relations X Hu, D Zhao, H Jordan, B Scholz Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 6 | 2021 |
| Unacceptable behavior: Robust pdf malware detection using abstract interpretation A Jordan, F Gauthier, B Hassanshahi, D Zhao Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and …, 2019 | 5 | 2019 |
| Provenance for large-scale datalog D Zhao, P Subotic, B Scholz arXiv preprint arXiv:1907.05045, 2019 | 4 | 2019 |
| Large-Scale Provenance for Souffle D Zhao University of Sydney, 2017 | 3 | 2017 |
| Automatic Rollback Suggestions for Incremental Datalog Evaluation D Zhao, P Subotić, M Raghothaman, B Scholz International Symposium on Practical Aspects of Declarative Languages, 295-312, 2023 | 1 | 2023 |
| Calibrated Predictive Distributions for Photometric Redshifts B Dey, D Zhao, B Andrews, J Newman, R Izbicki, A Lee Machine Learning for Astrophysics, proceedings of the Thirty-ninth …, 2022 | | 2022 |
| Provenance, Incremental Evaluation, and Debugging in Datalog DW Zhao | | 2022 |
| The Choice Construct in the Soufflé X Hu, J Karp, D Zhao, A Zreika, X Wu Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago …, 2021 | | 2021 |
