Publications (15)
MD-split+: Practical Local Conformal Inference in High Dimensions
Benjamin LeRoy, David Zhao
Quantifying uncertainty in model predictions is a common goal for practitioners seeking more than just point predictions. One tool for uncertainty quantification that requires mini…
Provenance for Large-scale Datalog
David Zhao, Pavle Subotic, Bernhard Scholz
Logic programming languages such as Datalog have become popular as Domain Specific Languages (DSLs) for solving large-scale, real-world problems, in particular, static program anal…
Likelihood-Free Frequentist Inference: Bridging Classical Statistics and Machine Learning for Reliable Simulator-Based Inference
Niccolò Dalmasso, Luca Masserano, David Zhao +2
Many areas of science rely on simulators that implicitly encode intractable likelihood functions of complex systems. Classical statistical methods are poorly suited for these so-ca…
Provenance Guided Rollback Suggestions
David Zhao, Pavle Subotic, Mukund Raghothaman +1
Advances in incremental Datalog evaluation strategies have made Datalog popular among use cases with constantly evolving inputs such as static analysis in continuous integration an…
Multiscale modeling of solute diffusion in triblock copolymer membranes
Anthony J. Cooper, Michael P. Howard, Sanket Kadulkar +5
We develop a multiscale simulation model for diffusion of solutes through porous triblock copolymer membranes. The approach combines two techniques: self-consistent field theory (S…
Diagnostics for Conditional Density Models and Bayesian Inference Algorithms
David Zhao, Niccolò Dalmasso, Rafael Izbicki +1
There has been growing interest in the AI community for precise uncertainty quantification. Conditional density models f(y|x), where x represents potentially high-dimensional featu…
SAFE-PDF: Robust Detection of JavaScript PDF Malware Using Abstract Interpretation
Alexander Jordan, François Gauthier, Behnaz Hassanshahi +1
The popularity of the PDF format and the rich JavaScript environment that PDF viewers offer make PDF documents an attractive attack vector for malware developers. PDF documents pre…
Coloring graphs with crossings
Bogdan Oporowski, David Zhao
We generalize the Five Color Theorem by showing that it extends to graphs with two crossings. Furthermore, we show that if a graph has three crossings, but does not contain K_6 as…
Towards Instance-Wise Calibration: Local Amortized Diagnostics and Reshaping of Conditional Densities (LADaR)
Biprateep Dey, David Zhao, Brett H. Andrews +3
Key science questions, such as galaxy distance estimation and weather forecasting, often require knowing the full predictive distribution of a target variable given complex inp…
Rel: A Programming Language for Relational Data
Molham Aref, Paolo Guagliardo, George Kastrinis +12
From the moment of their inception, languages for relational data have been described as sublanguages embedded in a host programming language. Rel is a new relational language whos…
Reinforcement learning for bandwidth estimation and congestion control in real-time communications
Joyce Fang, Martin Ellis, Bin Li +11
Bandwidth estimation and congestion control for real-time communications (i.e., audio and video conferencing) remains a difficult problem, despite many years of research. Achieving…
Cryptocurrency Price Prediction and Trading Strategies Using Support Vector Machines
David Zhao, Alessandro Rinaldo, Christopher Brookins
Few assets in financial history have been as notoriously volatile as cryptocurrencies. While the long term outlook for this asset class remains unclear, we are successful in making…
Re-calibrating Photometric Redshift Probability Distributions Using Feature-space Regression
Biprateep Dey, Jeffrey A. Newman, Brett H. Andrews +5
Many astrophysical analyses depend on estimates of redshifts (a proxy for distance) determined from photometric (i.e., imaging) data alone. Inaccurate estimates of photometric reds…
The Choice Construct in the Souffle Language
Xiaowen Hu, Joshua Karp, David Zhao +3
Datalog has become a popular implementation language for solving large-scale, real-world problems, including bug finders, network analysis tools, and disassemblers. These applicati…
Dynamic Global Sensitivity for Differentially Private Contextual Bandits
Huazheng Wang, David Zhao, Hongning Wang
Bandit algorithms have become a reference solution for interactive recommendation. However, as such algorithms directly interact with users for improved recommendations, serious pr…