Applied & Human-Centered · Computer Science & AI
Programming Languages
The newest papers in Programming Languages that ReadSearch has read, newest first. Each links to its own page, with its authors, date, where it was published and the original.
81 papers, from 4 September 2026 to 4 November 2026: 81 arXiv preprints.
Get the few papers worth your time in Programming Languages every morning.
Follow Programming Languages and ReadSearch reads its new papers each day, then brings you the few worth reading, each with its key finding in a sentence.
Newest papers, page 2
Responsibility Boundaries for Agentic Systems: A Comparative Evaluation of Probabilistic Agentic Programming
Language-model agents combine reasoning, tools, memory, delegation, and external effects.Typed Template Fuzzing
Fuzzing software with complex inputs has been a longstanding challenge.RegoMender: A Multi-agent Framework for Automated Rego Policy Repair
Policy-as-Code (PaC) has emerged as a foundational paradigm in cloud-native systems.TrustedCode: Evaluating Large Language Models for Developing Trusted Code through Automated Program Verification
Recent reports, such as "Who is using AI to code?", indicate that approximately 30\% of Python code contributions to GitHub are AI-generated.ExeBench-FHD: Addressing Fidelity Issues in Decompiler Evaluation
ExeBench is one of the most widely used benchmarks for evaluating LLM-based decompilers.Agentic Verified Optimization of Real-World Software
Program optimization aims to improve performance while preserving behavior.Runtime Semantic Discovery for Evolving Action Alphabets
Runtime Verification typically assumes a fixed alphabet of observable actions.Conjugate Compilation: Self-Improving Agentic Co-Compilation for Speculative Decoding
As LLM adoption surges, scaling model serving requires unlocking stranded GPU capacity alongside deploying more GPUs.Pattern-Driven Evaluation of LLM Code Optimization: Isolating Compiler-Transcendent Semantic Reasoning
Existing evaluations of LLM-based code optimization primarily measure end-to-end speedup, obscuring whether a model actually performs the intended optimization.VulnSAGE: Adjudicating SAST Reports by Connecting LLM Reasoning to Program Structure
Static Application Security Testing (SAST) reports flag operations whose safety depends on project-specific context, and maintainers must decide which reports describe real defects.Where Does the Performance Go? Understanding and Recovering Performance Regressions in C-to-Rust Translation
Rust is increasingly adopted as a memory-safe successor to C, and transpilers such as \crust{} can migrate entire C projects while preserving their behavior.FAOPs: Normal Forms and an Algebra for AI Agent Workflows
Organizations increasingly encode operational procedures as multi-step agent skills, here called Agent Operating Procedures (AOPs), that must be traceable, auditable, reproducible…Are We Testing the Wrong Quantum Bugs? A Study of Fault Representation Gaps in Quantum Software Testing
Quantum software relies on compilers, intermediate representations, and execution frameworks that transform programs before execution.Recursive Formation and First-Class Reuse of Compositional Capabilities
We introduce FormCraft, a framework for representing acquired operations as first-class capabilities that can be recursively composed, directly invoked, and selectively retained in a persistent…MolLean: A Process-Verifiable Language for Chemical Reasoning
Chemical chain-of-thought can contain hallucinated structural and property claims.QEDIA: Quantum Program Verification in Lean
Practical quantum programs interleave quantum and classical computation: classical data shape the quantum operations that are performed, and measurement outcomes shape the classical computation that…Soliduzz: Finding Miscompilations in Smart-Contract Compilers with Assertion-Driven Equivalence Oracles
Smart contracts compiled to the Ethereum Virtual Machine (EVM) can manage high-value assets and are difficult to patch after deployment.LLMs program using Reusable and Composable Abstract Representations
When writing code, the same computation can be expressed in different programming languages and through different implementation strategies.claimcheck: Measuring and Improving Specification Faithfulness
Formal verification proves that a program satisfies its specification, but says nothing about whether the specification captures what the author meant.sGLP: Simulating People with Stochastic Agents
Grassroots platforms are designed to be owned, operated and governed by their participants, and thus are constituted from person-to-person smartphone apps that are run by the participants.