GPU-Accelerated Belief Propagation for Program Analysis

arXiv:2509.22337 · cs.SE · Submitted 2025-09-26 · Read on arXiv

cs.SE

Submitted: 2025-09-26

Updated: 2026-10-24

Terminology

• Belief Propagation — 2× in this paper
• Accuracy — 1× in this paper · explained in 1 episode

Related papers

• Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
• GitSkills: A Dataset of Agent Skills on GitHub
• For Coding Agents, the Repository Matters
• SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
• PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
• IntentCoding: Amplifying User Intent in Code Generation