Cover Image

Polar: An Algebraic Analyzer for (Probabilistic) Loops

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Moosbrugger, Marcel, Müllner, Julian, Bartocci, Ezio, Kovács, Laura
Format:	Preprint
Published:	2026
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

(Un)Solvable Loop Analysis
by: Amrollahi, Daneshvar, et al.
Published: (2023)

Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments
by: Kofnov, Andrey, et al.
Published: (2022)

Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments
by: Kofnov, Andrey, et al.
Published: (2023)

Model Checking Probabilistic Operator Precedence Automata
by: Pontiggia, Francesco, et al.
Published: (2024)

Moment-based Density Elicitation with Applications in Probabilistic Loops
by: Kofnov, Andrey, et al.
Published: (2023)

Modular Probabilistic Models via Algebraic Effects
by: Nguyen, Minh, et al.
Published: (2022)

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
by: King, Daragh, et al.
Published: (2025)

Probabilistic Guarantees for Practical LIA Loop Invariant Automation
by: Kumar, Ashish, et al.
Published: (2024)

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

Algebraic Tools for Computing Polynomial Loop Invariants
by: Bayarmagnai, Erdenebayar, et al.
Published: (2024)

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

Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
by: Bayarmagnai, Erdenebayar, et al.
Published: (2024)

Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops (Extended Version)
by: Haase, Darion, et al.
Published: (2026)

POPACheck: A Model Checker for Probabilistic Pushdown Automata
by: Pontiggia, Francesco, et al.
Published: (2025)

AutoLALA: Automatic Loop Algebraic Locality Analysis for AI and HPC Kernels
by: Zhu, Yifan, et al.
Published: (2026)

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
by: Bayarmagnai, Erdenebayar, et al.
Published: (2025)

Remarks on Algebraic Reconstruction of Types and Effects
by: Balik, Patrycja, et al.
Published: (2026)

Towards Algebraic Subtyping for Extensible Records
by: Marques, Rodrigo, et al.
Published: (2024)

Signature Restriction for Polymorphic Algebraic Effects
by: Sekiyama, Taro, et al.
Published: (2020)

Information-flow Interfaces and Security Lattices
by: Bartocci, Ezio, et al.
Published: (2024)

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
by: Kammar, Ohad, et al.
Published: (2026)

FreeCHR: An Algebraic Framework for CHR-Embeddings
by: Rechenberger, Sascha, et al.
Published: (2023)

LoopSCC: Towards Summarizing Multi-branch Loops within Determinate Cycles
by: Zhu, Kai, et al.
Published: (2024)

From Algebraic Word Problem to Program: A Formalized Approach
by: Wiemerslage, Adam, et al.
Published: (2020)

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

Joint Distributions in Probabilistic Semantics
by: Kozen, Dexter, et al.
Published: (2023)

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

Toward Verified Library-Level Choreographic Programming with Algebraic Effects
by: Shen, Gan, et al.
Published: (2024)

Analyzing LLM Instruction Optimization for Tabular Fact Verification
by: Du, Xiaotang, et al.
Published: (2026)

A Denotational Semantics for Quantum Loops
by: Assolini, Nicola, et al.
Published: (2025)

A Gradual Probabilistic Lambda Calculus
by: Ye, Wenjia, et al.
Published: (2026)

Probabilistic Inference for Datalog with Correlated Inputs
by: Wang, Jingbo, et al.
Published: (2025)

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

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

Let a Thousand Flowers Bloom: An Algebraic Representation for Edge Graphs
by: Liell-Cock, Jack, 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)

An Incremental Algorithm for Algebraic Program Analysis
by: Zhou, Chenyu, et al.
Published: (2024)

C Analyzer : A Static Program Analysis Tool for C Programs
by: Solanki, Rajendra Kumar
Published: (2024)