:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Cai, Xuran, Goharshady, Amir, Hitarth, S, Lam, Chun Kit
Format:	Preprint
Publié:	2026
Sujets:	Programming Languages
Accès en ligne:	https://arxiv.org/abs/2602.07627
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs
par: Cai, Xuran, et autres
Publié: (2026)

Template-based Program Synthesis using Stellensätze
par: Goharshady, Amir Kafshdar, et autres
Publié: (2022)

Enhancing Compiler Optimization Efficiency through Grammatical Decompositions of Control-Flow Graphs
par: Cai, Xuran
Publié: (2025)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
par: Chatterjee, Krishnendu, et autres
Publié: (2024)

Parameterized Algorithms and Complexity for Function Merging with Branch Reordering
par: Goharshady, Amir K., et autres
Publié: (2026)

PolyQEnt: A Polynomial Quantified Entailment Solver
par: Chatterjee, Krishnendu, et autres
Publié: (2024)

Polynomial Invariant Generation for Floating-Point Programs
par: Cai, Xuran, et autres
Publié: (2025)

SuperDP: Differential Privacy Refutation via Supermartingales
par: Chatterjee, Krishnendu, et autres
Publié: (2026)

Refuting Equivalence in Probabilistic Programs with Conditioning
par: Chatterjee, Krishnendu, et autres
Publié: (2025)

Equivalence and Similarity Refutation for Probabilistic Programs
par: Chatterjee, Krishnendu, et autres
Publié: (2024)

WEX: Formal Specifications for Windows in Stream Processing
par: Hitarth, S, et autres
Publié: (2022)

The Parallel Semantics Program Dependence Graph
par: Homerding, Brian, et autres
Publié: (2024)

SpecLoop: An Agentic RTL-to-Specification Framework with Formal Verification Feedback Loop
par: Chang, Fu-Chieh, et autres
Publié: (2026)

Ranking Functions for Linear-Constraint Loops
par: Ben-Amram, Amir M., et autres
Publié: (2012)

LoopSCC: Towards Summarizing Multi-branch Loops within Determinate Cycles
par: Zhu, Kai, et autres
Publié: (2024)

Controllable and Reliable Knowledge-Intensive Task-Oriented Conversational Agents with Declarative Genie Worksheets
par: Joshi, Harshit, et autres
Publié: (2024)

(Un)Solvable Loop Analysis
par: Amrollahi, Daneshvar, et autres
Publié: (2023)

Functional Meaning for Parallel Streaming
par: Rioux, Nick, et autres
Publié: (2025)

Opportunistically Parallel Lambda Calculus
par: Mell, Stephen, et autres
Publié: (2024)

Polar: An Algebraic Analyzer for (Probabilistic) Loops
par: Moosbrugger, Marcel, et autres
Publié: (2026)

A Denotational Semantics for Quantum Loops
par: Assolini, Nicola, et autres
Publié: (2025)

Parallel Dual-Numbers Reverse AD
par: Smeding, Tom, et autres
Publié: (2022)

Learning Task Decomposition to Assist Humans in Competitive Programming
par: Wen, Jiaxin, et autres
Publié: (2024)

E-Path: Equality Saturation for Control-Flow Graphs
par: Garcia, Guillermo
Publié: (2026)

Lessons Learned So Far From a Community Effort to Verify the Rust Standard Library (work-in-progress)
par: Blanc, Alex Le, et autres
Publié: (2025)

Surveying the Rust Verification Landscape
par: Blanc, Alex Le, et autres
Publié: (2024)

Probabilistic Guarantees for Practical LIA Loop Invariant Automation
par: Kumar, Ashish, et autres
Publié: (2024)

Probing the Design Space: Parallel Versions for Exploratory Programming
par: Beckmann, Tom, et autres
Publié: (2025)

Extracting Protocol Format as State Machine via Controlled Static Loop Analysis
par: Shi, Qingkai, et autres
Publié: (2023)

A Direct-Style Effect Notation for Sequential and Parallel Programs
par: Richter, David, et autres
Publié: (2023)

Expression Acceleration: Seamless Parallelization of Typed High-Level Languages
par: Hummelgren, Lars, et autres
Publié: (2022)

BALI: Branch-Aware Loop Invariant Inference with Large Language Models
par: Wang, Mingxiu, et autres
Publié: (2025)

Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
par: Lim, Sangho, et autres
Publié: (2025)

DITRON: Distributed Multi-level Tiling Compiler for Parallel Tensor Programs
par: Zheng, Size, et autres
Publié: (2026)

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs
par: Xu, Ziyun, et autres
Publié: (2025)

Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
par: Böck, Markus, et autres
Publié: (2025)

Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
par: Liu, Chang, et autres
Publié: (2023)

Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms
par: Ji, Ruyi, et autres
Publié: (2022)

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
par: Andrès, Léo, et autres
Publié: (2024)

Fully Symbolic Analysis of Loop Locality: Using Imaginary Reuse to Infer Real Performance
par: Zhu, Yifan, et autres
Publié: (2026)