We gratefully acknowledge support from
the Simons Foundation and member institutions.

Programming Languages

Authors and titles for recent submissions

[ total of 26 entries: 1-25 | 26 ]
[ showing 25 entries per page: fewer | more | all ]

Wed, 13 May 2026

[1]  arXiv:2605.12239 [pdf, ps, other]
Title: Harness Engineering as Categorical Architecture
Authors: Bogdan Banu
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Category Theory (math.CT)
[2]  arXiv:2605.12091 [pdf, ps, other]
Title: Automated Amortised Analysis of Skew Heaps and Leftist Heaps (Extended Version)
Comments: 41 Pages, 12 Figures. Extended version of the paper to appear in the proceedings of the 38th International Conference on Computer Aided Verification (CAV 2026)
Subjects: Programming Languages (cs.PL)
[3]  arXiv:2605.12275 (cross-list from cs.SE) [pdf, ps, other]
Title: Minimalistic Terminal Editor for Julia Programming -- MinTEJ: A Friendly Approach for a Scientific Programmer
Comments: 15 Pages, 42 figures
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)

Tue, 12 May 2026

[4]  arXiv:2605.10625 [pdf, ps, other]
Title: Verifying Sequential Consistency under Bounded Preemptions
Comments: A shorter version has been accepted at NETYS 2026 - 14th edition of the International Conference on Networked Systems
Subjects: Programming Languages (cs.PL)
[5]  arXiv:2605.10007 [pdf, ps, other]
Title: Formal Verification of Imperative First-Class Functions in Move
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[6]  arXiv:2605.10005 [pdf, ps, other]
Title: Combining Mechanical and Agentic Specification Inference for Move
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[7]  arXiv:2605.09491 [pdf, ps, other]
Title: Categorical Message Passing Language (CaMPL) for programmers
Comments: 14 pages
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)
[8]  arXiv:2605.09411 [pdf, ps, other]
Title: Persistent Amortised Analysis, Operationally
Authors: Anton Lorenzen
Comments: To be published in ICALP 2026
Subjects: Programming Languages (cs.PL)
[9]  arXiv:2605.08927 [pdf, ps, other]
Title: Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development
Authors: Martin Rinard
Subjects: Programming Languages (cs.PL)
[10]  arXiv:2605.08369 [pdf, ps, other]
Title: First-Class Refinement Types for Scala
Comments: 27 pages, 12 figures, including appendix
Subjects: Programming Languages (cs.PL)
[11]  arXiv:2605.08247 [pdf, ps, other]
Title: LLM Translation of Compiler Intermediate Representation
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI)
[12]  arXiv:2605.08243 [pdf, ps, other]
Title: GPU-Accelerated Synthesis of Mixed-Boolean Arithmetic: Beyond Caching
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG)
[13]  arXiv:2605.10913 (cross-list from cs.AI) [pdf, ps, other]
Title: Shepherd: A Runtime Substrate Empowering Meta-Agents with a Formalized Execution Trace
Comments: 56 pages, 21 figures, 14 tables
Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL); Software Engineering (cs.SE)
[14]  arXiv:2605.09610 (cross-list from cs.MA) [pdf, ps, other]
Title: SmartEval: A Benchmark for Evaluating LLM-Generated Smart Contracts from Natural Language Specifications
Subjects: Multiagent Systems (cs.MA); Artificial Intelligence (cs.AI); Computational Engineering, Finance, and Science (cs.CE); Machine Learning (cs.LG); Programming Languages (cs.PL); Software Engineering (cs.SE)
[15]  arXiv:2605.08455 (cross-list from cs.LG) [pdf, ps, other]
Title: CUDABeaver: Benchmarking LLM-Based Automated CUDA Debugging
Comments: 25 pages, 5 figures
Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL); Software Engineering (cs.SE)
[16]  arXiv:2605.08419 (cross-list from cs.CR) [pdf, ps, other]
Title: Deterministic Fully-Static Whole-Binary Translation without Heuristics
Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL)

Mon, 11 May 2026

[17]  arXiv:2605.06972 [pdf, ps, other]
Title: A New Interaction Concept for Interactive and Autoactive Program Verification
Comments: 13 pages, 10 figures; Manuscript accepted at FTfJP'26
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[18]  arXiv:2605.06803 [pdf, ps, other]
Title: Bounding Fixed Points of Non-Monotone Processes: Theory to Practice
Subjects: Programming Languages (cs.PL)
[19]  arXiv:2605.07782 (cross-list from cs.CL) [pdf, ps, other]
Title: CktFormalizer: Autoformalization of Natural Language into Circuit Representations
Subjects: Computation and Language (cs.CL); Programming Languages (cs.PL)

Fri, 8 May 2026

[20]  arXiv:2605.05282 [pdf, ps, other]
Title: Beyond BLEU: A Semantic Evaluation Method for Code Translation
Subjects: Programming Languages (cs.PL); Computation and Language (cs.CL)
[21]  arXiv:2605.05248 [pdf, ps, other]
Title: Governed Metaprogramming for Intelligent Systems: Reclassifying Eval as a Governed Effect
Authors: Alan L. McCann
Comments: 15 pages. Companion proofs: this https URL Project: this https URL Update: Title typo fix
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI)
[22]  arXiv:2605.06184 (cross-list from cs.SE) [pdf, ps, other]
Title: Teaching LLMs Program Semantics via Symbolic Execution Traces
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Programming Languages (cs.PL)

Thu, 7 May 2026 (showing first 3 of 4 entries)

[23]  arXiv:2605.04933 [pdf, ps, other]
Title: Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification
Subjects: Programming Languages (cs.PL)
[24]  arXiv:2605.04377 [pdf, ps, other]
Title: Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
Comments: NASA Formal Methods
Subjects: Programming Languages (cs.PL)
[25]  arXiv:2605.04232 (cross-list from cs.LO) [pdf, ps, other]
Title: Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
Comments: Long version of the eponymous OOPSLA 2026 paper
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Numerical Analysis (math.NA)
[ total of 26 entries: 1-25 | 26 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2605, contact, help  (Access key information)