:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bao, Jialu, Trivedi, Nitesh, Pathak, Drashti, Hsu, Justin, Roy, Subhajit
Format:	Preprint
Veröffentlicht:	2021
Schlagworte:	Programming Languages
Online-Zugang:	https://arxiv.org/abs/2106.05421
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning
von: Bao, Jialu, et al.
Veröffentlicht: (2024)

Enabling Memory Safety of C Programs using LLMs
von: Mohammed, Nausheen, et al.
Veröffentlicht: (2024)

Synthesizing Abstract Transformers for Reduced-Product Domains
von: Kalita, Pankaj Kumar, et al.
Veröffentlicht: (2024)

Probabilistic Guarantees for Practical LIA Loop Invariant Automation
von: Kumar, Ashish, et al.
Veröffentlicht: (2024)

Data-Driven Template-Free Invariant Generation
von: Xia, Yuan, et al.
Veröffentlicht: (2023)

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

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

Synthesizing Backward Error Bounds, Backward
von: Zielinski, Laura, et al.
Veröffentlicht: (2026)

A Hoare Logic for Symmetry Properties
von: Mehta, Vaibhav, et al.
Veröffentlicht: (2025)

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

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

Data Petri Nets meet Probabilistic Programming (Extended version)
von: Kuhn, Martin, et al.
Veröffentlicht: (2024)

Polynomial Invariant Generation for Floating-Point Programs
von: Cai, Xuran, et al.
Veröffentlicht: (2025)

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)

Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
von: Haase, Darion, et al.
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)

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

Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
von: Zilberstein, Noam, et al.
Veröffentlicht: (2024)

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)

Numerical Fuzz: A Type System for Rounding Error Analysis
von: Kellison, Ariel E., et al.
Veröffentlicht: (2024)

SafeTree: Expressive Tree Policies for Microservices
von: Grewal, Karuna, et al.
Veröffentlicht: (2025)

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

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

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

Ranking LLM-Generated Loop Invariants for Program Verification
von: Chakraborty, Saikat, et al.
Veröffentlicht: (2023)

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

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

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

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

Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
von: Liu, Chang, et al.
Veröffentlicht: (2023)

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming
von: Wu, Hao, et al.
Veröffentlicht: (2023)

Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
von: Wei, Anjiang, et al.
Veröffentlicht: (2025)

RefineStat: Efficient Exploration for Probabilistic Program Synthesis
von: Kanda, Madhav, et al.
Veröffentlicht: (2025)

Probabilistic Programming with Programmable Variational Inference
von: Becker, McCoy R., et al.
Veröffentlicht: (2024)

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

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)