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)
Authors: Armin Walch, Georg Moser, Berry Schoenmakers, Florian Zuleger
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
Authors: Poornachandratejasvi Laxman Bhattar, Payal V. Dahiwale, Krishnarjunulu Thota, Anurag Sharma
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
Authors: R. Govind, S. Krishna, Sanchari Sil, B. Srivathsan
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
Authors: Wolfgang Grieskamp, Teng Zhang, Vineeth Kashyap, Jake Silverman
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
Authors: Wolfgang Grieskamp, Teng Zhang, Vineeth Kashyap
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
Authors: Daniel Kiyoshi Hashimoto, Alexanna Little Berg, Priyaa Varshinee Srinivasan
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
Authors: Matt Bovel, Viktor Kunčak, Martin Odersky
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
Authors: Andrea Valenzuela Ramirez, Cristian Gutierrez-Gomez, Marta Barroso, Dario Garcia-Gasulla, Sara Royuela
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
Authors: Gabriel Bathie, Baptiste Mouillon, Nathanaël Fijalkow
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
Authors: Simon Yu, Derek Chong, Ananjan Nandi, Dilara Soylu, Jiuding Sun, Christopher D Manning, Weiyan Shi
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
Authors: Abhinav Goel, Agostino Capponi, Alfio Gliozzo, Chaitya Shah
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
Authors: Shiyang Li, Haoyang Chen, Mattia Fazzini, Caiwen Ding
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
Authors: Hongyu Chen, James McGowan, Michael Franz
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
Authors: Wolfram Pfeifer, Mattias Ulbrich, Daniel Drodt
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
Authors: Abdullah H. Rasheed, Vijay K. Garg
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
Authors: Jing Xiong, Qi Han, Chenchen Ding, He Xiao, Zunhai Su, Chaofan Tao, Ngai Wong
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
Authors: Julius Näumann, Sven Keidel, Amir Molzam Sharifloo, Mira Mezini
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
Authors: Jonas Bayer, Stefan Zetzsche, Olivier Bouissou, Remi Delmas, Michael Tautschnig, Soonho Kong
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
Authors: Shuanglong Kan, Sebastian Ertel
Subjects: Programming Languages (cs.PL)
[24]  arXiv:2605.04377 [pdf, ps, other]
Title: Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
Authors: Serra Z. Dane, Jiawei Chen, Marc Pouzet, Jean-Baptiste Jeannin
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
Authors: Yichen Tao, Hongfei Fu, Jiawei Chen, Jean-Baptiste Jeannin
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)