David Zhao

20 papers A* 1B 3C 3Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Provenance Guided Rollback Suggestions.
CoRR
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
2025 J jnl
Provenance Guided Rollback Suggestions.
Theory Pract. Log. Program.
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
2025 — conf
Rel: A Programming Language for Relational Data.
SIGMOD Conference Companion
Molham Aref, Paolo Guagliardo, George Kastrinis, Leonid Libkin, Victor Marsault, Wim Martens, Mary McGrath, Filip Murlak, Nathaniel Nystrom, Liat Peterfreund, Allison Rogers, Cristina Sirangelo, Domagoj Vrgoc, David Zhao, Abdul Zreika
2025 J jnl
Rel: A Programming Language for Relational Data.
CoRR
Molham Aref, Paolo Guagliardo, George Kastrinis, Leonid Libkin, Victor Marsault, Wim Martens, Mary McGrath, Filip Murlak, Nathaniel Nystrom, Liat Peterfreund, Allison Rogers, Cristina Sirangelo, Domagoj Vrgoc, David Zhao, Abdul Zreika
2024 — conf
Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine.
VMIL@SPLASH
Xiaowen Hu, David Zhao, Bernhard Scholz
2023 C conf
Automatic Rollback Suggestions for Incremental Datalog Evaluation.
PADL
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
2022 C conf
Building a Join Optimizer for Soufflé.
LOPSTR
Samuel Arch, Xiaowen Hu, David Zhao, Pavle Subotic, Bernhard Scholz
2022 J jnl
Specializing parallel data structures for Datalog.
Concurr. Comput. Pract. Exp.
Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz
2021 A* conf
An efficient interpreter for Datalog by de-specializing relations.
PLDI
Xiaowen Hu, David Zhao, Herbert Jordan, Bernhard Scholz
2021 J jnl
The Choice Construct in the Souffle Language.
CoRR
Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz
2021 B conf
The Choice Construct in the Soufflé Language.
APLAS
Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz
2021 C conf
Towards Elastic Incrementalization for Datalog.
PPDP
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
2020 J jnl
Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy.
ACM Trans. Program. Lang. Syst.
David Zhao, Pavle Subotic, Bernhard Scholz
2020 J jnl
Provenance-guided synthesis of Datalog programs.
Proc. ACM Program. Lang.
Mukund Raghothaman, Jonathan Mendelson, David Zhao, Mayur Naik, Bernhard Scholz
2019 B conf
A specialized B-tree for concurrent datalog evaluation.
PPoPP
Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz
2019 — conf
Brie: A Specialized Trie for Concurrent Datalog.
PMAM@PPoPP
Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz
2019 B conf
Fast Parallel Equivalence Relations in a Datalog Compiler.
PACT
Patrick Nappa, David Zhao, Pavle Subotic, Bernhard Scholz
2019 J jnl
Provenance for Large-scale Datalog.
CoRR
David Zhao, Pavle Subotic, Bernhard Scholz
2019 — conf
Unacceptable Behavior: Robust PDF Malware Detection Using Abstract Interpretation.
PLAS@CCS
Alexander Jordan, François Gauthier, Behnaz Hassanshahi, David Zhao
2018 J jnl
SAFE-PDF: Robust Detection of JavaScript PDF Malware Using Abstract Interpretation.
CoRR
Alexander Jordan, François Gauthier, Behnaz Hassanshahi, David Zhao