Static Factorisation of Probabilistic Programs with User-Labelled Sample Statements and While Loops

Συγγραφείς: Böck, Markus, Cito, Jürgen

Πηγή: Proceedings of the ACM on Programming Languages. 10(OOPSLA1):653-680

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3798223

noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning

Συγγραφείς: Gürtler, Tobias, Kaminski, Benjamin Lucien

Πηγή: Proceedings of the ACM on Programming Languages. 10(OOPSLA1):427-455

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3798215

GradInf: Gradient Estimation as Probabilistic Inference

Συγγραφείς: Arya, Gaurav, Huot, Mathieu, Schauer, Moritz, Lew, Alexander K., Saad, Feras A.

Πηγή: Proceedings of the ACM on Programming Languages. 10(PLDI):1864-1890

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3808321

Incremental Computation for Efficient Programmable Inference in Probabilistic Programs

Συγγραφείς: Zaiser, Fabian, Czenszak, Jack, Rinard, Martin C., Mansinghka, Vikash K., Lew, Alexander K.

Πηγή: Proceedings of the ACM on Programming Languages. 10(PLDI):1739-1763

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3808316

Categorical Semantics of Probabilistic Symbolic Execution

Συγγραφείς: Li, John M., Czenszak, Jack, Holtzen, Steven

Πηγή: Proceedings of the ACM on Programming Languages. 10(PLDI):2402-2426

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3808343

SuperDP: Differential Privacy Refutation via Supermartingales

Συγγραφείς: Chatterjee, Krishnendu, Kafshdar Goharshady, Ehsan, Žikelić, Đorđe

Πηγή: Proceedings of the ACM on Programming Languages. 10(PLDI):1228-1252

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3808296

Probabilistic Programming with Vectorized Programmable Inference

Συγγραφείς: Becker, McCoy R., Huot, Mathieu, Matheos, George, Wang, Xiaoyan, Chung, Karen, Smith, Colin, Ritchie, Sam, Saurous, Rif A., Lew, Alexander K., Rinard, Martin C., Mansinghka, Vikash K.

Πηγή: Proceedings of the ACM on Programming Languages. 10(POPL):2523-2554

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3776729

Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation

Συγγραφείς: Lim, Sangho, Lim, Hyoungjin, Lee, Wonyeol, Rival, Xavier, Yang, Hongseok

Πηγή: Proceedings of the ACM on Programming Languages. 10(POPL):597-627

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3776663

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants

Συγγραφείς: Zilberstein, Noam, Silva, Alexandra, Tassarotti, Joseph

Πηγή: Proceedings of the ACM on Programming Languages. 10(POPL):235-264

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3776651

Gradient-Accelerated Cosmological Inference: A JAX-Based Framework for Differentiable Bayesian Computation in Astrophysics

Συγγραφείς: Jha, Mayank

Πηγή: 2026 14th International Symposium on Digital Forensics and Security (ISDFS) Digital Forensics and Security (ISDFS), 2026 14th International Symposium on. :1-6 Mar, 2026

Relation: 2026 14th International Symposium on Digital Forensics and Security (ISDFS)

Online and Interactive Bayesian Inference Debugging

Συγγραφείς: Nussbaumer, Nathanael, Böck, Markus, Cito, Jürgen

Πηγή: Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering. :3849-3860

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3744916.3773215

Bridging The Gap Between MBSE And Reliability Analysis

Συγγραφείς: Cvijic, Sanja, Harrison, Scott, Marotta, Stephen

Πηγή: 2026 Annual Reliability and Maintainability Symposium (RAMS) Reliability and Maintainability Symposium (RAMS), 2026 Annual. :1-6 Jan, 2026

Relation: 2026 Annual Reliability and Maintainability Symposium (RAMS)

A practical introduction to ODE modelling in Stan for biological systems

Συγγραφείς: Hamis, Sara, Author, Forslund, John, Author, Gu, Cici Chen, Author, Cochrane, Jodie A., Author

Συνεισφορές: Hamis, Sara, Author, Forslund, John, Author, Gu, Cici Chen, Author, Cochrane, Jodie A., Author

Πηγή: Mathematical Biosciences. 400

Θεματικοί όροι: Computational Bayesian inference, Hamiltonian Monte Carlo, Probabilistic programming, Ordinary differential equations, Mathematical biology

Περιγραφή αρχείου: electronic

Σύνδεσμος πρόσβασης: https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-596199
https://doi.org/10.1016/j.mbs.2026.109774

Modular Specifications and Implementations of Random Samplers in Higher-Order Separation Logic

Συγγραφείς: Marionneau, Virgil, Sassus Bourda, Félix, Aguirre, Alejandro, Birkedal, Lars

Πηγή: Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs. :368-382

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3779031.3779109

Improving Post-Training Quantization via Probabilistic Programming

Συγγραφείς: Liu, K., Goossens, B., De Schepper, T., Philips, W.

Πηγή: IEEE Transactions on Circuits and Systems for Video Technology IEEE Trans. Circuits Syst. Video Technol. Circuits and Systems for Video Technology, IEEE Transactions on. 35(12):11950-11964 Dec, 2025

Gauguin, Descartes, Bayes: A Diurnal Golem’s Brain

Συγγραφείς: Chandra, Kartik, Liu, Amanda, Ragan-Kelley, Jonathan, Tenenbaum, Joshua B.

Πηγή: Proceedings of the 2025 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software. :204-212

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3759429.3762631

Type-Directed Discretization of Probabilistic Programs

Συγγραφείς: Wu, Katherine, Jacobs, Jules, Batz, Kevin, Silva, Alexandra

Πηγή: Proceedings of the ACM on Programming Languages. 10(OOPSLA2):2435-2462

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3839534

Probabilistic Programming with Programmable Divide-Conquer-Combine Inference on Modern Hardware

Συγγραφείς: Böck, Markus, Cito, Jürgen

Πηγή: Proceedings of the ACM on Programming Languages. 10(OOPSLA2):2407-2434

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3839533

Quantum Monte Carlo Estimation via Probabilistic Programming

Συγγραφείς: Jeon, Seungmin, Choi, Jaeho, Jeon, Jonguk, Lee, Kanguk, Cho, Kyeongmin, Ryu, Sukyoung, Kang, Jeehoon

Πηγή: Proceedings of the ACM on Programming Languages. 10(OOPSLA2):459-486

Διαθεσιμότητα: http://dl.acm.org/doi/10.1145/3839463

Quantifying Privacy Risk with Gaussian Mixtures

Συγγραφείς: Rønneberg, Rasmus C.^{Aff1, IDs1027002501298x_cor1}, Randone, Francesca^Aff2, Pardo, Raúl^Aff3, Wąsowski, Andrzej^Aff3

Πηγή: Software and Systems Modeling. 25(4):989-1010