Copertina

A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Amtoft, Torben, Banerjee, Anindya
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
di: Schröer, Philipp, et al.
Pubblicazione: (2025)

Fixed-Point-Oriented Programming: A Concise and Elegant Paradigm
di: Foo, Yong Qi, et al.
Pubblicazione: (2025)

Towards Fixed-Point Formats Determination for Faust Programs
di: Herrou, Agathe, et al.
Pubblicazione: (2024)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
di: Mitra, Joydeep, et al.
Pubblicazione: (2020)

Proving Functional Program Equivalence via Directed Lemma Synthesis
di: Sun, Yican, et al.
Pubblicazione: (2024)

Newtonian Program Analysis of Probabilistic Programs
di: Wang, Di, et al.
Pubblicazione: (2023)

Agentic Proving for Program Verification
di: Sosso, Alessandro, et al.
Pubblicazione: (2026)

Multi-Language Probabilistic Programming
di: Stites, Sam, et al.
Pubblicazione: (2025)

Real-Time Probabilistic Programming
di: Hummelgren, Lars, et al.
Pubblicazione: (2023)

Probabilistic Programs of Thought
di: Garg, Poorva, et al.
Pubblicazione: (2026)

Caesar: A Deductive Verifier for Probabilistic Programs
di: Schröer, Philipp, et al.
Pubblicazione: (2026)

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report)
di: Batz, Kevin, et al.
Pubblicazione: (2024)

Sound Interval-Based Synthesis for Probabilistic Programs
di: Espada, Guilherme, et al.
Pubblicazione: (2025)

Data-Driven Invariant Learning for Probabilistic Programs
di: Bao, Jialu, et al.
Pubblicazione: (2021)

Bounding Fixed Points of Non-Monotone Processes: Theory to Practice
di: Rasheed, Abdullah H., et al.
Pubblicazione: (2026)

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
di: Carreira, Carolina, et al.
Pubblicazione: (2025)

Equivalence and Similarity Refutation for Probabilistic Programs
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

Refuting Equivalence in Probabilistic Programs with Conditioning
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2025)

Dynamic Program Slices Change How Developers Diagnose Gradual Run-Time Type Errors
di: Schwerter, Felipe Bañados, et al.
Pubblicazione: (2025)

Denotational Correctness of Forward-Mode Automatic Differentiation for Iteration and Recursion
di: Vákár, Matthijs
Pubblicazione: (2020)

Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
di: Boreale, Michele, et al.
Pubblicazione: (2025)

Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
di: Boreale, Michele, et al.
Pubblicazione: (2026)

Bit Blasting Probabilistic Programs
di: Garg, Poorva, et al.
Pubblicazione: (2023)

(Dis)Proving Spectre Security with Speculation-Passing Style
di: Arranz-Olmos, Santiago, et al.
Pubblicazione: (2025)

Automated Discovery of Tactic Libraries for Interactive Theorem Proving
di: Xin, Yutong, et al.
Pubblicazione: (2025)

Compiling by Proving: Language-Agnostic Automatic Optimization from Formal Semantics
di: Zhao, Jianhong, et al.
Pubblicazione: (2025)

A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
di: Xu, Qiyuan, et al.
Pubblicazione: (2025)

Probabilistic Interval Analysis of Unreliable Programs
di: Das, Dibyendu, et al.
Pubblicazione: (2024)

Explaining Explanations in Probabilistic Logic Programming
di: Vidal, Germán
Pubblicazione: (2024)

Galois Slicing as Automatic Differentiation
di: Atkey, Robert, et al.
Pubblicazione: (2025)

SAC-Opt: Semantic Anchors for Iterative Correction in Optimization Modeling
di: Zhang, Yansen, et al.
Pubblicazione: (2025)

Weighted Automata for Exact Inference in Discrete Probabilistic Programs
di: Geißler, Dominik, et al.
Pubblicazione: (2025)

DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
di: Randone, Francesca, et al.
Pubblicazione: (2026)

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
di: Wang, Peixin, et al.
Pubblicazione: (2023)

Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
di: Lim, Sangho, et al.
Pubblicazione: (2025)

GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
di: Huot, Mathieu, et al.
Pubblicazione: (2024)

From Provable Correctness to Probabilistic Generation: A Comparative Review of Program Synthesis Paradigms
di: Kobaladze, Zurabi, et al.
Pubblicazione: (2025)

Polynomial Invariant Generation for Floating-Point Programs
di: Cai, Xuran, et al.
Pubblicazione: (2025)

Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
di: Lundén, Daniel, et al.
Pubblicazione: (2023)

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
di: Böck, Markus, et al.
Pubblicazione: (2025)