:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Lundén, Daniel, Hummelgren, Lars, Kudlicka, Jan, Eriksson, Oscar, Broman, David
Format:	Preprint
Published:	2023
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2302.13051
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Real-Time Probabilistic Programming
by: Hummelgren, Lars, et al.
Published: (2023)

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

CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming
by: Eriksson, Oscar, et al.
Published: (2025)

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

Multi-Language Probabilistic Programming
by: Stites, Sam, et al.
Published: (2025)

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

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

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

Probabilistic Programs of Thought
by: Garg, Poorva, et al.
Published: (2026)

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages
by: Vidal, Germán
Published: (2023)

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

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

A Direct-Style Effect Notation for Sequential and Parallel Programs
by: Richter, David, et al.
Published: (2023)

Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
by: Li, Kwing Hei, et al.
Published: (2025)

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

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

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

Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings
by: Bagrel, Thomas
Published: (2026)

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

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

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

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

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

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

Bit Blasting Probabilistic Programs
by: Garg, Poorva, et al.
Published: (2023)

Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
by: Li, Kwing Hei, et al.
Published: (2025)

DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
by: Fedchin, Aleksandr, et al.
Published: (2025)

Piecewise Analysis of Probabilistic Programs via $k$-Induction
by: Yang, Tengshun, et al.
Published: (2024)

Explaining Explanations in Probabilistic Logic Programming
by: Vidal, Germán
Published: (2024)

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

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs
by: Aguirre, Alejandro, et al.
Published: (2024)

Scorch: A Library for Sparse Deep Learning
by: Yan, Bobby, et al.
Published: (2024)

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

Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs
by: Nagy, Shaan, et al.
Published: (2024)

A Language-Agnostic Logical Relation for Message-Passing Protocols
by: Zhang, Tesla, et al.
Published: (2025)

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

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

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

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

PassNet: Scaling Large Language Models for Graph Compiler Pass Generation
by: Liu, Yiqun, et al.
Published: (2026)