David Zhao

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 24

Top Topics

Abstract Interpretation

Deductive Databases

Datalog Programs

Top Venues

Publications

Biprateep Dey, David Zhao, Jeffrey A. Newman, Brett H. Andrews, Rafael Izbicki, Ann B. Lee
Calibrated Predictive Distributions via Diagnostics for Conditional Coverage. CoRR (2022)
Samuel Arch, Xiaowen Hu, David Zhao, Pavle Subotic, Bernhard Scholz
Building a Join Optimizer for Soufflé. LOPSTR (2022)
Huazheng Wang, David Zhao, Hongning Wang
Dynamic Global Sensitivity for Differentially Private Contextual Bandits. RecSys (2022)
Huazheng Wang, David Zhao, Hongning Wang
Dynamic Global Sensitivity for Differentially Private Contextual Bandits. CoRR (2022)
Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz
Specializing parallel data structures for Datalog. Concurr. Comput. Pract. Exp. 34 (2) (2022)
Benjamin LeRoy, David Zhao
MD-split+: Practical Local Conformal Inference in High Dimensions. CoRR (2021)
Niccolò Dalmasso, David Zhao, Rafael Izbicki, Ann B. Lee
Likelihood-Free Frequentist Inference: Bridging Classical Statistics and Machine Learning in Simulation and Uncertainty Quantification. CoRR (2021)
Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz
The Choice Construct in the Soufflé Language. APLAS (2021)
David Zhao, Pavle Subotic, Mukund Raghothaman, Bernhard Scholz
Towards Elastic Incrementalization for Datalog. PPDP (2021)
David Zhao, Niccolò Dalmasso, Rafael Izbicki, Ann B. Lee
Diagnostics for conditional density models and Bayesian inference algorithms. UAI (2021)
Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz
The Choice Construct in the Souffle Language. CoRR (2021)
Biprateep Dey, Jeffrey A. Newman, Brett H. Andrews, Rafael Izbicki, Ann B. Lee, David Zhao, Markus Michael Rau, Alex I. Malz
Re-calibrating Photometric Redshift Probability Distributions Using Feature-space Regression. CoRR (2021)
Xiaowen Hu, David Zhao, Herbert Jordan, Bernhard Scholz
An efficient interpreter for Datalog by de-specializing relations. PLDI (2021)
Mohan Zhang, Qiqi Gao, Jinglu Wang, Henrik Turbell, David Zhao, Jinhui Yu, Yan Lu
RT-VENet: A Convolutional Network for Real-time Video Enhancement. ACM Multimedia (2020)
Mukund Raghothaman, Jonathan Mendelson, David Zhao, Mayur Naik, Bernhard Scholz
Provenance-guided synthesis of Datalog programs. Proc. ACM Program. Lang. 4 (POPL) (2020)
David Zhao, Pavle Subotic, Bernhard Scholz
Debugging Large-scale Datalog: A Scalable Provenance Evaluation Strategy. ACM Trans. Program. Lang. Syst. 42 (2) (2020)
Joyce Fang, Martin Ellis, Bin Li, Siyao Liu, Yasaman Hosseinkashi, Michael Revow, Albert Sadovnikov, Ziyuan Liu, Peng Cheng, Sachin Ashok, David Zhao, Ross Cutler, Yan Lu, Johannes Gehrke
Reinforcement learning for bandwidth estimation and congestion control in real-time communications. CoRR (2019)
Patrick Nappa, David Zhao, Pavle Subotic, Bernhard Scholz
Fast Parallel Equivalence Relations in a Datalog Compiler. PACT (2019)
Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz
A specialized B-tree for concurrent datalog evaluation. PPoPP (2019)
Alexander Jordan, François Gauthier, Behnaz Hassanshahi, David Zhao
Unacceptable Behavior: Robust PDF Malware Detection Using Abstract Interpretation. PLAS@CCS (2019)
David Zhao, Pavle Subotic, Bernhard Scholz
Provenance for Large-scale Datalog. CoRR (2019)
Herbert Jordan, Pavle Subotic, David Zhao, Bernhard Scholz
Brie: A Specialized Trie for Concurrent Datalog. PMAM@PPoPP (2019)
Alexander Jordan, François Gauthier, Behnaz Hassanshahi, David Zhao
SAFE-PDF: Robust Detection of JavaScript PDF Malware Using Abstract Interpretation. CoRR (2018)
David Zhao, Shane MacDonald, Thomas Gaudi, Alvaro Uribe-Quevedo, Miguel Vargas Martin, Bill Kapralos
Facial Expression Detection Employing a Brain Computer Interface. IISA (2018)
David Zhao, Aakanksha Chowdhery, Ashish Kapoor, Shivani Bahl
Games of drones: an affective game with cyber-physical systems. IPSN (2015)
David Zhao, Issa Traoré, Bassam Sayed, Wei Lu, Sherif Saad, Ali A. Ghorbani, Daniel Garant
Botnet detection based on traffic behavior analysis and flow intervals. Comput. Secur. 39 (2013)
David Zhao, Issa Traoré
P2P Botnet Detection through Malicious Fast Flux Network Identification. 3PGCIC (2012)
David Zhao, Issa Traoré, Ali A. Ghorbani, Bassam Sayed, Sherif Saad, Wei Lu
Peer to Peer Botnet Detection Based on Flow Intervals. SEC (2012)
Sherif Saad, Issa Traoré, Ali A. Ghorbani, Bassam Sayed, David Zhao, Wei Lu, John Felix, Payman Hakimian
Detecting P2P botnets through network behavior analysis and machine learning. PST (2011)
Bin Xie, Anup Kumar, David Zhao, Ranga Reddy, Bing He
On secure communication in integrated heterogeneous wireless networks. Int. J. Inf. Technol. Commun. Convergence 1 (1) (2010)
Bogdan Oporowski, David Zhao
Coloring graphs with crossings. Discret. Math. 309 (9) (2009)
David Zhao, Jonas Samuelsson, Mattias Nilsson
On entropy-constrained vector quantization using gaussian mixture models. IEEE Trans. Commun. 56 (12) (2008)
David Zhao, Jonas Samuelsson, Mattias Nilsson
GMM-Based Entropy-Constrained Vector Quantization. ICASSP (4) (2007)
Pius Ng, David Zhao
FFT Mapping on MathStar's FPOATM FilterBuilderTM Platform. ERSA (2004)