Buchumschlag

Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Lundén, Daniel, Hummelgren, Lars, Kudlicka, Jan, Eriksson, Oscar, Broman, David
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Real-Time Probabilistic Programming
von: Hummelgren, Lars, et al.
Veröffentlicht: (2023)

Expression Acceleration: Seamless Parallelization of Typed High-Level Languages
von: Hummelgren, Lars, et al.
Veröffentlicht: (2022)

CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming
von: Eriksson, Oscar, et al.
Veröffentlicht: (2025)

Newtonian Program Analysis of Probabilistic Programs
von: Wang, Di, et al.
Veröffentlicht: (2023)

Multi-Language Probabilistic Programming
von: Stites, Sam, et al.
Veröffentlicht: (2025)

(Dis)Proving Spectre Security with Speculation-Passing Style
von: Arranz-Olmos, Santiago, et al.
Veröffentlicht: (2025)

Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
von: Boreale, Michele, et al.
Veröffentlicht: (2025)

Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
von: Boreale, Michele, et al.
Veröffentlicht: (2026)

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages
von: Vidal, Germán
Veröffentlicht: (2023)

Probabilistic Programs of Thought
von: Garg, Poorva, et al.
Veröffentlicht: (2026)

Probabilistic Interval Analysis of Unreliable Programs
von: Das, Dibyendu, et al.
Veröffentlicht: (2024)

A Direct-Style Effect Notation for Sequential and Parallel Programs
von: Richter, David, et al.
Veröffentlicht: (2023)

Fast Collection Operations from Indexed Stream Fusion
von: Kovach, Scott, et al.
Veröffentlicht: (2025)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
von: Li, Kwing Hei, et al.
Veröffentlicht: (2025)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
von: Haselwarter, Philipp G., et al.
Veröffentlicht: (2024)

Minuska: Towards a Formally Verified Programming Language Framework
von: Tušil, Jan, et al.
Veröffentlicht: (2024)

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
von: Bagrel, Thomas
Veröffentlicht: (2026)

Caesar: A Deductive Verifier for Probabilistic Programs
von: Schröer, Philipp, et al.
Veröffentlicht: (2026)

Sound Interval-Based Synthesis for Probabilistic Programs
von: Espada, Guilherme, et al.
Veröffentlicht: (2025)

Data-Driven Invariant Learning for Probabilistic Programs
von: Bao, Jialu, et al.
Veröffentlicht: (2021)

Refuting Equivalence in Probabilistic Programs with Conditioning
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2025)

Equivalence and Similarity Refutation for Probabilistic Programs
von: Chatterjee, Krishnendu, et al.
Veröffentlicht: (2024)

DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
von: Fedchin, Aleksandr, et al.
Veröffentlicht: (2025)

Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
von: Batz, Kevin, et al.
Veröffentlicht: (2025)

Bit Blasting Probabilistic Programs
von: Garg, Poorva, et al.
Veröffentlicht: (2023)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
von: Li, Kwing Hei, et al.
Veröffentlicht: (2025)

A Language-Agnostic Logical Relation for Message-Passing Protocols
von: Zhang, Tesla, et al.
Veröffentlicht: (2025)

Explaining Explanations in Probabilistic Logic Programming
von: Vidal, Germán
Veröffentlicht: (2024)

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
von: Nagy, Shaan, et al.
Veröffentlicht: (2024)

Beyond Pass-by-Pass Optimization: Intent-Driven IR Optimization with Large Language Models
von: Qiu, Lei, et al.
Veröffentlicht: (2026)

Weighted Automata for Exact Inference in Discrete Probabilistic Programs
von: Geißler, Dominik, et al.
Veröffentlicht: (2025)

Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
von: Wang, Peixin, et al.
Veröffentlicht: (2023)

DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling
von: Randone, Francesca, et al.
Veröffentlicht: (2026)

Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
von: Lim, Sangho, et al.
Veröffentlicht: (2025)

Piecewise Analysis of Probabilistic Programs via $k$-Induction
von: Yang, Tengshun, et al.
Veröffentlicht: (2024)

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
von: Aguirre, Alejandro, et al.
Veröffentlicht: (2024)

A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs
von: Amtoft, Torben, et al.
Veröffentlicht: (2024)

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

Denotational Semantics for Probabilistic and Concurrent Programs
von: Zilberstein, Noam, et al.
Veröffentlicht: (2025)

Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
von: Derakhshan, Farzaneh, et al.
Veröffentlicht: (2025)