Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
Fuente:
arXiv
Guardado en:
| Autores principales: | Böck, Markus, Cito, Jürgen |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
por: Wang, Peixin, et al.
Publicado: (2023)
por: Wang, Peixin, et al.
Publicado: (2023)
Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
por: Lim, Sangho, et al.
Publicado: (2025)
por: Lim, Sangho, et al.
Publicado: (2025)
Polar: An Algebraic Analyzer for (Probabilistic) Loops
por: Moosbrugger, Marcel, et al.
Publicado: (2026)
por: Moosbrugger, Marcel, et al.
Publicado: (2026)
DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
por: Randone, Francesca, et al.
Publicado: (2026)
por: Randone, Francesca, et al.
Publicado: (2026)
Newtonian Program Analysis of Probabilistic Programs
por: Wang, Di, et al.
Publicado: (2023)
por: Wang, Di, et al.
Publicado: (2023)
Probabilistic Guarantees for Practical LIA Loop Invariant Automation
por: Kumar, Ashish, et al.
Publicado: (2024)
por: Kumar, Ashish, et al.
Publicado: (2024)
C Analyzer : A Static Program Analysis Tool for C Programs
por: Solanki, Rajendra Kumar
Publicado: (2024)
por: Solanki, Rajendra Kumar
Publicado: (2024)
Multi-Language Probabilistic Programming
por: Stites, Sam, et al.
Publicado: (2025)
por: Stites, Sam, et al.
Publicado: (2025)
Real-Time Probabilistic Programming
por: Hummelgren, Lars, et al.
Publicado: (2023)
por: Hummelgren, Lars, et al.
Publicado: (2023)
Probabilistic Programs of Thought
por: Garg, Poorva, et al.
Publicado: (2026)
por: Garg, Poorva, et al.
Publicado: (2026)
Static Analysis Under Non-Deterministic Program Assumptions
por: Rasheed, Abdullah H.
Publicado: (2026)
por: Rasheed, Abdullah H.
Publicado: (2026)
Sound Interval-Based Synthesis for Probabilistic Programs
por: Espada, Guilherme, et al.
Publicado: (2025)
por: Espada, Guilherme, et al.
Publicado: (2025)
Caesar: A Deductive Verifier for Probabilistic Programs
por: Schröer, Philipp, et al.
Publicado: (2026)
por: Schröer, Philipp, et al.
Publicado: (2026)
Data-Driven Invariant Learning for Probabilistic Programs
por: Bao, Jialu, et al.
Publicado: (2021)
por: Bao, Jialu, et al.
Publicado: (2021)
Refuting Equivalence in Probabilistic Programs with Conditioning
por: Chatterjee, Krishnendu, et al.
Publicado: (2025)
por: Chatterjee, Krishnendu, et al.
Publicado: (2025)
Equivalence and Similarity Refutation for Probabilistic Programs
por: Chatterjee, Krishnendu, et al.
Publicado: (2024)
por: Chatterjee, Krishnendu, et al.
Publicado: (2024)
Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
por: Haase, Darion, et al.
Publicado: (2026)
por: Haase, Darion, et al.
Publicado: (2026)
typedKanren: Statically Typed Relational Programming with Exhaustive Matching in Haskell
por: Kudasov, Nikolai, et al.
Publicado: (2024)
por: Kudasov, Nikolai, et al.
Publicado: (2024)
Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
por: Boreale, Michele, et al.
Publicado: (2025)
por: Boreale, Michele, et al.
Publicado: (2025)
Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
por: Boreale, Michele, et al.
Publicado: (2026)
por: Boreale, Michele, et al.
Publicado: (2026)
Bit Blasting Probabilistic Programs
por: Garg, Poorva, et al.
Publicado: (2023)
por: Garg, Poorva, et al.
Publicado: (2023)
NESA: Relational Neuro-Symbolic Static Program Analysis
por: Wang, Chengpeng, et al.
Publicado: (2024)
por: Wang, Chengpeng, et al.
Publicado: (2024)
Probabilistic Interval Analysis of Unreliable Programs
por: Das, Dibyendu, et al.
Publicado: (2024)
por: Das, Dibyendu, et al.
Publicado: (2024)
Explaining Explanations in Probabilistic Logic Programming
por: Vidal, Germán
Publicado: (2024)
por: Vidal, Germán
Publicado: (2024)
Weighted Automata for Exact Inference in Discrete Probabilistic Programs
por: Geißler, Dominik, et al.
Publicado: (2025)
por: Geißler, Dominik, et al.
Publicado: (2025)
Static Deadlock Detection for Rust Programs
por: Zhang, Yu, et al.
Publicado: (2024)
por: Zhang, Yu, et al.
Publicado: (2024)
Iterating Pointers: Enabling Static Analysis for Loop-based Pointers
por: Lepori, Andrea, et al.
Publicado: (2025)
por: Lepori, Andrea, et al.
Publicado: (2025)
Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
por: Liu, Chang, et al.
Publicado: (2023)
por: Liu, Chang, et al.
Publicado: (2023)
Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
por: Lundén, Daniel, et al.
Publicado: (2023)
por: Lundén, Daniel, et al.
Publicado: (2023)
A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs
por: Amtoft, Torben, et al.
Publicado: (2024)
por: Amtoft, Torben, et al.
Publicado: (2024)
Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
por: Aguirre, Alejandro, et al.
Publicado: (2024)
por: Aguirre, Alejandro, et al.
Publicado: (2024)
Denotational Semantics for Probabilistic and Concurrent Programs
por: Zilberstein, Noam, et al.
Publicado: (2025)
por: Zilberstein, Noam, et al.
Publicado: (2025)
Extracting Protocol Format as State Machine via Controlled Static Loop Analysis
por: Shi, Qingkai, et al.
Publicado: (2023)
por: Shi, Qingkai, et al.
Publicado: (2023)
Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation
por: Barnaby, Celeste, et al.
Publicado: (2026)
por: Barnaby, Celeste, et al.
Publicado: (2026)
CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming
por: Eriksson, Oscar, et al.
Publicado: (2025)
por: Eriksson, Oscar, et al.
Publicado: (2025)
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
por: Schröer, Philipp, et al.
Publicado: (2025)
por: Schröer, Philipp, et al.
Publicado: (2025)
GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
por: Huot, Mathieu, et al.
Publicado: (2024)
por: Huot, Mathieu, et al.
Publicado: (2024)
RefineStat: Efficient Exploration for Probabilistic Program Synthesis
por: Kanda, Madhav, et al.
Publicado: (2025)
por: Kanda, Madhav, et al.
Publicado: (2025)
Ranking LLM-Generated Loop Invariants for Program Verification
por: Chakraborty, Saikat, et al.
Publicado: (2023)
por: Chakraborty, Saikat, et al.
Publicado: (2023)
Probabilistic Programming with Programmable Variational Inference
por: Becker, McCoy R., et al.
Publicado: (2024)
por: Becker, McCoy R., et al.
Publicado: (2024)
Ejemplares similares
-
Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
por: Wang, Peixin, et al.
Publicado: (2023) -
Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
por: Lim, Sangho, et al.
Publicado: (2025) -
Polar: An Algebraic Analyzer for (Probabilistic) Loops
por: Moosbrugger, Marcel, et al.
Publicado: (2026) -
DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
por: Randone, Francesca, et al.
Publicado: (2026) -
Newtonian Program Analysis of Probabilistic Programs
por: Wang, Di, et al.
Publicado: (2023)