cs.PL

Papers

• Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization (2026)
  Anmol Agarwal et al.
  6.98
• CompilerDream: Learning a Compiler World Model for General Code Optimization (2026)
  Chaoyi Deng et al.
  —
• From Reasoning to Code: GRPO Optimization for Underrepresented Languages (2026)
  Federico Pennino et al.
  —
• Which Is Better For Reducing Outdated and Vulnerable Dependencies: Pinning or Floating? (2026)
  Imranur Rahman et al.
  —
• Morphling: Fast, Fused, and Flexible GNN Training at Scale (2026)
  Anubhab et al.
  —
• Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop (2026)
  Roberto Rossi et al.
  —
• LLMs versus the Halting Problem: Characterizing Program Termination Reasoning (2026)
  Oren Sultan et al.
  —
• TorchLean: Formalizing Neural Networks in Lean (2026)
  Robert Joseph George et al.
  —
• M$^\star$: Every Task Deserves Its Own Memory Harness (2026)
  Wenbo Pan et al.
  —
• Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries (2026)
  Alan L. McCann
  —
• Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries (2026)
  Alan L. McCann
  —
• Certified Purity for Cognitive Workflow Executors: From Static Analysis to Cryptographic Attestation (2026)
  Alan L. McCann
  —
• Governed Metaprogramming for Intelligent Systems: Reclassifying Eval as a Governed Effect (2026)
  Alan L. McCann
  —
• CUDABeaver: Benchmarking LLM-Based Automated CUDA Debugging (2026)
  Shiyang Li et al.
  —
• Shepherd: A Runtime Substrate Empowering Meta-Agents with a Formalized Execution Trace (2026)
  Simon Yu et al.
  —
• Sutra: Tensor-Op RNNs as a Compilation Target for Vector Symbolic Architectures (2026)
  Emma Leonhart
  —
• Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems (2026)
  Shubham Agarwal et al.
  —
• Agentic Proving for Program Verification (2026)
  Alessandro Sosso et al.
  —
• Context: Proactive Goal-Directed Intelligence via Composable Sandboxed Programs, Declarative Wiring, and Structured Interaction (2026)
  Gregory Magarshak
  —
• BODHI: Precise OS Kernel Specification Inference (2026)
  Zhiming Chang et al.
  —
• Agentic Separation Logic Specification Synthesis (2026)
  Tarun Suresh et al.
  —
• FPMoE: A Sparse Mixture-of-Experts Approach to Functional Code Generation (2026)
  Loc Pham et al.
  —
• Skill-as-Pseudocode: Refactoring Skill Libraries to Pseudocode for LLM Agents (2026)
  Xinze Li et al.
  —
• LACUNA: Safe Agents as Recursive Program Holes (2026)
  Yaoyu Zhao et al.
  —
• PassNet: Scaling Large Language Models for Graph Compiler Pass Generation (2026)
  Yiqun Liu et al.
  —