Copertina

Series-Parallel-Loop Decompositions of Control-flow Graphs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Cai, Xuran, Goharshady, Amir, Hitarth, S, Lam, Chun Kit
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Efficient Algorithms for Partial Constraint Satisfaction Problems over Control-flow Graphs
di: Cai, Xuran, et al.
Pubblicazione: (2026)

Template-based Program Synthesis using Stellensätze
di: Goharshady, Amir Kafshdar, et al.
Pubblicazione: (2022)

Enhancing Compiler Optimization Efficiency through Grammatical Decompositions of Control-Flow Graphs
di: Cai, Xuran
Pubblicazione: (2025)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

Parameterized Algorithms and Complexity for Function Merging with Branch Reordering
di: Goharshady, Amir K., et al.
Pubblicazione: (2026)

PolyQEnt: A Polynomial Quantified Entailment Solver
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)

Polynomial Invariant Generation for Floating-Point Programs
di: Cai, Xuran, et al.
Pubblicazione: (2025)

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)

SuperDP: Differential Privacy Refutation via Supermartingales
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2026)

The Parallel Semantics Program Dependence Graph
di: Homerding, Brian, et al.
Pubblicazione: (2024)

WEX: Formal Specifications for Windows in Stream Processing
di: Hitarth, S, et al.
Pubblicazione: (2022)

SpecLoop: An Agentic RTL-to-Specification Framework with Formal Verification Feedback Loop
di: Chang, Fu-Chieh, et al.
Pubblicazione: (2026)

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

(Un)Solvable Loop Analysis
di: Amrollahi, Daneshvar, et al.
Pubblicazione: (2023)

Functional Meaning for Parallel Streaming
di: Rioux, Nick, et al.
Pubblicazione: (2025)

Opportunistically Parallel Lambda Calculus
di: Mell, Stephen, et al.
Pubblicazione: (2024)

Polar: An Algebraic Analyzer for (Probabilistic) Loops
di: Moosbrugger, Marcel, et al.
Pubblicazione: (2026)

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

E-Path: Equality Saturation for Control-Flow Graphs
di: Garcia, Guillermo
Pubblicazione: (2026)

Parallel Dual-Numbers Reverse AD
di: Smeding, Tom, et al.
Pubblicazione: (2022)

Controllable and Reliable Knowledge-Intensive Task-Oriented Conversational Agents with Declarative Genie Worksheets
di: Joshi, Harshit, et al.
Pubblicazione: (2024)

Learning Task Decomposition to Assist Humans in Competitive Programming
di: Wen, Jiaxin, et al.
Pubblicazione: (2024)

Ranking Functions for Linear-Constraint Loops
di: Ben-Amram, Amir M., et al.
Pubblicazione: (2012)

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

Lessons Learned So Far From a Community Effort to Verify the Rust Standard Library (work-in-progress)
di: Blanc, Alex Le, et al.
Pubblicazione: (2025)

Surveying the Rust Verification Landscape
di: Blanc, Alex Le, et al.
Pubblicazione: (2024)

Probing the Design Space: Parallel Versions for Exploratory Programming
di: Beckmann, Tom, et al.
Pubblicazione: (2025)

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

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

BALI: Branch-Aware Loop Invariant Inference with Large Language Models
di: Wang, Mingxiu, et al.
Pubblicazione: (2025)

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

DITRON: Distributed Multi-level Tiling Compiler for Parallel Tensor Programs
di: Zheng, Size, et al.
Pubblicazione: (2026)

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs
di: Xu, Ziyun, et al.
Pubblicazione: (2025)

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

Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
di: Liu, Chang, et al.
Pubblicazione: (2023)

Decomposition-Based Synthesis for Applying Divide-and-Conquer-Like Algorithmic Paradigms
di: Ji, Ruyi, et al.
Pubblicazione: (2022)

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
di: Andrès, Léo, et al.
Pubblicazione: (2024)

Fully Symbolic Analysis of Loop Locality: Using Imaginary Reuse to Infer Real Performance
di: Zhu, Yifan, et al.
Pubblicazione: (2026)

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