SAFE-PDF: Robust Detection of JavaScript PDF Malware Using Abstract Interpretation. - Alexander Jordan; François Gauthier 001; Behnaz Hassanshahi; David Zhao 001 (CoRR, 2018)

Fast Parallel Equivalence Relations in a Datalog Compiler. - Patrick Nappa; David Zhao 001; Pavle Subotic; Bernhard Scholz (PACT, 2019)

Unacceptable Behavior: Robust PDF Malware Detection Using Abstract Interpretation. - Alexander Jordan; François Gauthier 001; Behnaz Hassanshahi; David Zhao 001 (PLAS@CCS, 2019)

A specialized B-tree for concurrent datalog evaluation. - Herbert Jordan; Pavle Subotic; David Zhao 001; Bernhard Scholz (PPoPP, 2019)

Brie: A Specialized Trie for Concurrent Datalog. - Herbert Jordan; Pavle Subotic; David Zhao 001; Bernhard Scholz (PMAM@PPoPP, 2019)

Provenance for Large-scale Datalog. - David Zhao 001; Pavle Subotic; Bernhard Scholz (CoRR, 2019)

Provenance-guided synthesis of Datalog programs. - Mukund Raghothaman; Jonathan Mendelson; David Zhao 001; Mayur Naik; Bernhard Scholz (Proc. ACM Program. Lang., 2020)

Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy. - David Zhao 001; Pavle Subotic; Bernhard Scholz (ACM Trans. Program. Lang. Syst., 2020)

The Choice Construct in the Soufflé Language. - Xiaowen Hu; Joshua Karp; David Zhao 001; Abdul Zreika; Xi Wu 005; Bernhard Scholz (APLAS, 2021)

An efficient interpreter for Datalog by de-specializing relations. - Xiaowen Hu; David Zhao 001; Herbert Jordan; Bernhard Scholz (PLDI, 2021)

Towards Elastic Incrementalization for Datalog. - David Zhao 001; Pavle Subotic; Mukund Raghothaman; Bernhard Scholz (PPDP, 2021)

Building a Join Optimizer for Soufflé. - Samuel Arch; Xiaowen Hu; David Zhao 001; Pavle Subotic; Bernhard Scholz (LOPSTR, 2022)

Specializing parallel data structures for Datalog. - Herbert Jordan; Pavle Subotic; David Zhao 001; Bernhard Scholz (Concurr. Comput. Pract. Exp., 2022)

Automatic Rollback Suggestions for Incremental Datalog Evaluation. - David Zhao 001; Pavle Subotic; Mukund Raghothaman; Bernhard Scholz (PADL, 2023)

Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine. - Xiaowen Hu; David Zhao 001; Bernhard Scholz (VMIL@SPLASH, 2024)

Rel: A Programming Language for Relational Data. - Molham Aref; Paolo Guagliardo; George Kastrinis; Leonid Libkin; Victor Marsault; Wim Martens; Mary McGrath; Filip Murlak; Nathaniel Nystrom; Liat Peterfreund; Allison Rogers; Cristina Sirangelo; et al. (SIGMOD Conference Companion, 2025)

Provenance Guided Rollback Suggestions. - David Zhao 001; Pavle Subotic; Mukund Raghothaman; Bernhard Scholz (Theory Pract. Log. Program., 2025)