Journal Article Random Variate Generation with Formal Guarantees 2025 • Proceedings of the ACM on Programming Languages • 9(PLDI):125-149 Saad FA, Lee W
Journal Article GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables 2024 • Proceedings of the ACM on Programming Languages • 8(PLDI): Huot M, Ghavami M, Lew AK, Schaechtle U, Freer CE, Shelby Z, Rinard MC, Saad FA, Mansinghka VK
Journal Article Programmable MCMC with Soundly Composed Guide Programs 2024 • Proceedings of the ACM on Programming Languages • 8(OOPSLA): Pham L, Wang D, Saad FA, Hoffmann J
Journal Article Robust Resource Bounds with Static Analysis and Bayesian Inference 2024 • Proceedings of the ACM on Programming Languages • 8(PLDI): Pham L, Saad FA, Hoffmann J
Journal Article Scalable spatiotemporal prediction with Bayesian neural fields 2024 • Nature Communications • 15(1): Saad F, Burnim J, Carroll C, Patton B, Koster U, A. Saurous R, Hoffman M
Conference Sequential Monte Carlo Learning for Time Series Structure Discovery 2023 • INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 202 • 202: Saad FA, Patton BJ, Hoffmann MD, Saurous RA, Mansinghka VK
Conference Estimators of Entropy and Information via Inference in Probabilistic Models 2022 • INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND STATISTICS, VOL 151 • 151:5604-5621 Saad FA, Cusumano-Towner M, Mansinghka VK
Conference Hierarchical Infinite Relational Model 2021 • UNCERTAINTY IN ARTIFICIAL INTELLIGENCE, VOL 161 • 161:1067-1077 Saad FA, Mansinghka VK
Conference SPPL: Probabilistic Programming with Fast Exact Symbolic Inference 2021 • PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21) • 804-819 Saad FA, Rinard MC, Mansinghka VK
Journal Article Optimal approximate sampling from discrete probability distributions 2020 • Proceedings of the ACM on Programming Languages • 4(POPL):1-31 Saad FA, Freer CE, Rinard MC, Mansinghka VK
Conference The Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Probability Distributions 2020 • INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND STATISTICS, VOL 108 • 108:1036-1045 Saad FA, Freer CE, Rinard MC, Mansinghka VK
Journal Article Bayesian Synthesis of Probabilistic Programs for Automatic Data Modeling 2019 • Proceedings of the ACM on Programming Languages • 3: Saad FA, Cusumano-Towner MF, Schaechtle U, Rinard MC, Mansinghka VK
Journal Article Elements of a stochastic 3D prediction engine in larval zebrafish prey capture 2019 • eLife • 8: Bolton AD, Haesemeyer M, Jordi J, Schaechtle U, Saad FA, Mansinghka VK, Tenenbaum JB, Engert F
Conference Gen: A General-Purpose Probabilistic Programming System with Programmable Inference 2019 • PROCEEDINGS OF THE 40TH ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '19) • 221-236 Cusumano-Towner MF, Saad FA, Lew AK, Mansinghka VK
Conference Detecting Dependencies in Sparse, Multivariate Databases Using Probabilistic Programming and Non-parametric Bayes 2017 • ARTIFICIAL INTELLIGENCE AND STATISTICS, VOL 54 • 54:632-641 Saad F, Mansinghka V
