David Zhao

According to our database, David Zhao authored at least 14 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Automatic Rollback Suggestions for Incremental Datalog Evaluation.

David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz

Proceedings of the Practical Aspects of Declarative Languages, 2023

2022

Specializing parallel data structures for Datalog.

Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz

Concurr. Comput. Pract. Exp., 2022

Building a Join Optimizer for Soufflé.

Samuel Arch, Xiaowen Hu, David Zhao, Pavle Subotic, Bernhard Scholz

Proceedings of the Logic-Based Program Synthesis and Transformation, 2022

2021

Towards Elastic Incrementalization for Datalog.

David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

An efficient interpreter for Datalog by de-specializing relations.

Xiaowen Hu, David Zhao, Herbert Jordan, Bernhard Scholz

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

The Choice Construct in the Soufflé Language.

Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020

Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy.

David Zhao, Pavle Subotic, Bernhard Scholz

ACM Trans. Program. Lang. Syst., 2020

Provenance-guided synthesis of Datalog programs.

Mukund Raghothaman, Jonathan Mendelson, David Zhao, Mayur Naik, Bernhard Scholz

Proc. ACM Program. Lang., 2020

2019

Provenance for Large-scale Datalog.

David Zhao, Pavle Subotic, Bernhard Scholz

CoRR, 2019

Brie: A Specialized Trie for Concurrent Datalog.

Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz

Proceedings of the 10th International Workshop on Programming Models and Applications for Multicores and Manycores, 2019

A specialized B-tree for concurrent datalog evaluation.

Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

Unacceptable Behavior: Robust PDF Malware Detection Using Abstract Interpretation.

Alexander Jordan, François Gauthier, Behnaz Hassanshahi, David Zhao

Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security, 2019

Fast Parallel Equivalence Relations in a Datalog Compiler.

Patrick Nappa, David Zhao, Pavle Subotic, Bernhard Scholz

Proceedings of the 28th International Conference on Parallel Architectures and Compilation Techniques, 2019

2018

SAFE-PDF: Robust Detection of JavaScript PDF Malware Using Abstract Interpretation.

Alexander Jordan, François Gauthier, Behnaz Hassanshahi, David Zhao

CoRR, 2018