Copertina

CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Eriksson, Oscar, Thuné, Anders Ågren, Borgström, Johannes, Broman, David
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Repr Types: One Abstraction to Rule Them All
di: Palmkvist, Viktor, et al.
Pubblicazione: (2024)

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

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

Expression Acceleration: Seamless Parallelization of Typed High-Level Languages
di: Hummelgren, Lars, et al.
Pubblicazione: (2022)

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

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

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

Fast Collection Operations from Indexed Stream Fusion
di: Kovach, Scott, et al.
Pubblicazione: (2025)

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

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

A Graded Modal Dependent Type Theory with Erasure, Formalized
di: Abel, Andreas, et al.
Pubblicazione: (2026)

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

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

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

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

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)

Can Language Models Solve Olympiad Programming?
di: Shi, Quan, et al.
Pubblicazione: (2024)

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)

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

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

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

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
di: Böhler, Timon, et al.
Pubblicazione: (2026)

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

A Fixed Point Iteration Technique for Proving Correctness of Slicing for Probabilistic Programs
di: Amtoft, Torben, et al.
Pubblicazione: (2024)

Denotational Semantics for Probabilistic and Concurrent Programs
di: Zilberstein, Noam, et al.
Pubblicazione: (2025)

SSA without Dominance for Higher-Order Programs
di: Leißa, Roland, et al.
Pubblicazione: (2026)

PIP: Making Andersen's Points-to Analysis Sound and Practical for Incomplete C Programs
di: Krogstie, Håvard Rognebakke, et al.
Pubblicazione: (2025)

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

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

RefineStat: Efficient Exploration for Probabilistic Program Synthesis
di: Kanda, Madhav, et al.
Pubblicazione: (2025)

Corps: A Core Calculus of Hierarchical Choreographic Programming
di: Hirsch, Andrew K.
Pubblicazione: (2024)

Probabilistic Programming with Programmable Variational Inference
di: Becker, McCoy R., et al.
Pubblicazione: (2024)

Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
di: Geißler, Dominik, et al.
Pubblicazione: (2025)

Data Petri Nets meet Probabilistic Programming (Extended version)
di: Kuhn, Martin, et al.
Pubblicazione: (2024)

Approximate Relational Reasoning for Higher-Order Probabilistic Programs
di: Haselwarter, Philipp G., et al.
Pubblicazione: (2024)

Minuska: Towards a Formally Verified Programming Language Framework
di: Tušil, Jan, et al.
Pubblicazione: (2024)

Programming Frameworks for Differential Privacy
di: Gaboardi, Marco, et al.
Pubblicazione: (2024)