Programming Languages

Authors and titles for October 2025

[1] arXiv:2510.00210 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: The CoCompiler: DSL Lifting via Relational Compilation Show Chinese title

Title: CoCompiler：通过关系编译的DSL提升

Naomi Spargo (Galois), Santiago Cuéllar (Galois), Jonathan Daugherty (Galois), Chris Phifer (Galois), David Darais (Galois)

Comments: To be published in miniKanren 2025. 14 pages, 10 figures

Subjects: Programming Languages (cs.PL)

[2] arXiv:2510.01072 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: Lessons Learned So Far From Verifying the Rust Standard Library (work-in-progress) Show Chinese title

Title: 到目前为止验证 Rust 标准库的经验（进行中的工作）

Alex Le Blanc, Patrick Lam

Subjects: Programming Languages (cs.PL)

[3] arXiv:2510.02579 (cross-list from cs.PL) [cn-pdf, pdf, other]

Title: Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces Show Chinese title

Title: 设计Walrus：具有丰富类型、按需惰性以及结构化跟踪的关系编程

Santiago Cuéllar, Naomi Spargo, Jonathan Daugherty, David Darais

Comments: 20 pages, miniKanren 2025

Subjects: Programming Languages (cs.PL)

[4] arXiv:2510.03170 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: Beyond Cons: Purely Relational Data Structures Show Chinese title

Title: 超越共识：纯粹的关系型数据结构

Rafaello Sanna, William E. Byrd, Nada Amin

Comments: 17 pages, 6 figures, Source code available at https://www.github.com/rvs314/faster-clpset-minikanren . To be published in the 7th Workshop on miniKanren and Relational Programming (miniKanren'25)

Subjects: Programming Languages (cs.PL)

[5] arXiv:2510.03415 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: PLSemanticsBench: Large Language Models As Programming Language Interpreters Show Chinese title

Title: PLSemanticsBench：大型语言模型作为编程语言解释器

Aditya Thimmaiah, Jiyang Zhang, Jayanth Srinivasa, Junyi Jessy Li, Milos Gligoric

Subjects: Programming Languages (cs.PL) ; Artificial Intelligence (cs.AI) ; Computation and Language (cs.CL) ; Software Engineering (cs.SE)

[6] arXiv:2510.04049 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: Encoding Numeric Computations and Infusing Heuristic Knowledge Using Integrity Constraints in stableKanren Show Chinese title

Title: 使用稳定Kanren中的完整性约束对数值计算进行编码并注入启发式知识

Xiangyu Guo, Ajay Bansal

Comments: 12 pages, 2 figures, ICFP '25 The miniKanren and Relational Programming Workshop

Subjects: Programming Languages (cs.PL)

[7] arXiv:2510.04890 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: Retrofitting Control Flow Graphs in LLVM IR for Auto Vectorization Show Chinese title

Title: 在LLVM IR中进行控制流图的改造以实现自动向量化

Shihan Fang, Wenxin Zheng

Subjects: Programming Languages (cs.PL) ; Hardware Architecture (cs.AR) ; Software Engineering (cs.SE)

[8] arXiv:2510.04994 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: concurrentKanren: miniKanren for parallel execution Show Chinese title

Title: 并发Kanren：用于并行执行的miniKanren

Sjoerd Dost

Comments: 13 pages, 1 figure, for associated repo see https://github.com/deosjr/concurrentKanren

Subjects: Programming Languages (cs.PL)

[9] arXiv:2510.06296 (cross-list from cs.PL) [cn-pdf, pdf, other]

Title: VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code Show Chinese title

Title: VeriEquivBench：一种用于无真实值评估形式可验证代码的等价分数

Lingfei Zeng, Fengdi Che, Xuhan Huang, Fei Ye, Xu Xu, Binhang Yuan, Jie Fu

Subjects: Programming Languages (cs.PL) ; Artificial Intelligence (cs.AI)

[10] arXiv:2510.07582 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness Show Chinese title

Title: 类型、能力与效果系统：关于纯粹性、语义和表达性的观点

Yuyan Bao, Tiark Rompf

Subjects: Programming Languages (cs.PL)

[11] arXiv:2510.07851 (cross-list from cs.PL) [cn-pdf, pdf, other]

Title: The Functional Machine Calculus III: Control Show Chinese title

Title: 函数机演算 III：控制

Willem Heijltjes

Subjects: Programming Languages (cs.PL) ; Logic in Computer Science (cs.LO)

[12] arXiv:2510.08726 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: Neptune: Advanced ML Operator Fusion for Locality and Parallelism on GPUs Show Chinese title

Title: 海王星：用于GPU上局部性和并行性的高级机器学习操作融合

Yifan Zhao, Egan Johnson, Prasanth Chatarasi, Vikram Adve, Sasa Misailovic

Subjects: Programming Languages (cs.PL) ; Machine Learning (cs.LG)

[13] arXiv:2510.08889 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: Typestate via Revocable Capabilities Show Chinese title

Title: 通过可撤销权限的状态类型

Songlin Jia, Craig Liu, Siyuan He, Haotian Deng, Yuyan Bao, Tiark Rompf

Subjects: Programming Languages (cs.PL)

[14] arXiv:2510.08939 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer Show Chinese title

Title: 自由移动：具有流敏感效果的可达性类型，用于安全释放和所有权转移

Haotian Deng, Siyuan He, Songlin Jia, Yuyan Bao, Tiark Rompf

Subjects: Programming Languages (cs.PL)

[15] arXiv:2510.08969 (cross-list from cs.PL) [cn-pdf, pdf, other]

Title: Concept-Based Generic Programming in C++ Show Chinese title

Title: 基于概念的通用编程在C++中

Bjarne Stroustrup

Subjects: Programming Languages (cs.PL) ; Software Engineering (cs.SE)

[16] arXiv:2510.09591 (cross-list from cs.PL) [cn-pdf, pdf, other]

Title: A Multilingual Python Programming Language Show Chinese title

Title: 一种多语言Python编程语言

Saad Ahmed Bazaz, Mirza Omer Beg

Comments: For project homepage, see https://universalpython.github.io/

Subjects: Programming Languages (cs.PL)

[17] arXiv:2510.09726 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: Herb.jl: A Unifying Program Synthesis Library Show Chinese title

Title: Herb.jl：一个统一的程序合成库

Tilman Hinnerichs, Reuben Gardos Reid, Jaap de Jong, Bart Swinkels, Pamela Wochner, Nicolae Filat, Tudor Magurescu, Issa Hanou, Sebastijan Dumancic

Subjects: Programming Languages (cs.PL) ; Artificial Intelligence (cs.AI) ; Software Engineering (cs.SE)

[18] arXiv:2510.09932 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: ACT: Automatically Generating Compiler Backends from Tensor Accelerator ISA Descriptions Show Chinese title

Title: ACT：从张量加速器ISA描述自动生成编译器后端

Devansh Jain, Akash Pardeshi, Marco Frigo, Krut Patel, Kaustubh Khulbe, Jai Arora, Charith Mendis

Subjects: Programming Languages (cs.PL) ; Hardware Architecture (cs.AR)

[19] arXiv:2510.10015 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation Show Chinese title

Title: 通过验证和验证编译实现程序安全的端到端组合验证

Jinhua Wu, Yuting Wang, Liukun Yu, Linglong Meng

Subjects: Programming Languages (cs.PL)

[20] arXiv:2510.10209 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: LOOPerSet: A Large-Scale Dataset for Data-Driven Polyhedral Compiler Optimization Show Chinese title

Title: LOOPerSet：一个用于数据驱动多面体编译器优化的大规模数据集

Massinissa Merouani, Afif Boudaoud, Riyadh Baghdadi

Subjects: Programming Languages (cs.PL) ; Machine Learning (cs.LG) ; Performance (cs.PF)

[21] arXiv:2510.10216 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: Learning to Guarantee Type Correctness in Code Generation through Type-Guided Program Synthesis Show Chinese title

Title: 通过类型引导的程序合成来学习保证代码生成中的类型正确性

Zhechong Huang, Zhao Zhang, Ruyi Ji, Tingxuan Xia, Qihao Zhu, Qinxiang Cao, Zeyu Sun, Yingfei Xiong

Subjects: Programming Languages (cs.PL) ; Artificial Intelligence (cs.AI) ; Software Engineering (cs.SE)

[22] arXiv:2510.10219 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: Old is Gold: Optimizing Single-threaded Applications with Exgen-Malloc Show Chinese title

Title: 旧金：使用Exgen-Malloc优化单线程应用程序

Ruihao Li, Lizy K. John, Neeraja J. Yadwadkar

Subjects: Programming Languages (cs.PL)

[23] arXiv:2510.10410 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: A Trace-based Approach for Code Safety Analysis Show Chinese title

Title: 基于轨迹的代码安全分析方法

Hui Xu

Subjects: Programming Languages (cs.PL) ; Software Engineering (cs.SE)

[24] arXiv:2510.10517 (cross-list from cs.PL) [cn-pdf, pdf, other]

Title: ECO: Enhanced Code Optimization via Performance-Aware Prompting for Code-LLMs Show Chinese title

Title: ECO：通过性能感知提示的增强代码优化方法

Su-Hyeon Kim, Joonghyuk Hahn, Sooyoung Cha, Yo-Sub Han

Subjects: Programming Languages (cs.PL) ; Artificial Intelligence (cs.AI) ; Software Engineering (cs.SE)

[25] arXiv:2510.10531 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version) Show Chinese title

Title: 用于远程直接内存访问的经过验证的高性能可组合对象库（扩展版本）

Guillaume Ambal, George Hodgkins, Mark Madler, Gregory Chockler, Brijesh Dongol, Joseph Izraelevitz, Azalea Raad, Viktor Vafeiadis

Subjects: Programming Languages (cs.PL) ; Distributed, Parallel, and Cluster Computing (cs.DC) ; Logic in Computer Science (cs.LO) ; Systems and Control (eess.SY)

[26] arXiv:2510.11007 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version) Show Chinese title

Title: 摘要 用字方程定义的字符串域作为约简乘积（扩展版本）

Antonina Nepeivoda, Ilya Afanasyev

Subjects: Programming Languages (cs.PL) ; Formal Languages and Automata Theory (cs.FL)

[27] arXiv:2510.11420 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: HUGR: A Quantum-Classical Intermediate Representation Show Chinese title

Title: HUGR：量子-经典中间表示

Mark Koch, Agustín Borgna, Seyon Sivarajah, Alan Lawrence, Alec Edgington, Douglas Wilson, Craig Roy, Luca Mondada, Lukas Heidemann, Ross Duncan

Comments: 8 pages, extended abstract submitted to PlanQC25

Subjects: Programming Languages (cs.PL) ; Quantum Physics (quant-ph)

[28] arXiv:2510.11573 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: (Dis)Proving Spectre Security with Speculation-Passing Style Show Chinese title

Title: (不)用推测传递风格证明幽灵安全

Santiago Arranz-Olmos, Gilles Barthe, Lionel Blatter, Xingyu Xie, Zhiyuan Zhang

Subjects: Programming Languages (cs.PL)

[29] arXiv:2510.11751 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: Verifying Correctness of Shared Channels in a Cooperatively Scheduled Process-Oriented Language Show Chinese title

Title: 验证协作调度进程导向语言中共享通道的正确性

Jan Pedersen, Kevin Chalmers

Subjects: Programming Languages (cs.PL)

[30] arXiv:2510.11759 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: AwareCompiler: Agentic Context-Aware Compiler Optimization via a Synergistic Knowledge-Data Driven Framework Show Chinese title

Title: AwareCompiler：通过协同知识数据驱动框架的智能上下文感知编译优化

Hongyu Lin, Haolin Pan, Haoran Luo, Yuchen Li, Kaichun Yao, Libo Zhang, Mingjie Xing, Yanjun Wu

Subjects: Programming Languages (cs.PL) ; Artificial Intelligence (cs.AI)

[31] arXiv:2510.12131 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: Functional Reasoning for Distributed Systems with Failures Show Chinese title

Title: 带有故障的分布式系统的功能推理

Haobin Ni, Robbert van Renesse, Greg Morrisett

Subjects: Programming Languages (cs.PL)

[32] arXiv:2510.12295 (cross-list from cs.PL) [cn-pdf, pdf, other]

Title: Operational methods in semantics Show Chinese title

Title: 语义中的操作方法

Roberto M. Amadio

Subjects: Programming Languages (cs.PL) ; Logic in Computer Science (cs.LO)

[33] arXiv:2510.12582 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: GUPPY: Pythonic Quantum-Classical Programming Show Chinese title

Title: GUPPY：Python风格的量子-经典编程

Mark Koch, Alan Lawrence, Kartik Singhal, Seyon Sivarajah, Ross Duncan

Comments: Presented at the Fourth International Workshop on Programming Languages for Quantum Computing (PLanQC 2024)

Subjects: Programming Languages (cs.PL) ; Software Engineering (cs.SE) ; Quantum Physics (quant-ph)

[34] arXiv:2510.13082 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: Imperative Quantum Programming with Ownership and Borrowing in Guppy Show Chinese title

Title: 带有所有权和借用的Guppy指令式量子编程

Mark Koch, Agustín Borgna, Craig Roy, Alan Lawrence, Kartik Singhal, Seyon Sivarajah, Ross Duncan

Comments: Presented at the Fifth International Workshop on Programming Languages for Quantum Computing (PLanQC 2025)

Subjects: Programming Languages (cs.PL) ; Software Engineering (cs.SE) ; Quantum Physics (quant-ph)

[35] arXiv:2510.13236 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: Extensibility in Programming Languages: An overview Show Chinese title

Title: 编程语言中的可扩展性：概述

Sebastian mateos Nicolajsen

Subjects: Programming Languages (cs.PL)

[36] arXiv:2510.13426 (cross-list from cs.PL) [cn-pdf, pdf, other]

Title: Fast Trigonometric Functions using the RLIBM Approach Show Chinese title

Title: 使用RLIBM方法的快速三角函数

Sehyeok Park (Rutgers University), Santosh Nagarakatte (Rutgers University)

Comments: In Proceedings VSS 2025, arXiv:2510.12314

Journal-ref: EPTCS 432, 2025, pp. 76-89

Subjects: Programming Languages (cs.PL)

[37] arXiv:2510.13725 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: A Complementary Approach to Incorrectness Typing Show Chinese title

Title: 一种错误类型分析的补充方法

Celia Mengyue Li, Sophie Pull, Steven Ramsay

Comments: Version conditionally accepted to POPL'26, with reviewer suggestions incorporated

Subjects: Programming Languages (cs.PL)

[38] arXiv:2510.14558 (cross-list from cs.PL) [cn-pdf, pdf, other]

Title: HITrees: Higher-Order Interaction Trees Show Chinese title

Title: HITrees：高阶交互树

Amir Mohammad Fadaei Ayyam, Michael Sammler

Subjects: Programming Languages (cs.PL)

[39] arXiv:2510.15178 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: Visualizing miniKanren Search with a Fine-Grained Small-Step Semantics Show Chinese title

Title: 用细粒度小步骤语义可视化miniKanren搜索

Brysen Pfingsten, Jason Hemann

Comments: 2025 miniKanren Workshop

Subjects: Programming Languages (cs.PL)

[40] arXiv:2510.15747 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: Grassroots Logic Programs: A Secure, Multiagent, Concurrent, Logic Programming Language Show Chinese title

Title: 基层逻辑程序：一种安全的、多智能体的、并发的逻辑编程语言

Ehud Shapiro

Subjects: Programming Languages (cs.PL) ; Cryptography and Security (cs.CR) ; Distributed, Parallel, and Cluster Computing (cs.DC) ; Logic in Computer Science (cs.LO) ; Multiagent Systems (cs.MA)

[41] arXiv:2510.15912 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: Latency Based Tiling Show Chinese title

Title: 基于延迟的分块

Jack Cashman

Subjects: Programming Languages (cs.PL) ; Hardware Architecture (cs.AR) ; Performance (cs.PF)

[42] arXiv:2510.16133 (cross-list from cs.PL) [cn-pdf, pdf, other]

Title: Typing Strictness (Extended Version) Show Chinese title

Title: 严格性输入（扩展版）

Daniel Sainati, Joseph W. Cutler, Benjamin C. Pierce, Stephanie Weirich

Comments: 30 pages, 22 figures, extended version of a paper to be published at POPL 2026

Subjects: Programming Languages (cs.PL)

[43] arXiv:2510.16594 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: SimpliPy: A Source-Tracking Notional Machine for Simplified Python Show Chinese title

Title: SimpliPy：一种用于简化Python的源跟踪概念机

Moida Praneeth Jain, Venkatesh Choppella

Comments: 15 pages, 1 figure, 1 table. Accepted at the 4th Workshop on Research Highlights in Programming Languages (RHPL 2025), co-located with FSTTCS 2025. Code available at: https://github.com/PraneethJain/simplipy

Subjects: Programming Languages (cs.PL)

[44] arXiv:2510.16883 (cross-list from cs.PL) [cn-pdf, pdf, other]

Title: JAX Autodiff from a Linear Logic Perspective (Extended Version) Show Chinese title

Title: JAX自动微分的线性逻辑视角（扩展版本）

Giulia Giusti, Michele Pagani

Subjects: Programming Languages (cs.PL) ; Logic in Computer Science (cs.LO)

[45] arXiv:2510.17429 (cross-list from cs.PL) [cn-pdf, pdf, other]

Title: Introducing Linear Implication Types to $λ_{GT}$ for Computing With Incomplete Graphs Show Chinese title

Title: 将线性蕴含类型引入$λ_{GT}$以处理不完整图的计算

Jin Sano, Naoki Yamamoto, Kazunori Ueda

Comments: 26 pages, 14 figures, This paper is submitted to PRO2025-3

Subjects: Programming Languages (cs.PL)

[46] arXiv:2510.17505 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: Insum: Sparse GPU Kernels Simplified and Optimized with Indirect Einsums Show Chinese title

Title: Insum：通过间接Einsum简化和优化的稀疏GPU内核

Jaeyeon Won, Willow Ahrens, Joel S. Emer, Saman Amarasinghe

Subjects: Programming Languages (cs.PL) ; Performance (cs.PF)

[47] arXiv:2510.17889 (cross-list from cs.PL) [cn-pdf, pdf, other]

Title: Hey Pentti, We Did It!: A Fully Vector-Symbolic Lisp Show Chinese title

Title: 嘿 Pentti，我们做到了！ ：一种全向量符号 Lisp

Eilene Tomkins-Flanagan (1), Mary A. Kelly (1) ((1) Department of Cognitive Science, Carleton University)

Journal-ref: Tomkins Flanagan, E., & Kelly, M. A. (2024, July). Hey Pentti, We Did It!: A Fully Vector-Symbolic Lisp. Abstract published at MathPsych / ICCM 2024. Via mathpsych.org/presentation/1541

Subjects: Programming Languages (cs.PL) ; Artificial Intelligence (cs.AI)

[48] arXiv:2510.18479 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: ZipLex: Verified Invertible Lexing with Memoized Derivatives and Zippers Show Chinese title

Title: ZipLex：带记忆导数和Zippers的可逆词法分析验证

Samuel Chassot, Viktor Kunčak

Subjects: Programming Languages (cs.PL) ; Formal Languages and Automata Theory (cs.FL)

[49] arXiv:2510.18651 (cross-list from cs.PL) [cn-pdf, pdf, html, other]

Title: CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems Show Chinese title

Title: CPSLint：一种用于工业网络物理系统的数据验证和清理的领域特定语言

Uraz Odyurt, Ömer Sayilir, Mariëlle Stoelinga, Vadim Zaytsev

Subjects: Programming Languages (cs.PL) ; Software Engineering (cs.SE)

[50] arXiv:2510.19129 (cross-list from cs.PL) [cn-pdf, pdf, other]

Title: Dependent Session Types for Verified Concurrent Programming Show Chinese title

Title: 用于验证并发编程的依赖会话类型

Qiancheng Fu, Hongwei Xi, Ankush Das

Subjects: Programming Languages (cs.PL)