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
NUMA-Torch: Compiler-Driven NUMA-Aware LLM Prefill on Multi-Socket CPUs
For sufficiently large transformer-based Large Language Models (LLMs), whose parameters cannot be retained in on-chip caches, prefill throughput on multi-socket CPUs is often limited by sustainable…Reasoning about Shared-Qubit Concurrency in Quantum Computing
In this paper, we develop a semantic model for the parallel execution of quantum circuits, providing a formal foundation for studying shared-qubit concurrency in quantum computing.Warpline: Binary-Level Tracing and Unified Evidence for Agentic GPU Kernel Optimization
LLM agents are becoming GPU kernel engineers, but they still tune kernels without seeing where the time goes.An Investigation on Numerical Bugs in GPU Programs Towards Automated Bug Detection
General-purpose graphics processing unit (GPU) computing has emerged as a leading parallel computing paradigm, offering significant performance gains in various domains such as scientific computing…MBUndo: Sound, Automatic, and Efficient Measurement-Based Uncomputation for Quantum Circuits
Quantum programs that use temporary values, known as \emph{ancilla} qubits, must explicitly \emph{uncompute} each ancilla back to zero to ensure that the program produces correct outputs.Extensible Programmatic Specification of Finite Element Methods
Finite element methods (FEMs) are a powerful and ubiquitous tool for solving engineering problems.XLA from the Trenches: Correctness on TPU Workloads at Scale
Accelerating modern foundational models has pushed domain-specific compilers toward increasingly complex, multi-tiered optimization pipelines.WFDB-x: Conformance-Tested Implementations of the WFDB Software Package in Seven Programming Languages
The WFDB format is widely used to store and exchange physiological waveforms and annotations.te-comp: A Complete MLIR Compiler Generating Self-Contained C Inference Engines for MCUs
Deploying deep learning on microcontrollers (MCUs) requires fitting both the model weights and runtime activations within tens to hundreds of kilobytes of SRAM and Flash.VerusWeave: A Benchmark for Proof Repair in Concurrent Verus Programs
Concurrent software underpins critical infrastructure, including operating systems and databases, yet thread interactions can have bugs that bypass conventional testing.Automated Verification of Hamiltonian Simulation by Quantum Signal Processing
We present, to the best of our knowledge, the first fully automated verification framework for QSP-based Hamiltonian simulation.A Case Study of a Multi-Agent Kernel-Optimization Loop That Learns a New AI Accelerator
Frontier large language models write correct CUDA kernels for most single-operator benchmark tasks, yet their accuracy collapses on accelerators whose architecture and programming language they have…Write Once, Instrument Anywhere: Portable, Sandboxed Tooling with WebAssembly Components
Monitoring and debugging deployed software is crucial for scalability, performance, and robustness.Beyond atol and rtol: Sound Test Oracles for Low-Precision GPU Kernels
Low-precision GPU kernels are commonly tested against a reference using hand-picked absolute and relative tolerances.ProCerDCL: Query-Efficient Black-Box Probabilistic Verification of Deep Learning Compiler Optimization
We present \tool, a query-efficient framework for black-box probabilistic verification.AGDecode: Semantic Attribute Grammar Derivatives for Safety-Constrained Decoding of Large Language Models
Large language models (LLMs) are increasingly used for code generation, motivating techniques that guarantee the structural and semantic correctness of generated programs.BUSTA: Teaching Small Language Models to Reason About Binary Execution
Large Language Models (LLM) are increasingly applied to Reverse Engineering (RE) workflows.Executable Archaeology of Programs That Model Programming: Reanimating the Heuristic Compiler (1961) and KBEmacs (1984)
Early AI programs were often also theories of how people think, and programs that wrote programs were, in part, theories of how people program.Can Agentic Code Review Catch Vulnerabilities Before They Are Merged?
LLM agents have been increasingly adopted for security-focused code review, but existing benchmarks mostly derive the reviewed changes from their later fixes instead of the real-world…Are LLM-Generated Formal Specifications Faithful to Their Requirements? A Study on Bimodal Formal Specification Generation
Formal specification generation is a critical step towards formal verification and correctness assurance of software.