Programming Languages

Authors and titles for October 2025

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

Title: Prompt Decorators: A Declarative and Composable Syntax for Reasoning, Formatting, and Control in LLMs Show Chinese title

Title: 提示装饰器：一种用于大语言模型中推理、格式化和控制的声明式且可组合的语法

Mostapha Kalami Heris

Subjects: Programming Languages (cs.PL) ; Artificial Intelligence (cs.AI) ; Computation and Language (cs.CL) ; Human-Computer Interaction (cs.HC)

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

Title: A Specification's Realm: Characterizing the Knowledge Required for Executing a Given Algorithm Specification Show Chinese title

Title: 规范的领域：表征执行给定算法规范所需的知识

Assaf Marron, David Harel

Subjects: Programming Languages (cs.PL)

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

Title: Deconstructed Proto-Quipper: A Rational Reconstruction Show Chinese title

Title: 解构的Proto-Quipper：一种理性重构

Ryan Kavanagh, Chuta Sano, Brigitte Pientka

Comments: Submitted to the 35th European Symposium on Programming (ESOP 2026)

Subjects: Programming Languages (cs.PL)

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

Title: Deciding not to Decide: Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism Show Chinese title

Title: 不做出决定：在存在高阶多态性情况下的有效推理的正确和完整

Patrycja Balik, Szymon Jędras, Piotr Polesiuk

Subjects: Programming Languages (cs.PL)

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

Title: Compiling the Mimosa programming language to RTOS tasks Show Chinese title

Title: 将Mimosa编程语言编译为RTOS任务

Nikolaus Huber, Susanne Graf, Philipp Rümmer, Wang Yi

Subjects: Programming Languages (cs.PL)

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

Title: SafeFFI: Efficient Sanitization at the Boundary Between Safe and Unsafe Code in Rust and Mixed-Language Applications Show Chinese title

Title: SafeFFI：在 Rust 和混合语言应用程序中安全代码与不安全代码边界处的高效清理方法

Oliver Braunsdorf, Tim Lange, Konrad Hohentanner, Julian Horsch, Johannes Kinder

Subjects: Programming Languages (cs.PL) ; Cryptography and Security (cs.CR)

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

Title: Linear effects, exceptions, and resource safety: a Curry-Howard correspondence for destructors Show Chinese title

Title: 线性效应、异常和资源安全：析构函数的 Curry-Howard 对应关系

Sidney Congard, Guillaume Munch-Maccagnoni, Rémi Douence

Comments: 26 pages + appendix

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

[58] arXiv:2510.03789 (cross-list from cs.LO) [cn-pdf, pdf, html, other]

Title: An Empirical Study of Rational Tree Unification for miniKanren Show Chinese title

Title: 一种理性树合一的实证研究 for miniKanren

Eridan Domoratskiy, Dmitrii Kosarev, Dmitry Boulytchev

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

[59] arXiv:2510.04081 (cross-list from cs.CL) [cn-pdf, pdf, html, other]

Title: Scaling Code-Assisted Chain-of-Thoughts and Instructions for Model Reasoning Show Chinese title

Title: 缩放代码辅助思维链和模型推理的指令

Honglin Lin, Qizhi Pei, Xin Gao, Zhuoshi Pan, Yu Li, Juntao Li, Conghui He, Lijun Wu

Comments: Accepted by NeurIPS2025

Subjects: Computation and Language (cs.CL) ; Programming Languages (cs.PL)

[60] arXiv:2510.05115 (cross-list from cs.AI) [cn-pdf, pdf, html, other]

Title: Optimization Modeling via Semantic Anchored Alignment Show Chinese title

Title: 通过语义锚定对齐的优化建模

Yansen Zhang, Qingcan Kang, Yujie Chen, Yufei Wang, Xiongwei Han, Tao Zhong, Mingxuan Yuan, Chen Ma

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

[61] arXiv:2510.05376 (cross-list from cs.CR) [cn-pdf, pdf, html, other]

Title: Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution Show Chinese title

Title: zkEVMs的约束级设计：架构、权衡与演进

Yahya Hassanzadeh-Nazarabadi, Sanaz Taheri-Boshrooyeh

Subjects: Cryptography and Security (cs.CR) ; Programming Languages (cs.PL)

[62] arXiv:2510.06420 (cross-list from cs.CR) [cn-pdf, pdf, html, other]

Title: Automated Repeatable Adversary Threat Emulation with Effects Language (EL) Show Chinese title

Title: 使用效果语言（EL）的自动化可重复对抗威胁模拟

Suresh K. Damodaran, Paul D. Rowe

Subjects: Cryptography and Security (cs.CR) ; Programming Languages (cs.PL)

[63] arXiv:2510.06663 (cross-list from cs.DB) [cn-pdf, pdf, html, other]

Title: Automated Discovery of Test Oracles for Database Management Systems Using LLMs Show Chinese title

Title: 使用大语言模型自动发现数据库管理系统测试规范

Qiuyang Mang, Runyuan He, Suyang Zhong, Xiaoxuan Liu, Huanchen Zhang, Alvin Cheung

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

[64] arXiv:2510.06777 (cross-list from cs.LO) [cn-pdf, pdf, html, other]

Title: Strong Dinatural Transformations and Generalised Codensity Monads Show Chinese title

Title: 强自然变换与广义余核单子

Maciej Piróg, Filip Sieczkowski

Comments: 15 pages

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

[65] arXiv:2510.07051 (cross-list from quant-ph) [cn-pdf, pdf, other]

Title: A Duality Theorem for Classical-Quantum States with Applications to Complete Relational Program Logics Show Chinese title

Title: 经典量子状态的对偶定理及其在完整关系程序逻辑中的应用

Gilles Barthe, Minbo Gao, Jam Kabeer Ali Khan, Matthijs Muis, Ivan Renison, Keiya Sakabe, Michael Walter, Yingte Xu, Li Zhou

Comments: 63 pages, 11 figures, 4 tables

Subjects: Quantum Physics (quant-ph) ; Logic in Computer Science (cs.LO) ; Programming Languages (cs.PL)

[66] arXiv:2510.08609 (cross-list from cs.SE) [cn-pdf, pdf, html, other]

Title: Which Is Better For Reducing Outdated and Vulnerable Dependencies: Pinning or Floating? Show Chinese title

Title: 对于减少过时和易受攻击的依赖项，固定版本更好还是浮动版本更好？

Imranur Rahman, Jill Marley, William Enck, Laurie Williams

Comments: Accepted to ASE 2025

Subjects: Software Engineering (cs.SE) ; Cryptography and Security (cs.CR) ; Machine Learning (cs.LG) ; Programming Languages (cs.PL)

[67] arXiv:2510.09037 (cross-list from cs.AI) [cn-pdf, pdf, html, other]

Title: Repairing Regex Vulnerabilities via Localization-Guided Instructions Show Chinese title

Title: 通过本地化引导指令修复正则表达式漏洞

Sicheol Sung, Joonghyuk Hahn, Yo-Sub Han

Comments: 14 pages, 4 figures, 4 tables

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

[68] arXiv:2510.09073 (cross-list from cs.SE) [cn-pdf, pdf, html, other]

Title: Literate Tracing Show Chinese title

Title: 文献追踪

Matthew Sotoudeh

Comments: examples at https://lair.masot.net/trex . SPLASH Onward 2025

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

[69] arXiv:2510.09633 (cross-list from cs.CR) [cn-pdf, pdf, html, other]

Title: Hound: Relation-First Knowledge Graphs for Complex-System Reasoning in Security Audits Show Chinese title

Title: 猎犬：用于安全审计中复杂系统推理的关系优先知识图谱

Bernhard Mueller

Subjects: Cryptography and Security (cs.CR) ; Artificial Intelligence (cs.AI) ; Machine Learning (cs.LG) ; Programming Languages (cs.PL)

[70] arXiv:2510.10066 (cross-list from cs.SE) [cn-pdf, pdf, html, other]

Title: OBsmith: Testing JavaScript Obfuscator using LLM-powered sketching Show Chinese title

Title: OBsmith：使用LLM驱动的草图测试JavaScript混淆器

Shan Jiang, Chenguang Zhu, Sarfraz Khurshid

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

[71] arXiv:2510.11199 (cross-list from cs.LO) [cn-pdf, pdf, other]

Title: Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice Show Chinese title

Title: 逻辑框架和元语言国际研讨会论文集 第二十届 理论与实践

Kaustuv Chaudhuri (Inria, France), Daniele Nantes-Sobrinho (Imperial College, UK)

Journal-ref: EPTCS 431, 2025

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

[72] arXiv:2510.12269 (cross-list from cs.AI) [cn-pdf, pdf, html, other]

Title: Tensor Logic: The Language of AI Show Chinese title

Title: 张量逻辑：人工智能的语言

Pedro Domingos

Comments: 17 pages, 0 figures

Subjects: Artificial Intelligence (cs.AI) ; Machine Learning (cs.LG) ; Neural and Evolutionary Computing (cs.NE) ; Programming Languages (cs.PL) ; Machine Learning (stat.ML)

[73] arXiv:2510.12297 (cross-list from cs.LO) [cn-pdf, pdf, other]

Title: Ground Stratification for a Logic of Definitions with Induction Show Chinese title

Title: 地面分层用于具有归纳的定义逻辑

Nathan Guermond (University of Minnesota), Gopalan Nadathur (University of Minnesota)

Comments: In Proceedings LFMTP 2025, arXiv:2510.11199

Journal-ref: EPTCS 431, 2025, pp. 1-16

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

[74] arXiv:2510.12702 (cross-list from cs.SE) [cn-pdf, pdf, other]

Title: Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification? Show Chinese title

Title: 超越后条件：大型语言模型能否推断出形式化契约以实现自动软件验证？

Cedric Richter, Heike Wehrheim

Comments: under submission

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

[75] arXiv:2510.12803 (cross-list from cs.SE) [cn-pdf, pdf, html, other]

Title: AutoCode: LLMs as Problem Setters for Competitive Programming Show Chinese title

Title: AutoCode：作为竞赛编程问题设置者的大型语言模型

Shang Zhou, Zihan Zheng, Kaiyuan Liu, Zeyu Shen, Zerui Cheng, Zexing Chen, Hansen He, Jianzhu Yao, Huanzhi Mao, Qiuyang Mang, Tianfu Fu, Beichen Li, Dongruixuan Li, Wenhao Chai, Zhuang Liu, Aleksandra Korolova, Peter Henderson, Natasha Jaques, Pramod Viswanath, Saining Xie, Jingbo Shang

Comments: Project page: https://livecodebenchpro.com/projects/autocode/overview

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

[76] arXiv:2510.14279 (cross-list from cs.SE) [cn-pdf, pdf, other]

Title: Caruca: Effective and Efficient Specification Mining for Opaque Software Components Show Chinese title

Title: Caruca：对不透明软件组件的有效且高效规范挖掘

Evangelos Lamprou, Seong-Heon Jung, Mayank Keoliya, Lukas Lazarek, Konstantinos Kallas, Michael Greenberg, Nikos Vasilakis

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

[77] arXiv:2510.14719 (cross-list from cs.LG) [cn-pdf, pdf, html, other]

Title: Tawa: Automatic Warp Specialization for Modern GPUs with Asynchronous References Show Chinese title

Title: 塔瓦：具有异步引用的现代GPU的自动扭曲专业化

Hongzheng Chen, Bin Fan, Alexander Collins, Bastian Hagedorn, Evghenii Gaburov, Masahiro Masuda, Matthew Brookhart, Chris Sullivan, Jason Knight, Zhiru Zhang, Vinod Grover

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

[78] arXiv:2510.14972 (cross-list from cs.CL) [cn-pdf, pdf, html, other]

Title: TokDrift: When LLM Speaks in Subwords but Code Speaks in Grammar Show Chinese title

Title: TokDrift：当大语言模型用子词说话而代码用语法说话

Yinxi Li, Yuntian Deng, Pengyu Nie

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

[79] arXiv:2510.15585 (cross-list from cs.SE) [cn-pdf, pdf, other]

Title: Leveraging Test Driven Development with Large Language Models for Reliable and Verifiable Spreadsheet Code Generation: A Research Framework Show Chinese title

Title: 利用大型语言模型进行测试驱动开发以实现可靠和可验证的电子表格代码生成：一种研究框架

Dr Simon Thorne, Dr Advait Sarkar

Comments: 16 pages

Journal-ref: Proceedings of the EuSpRIG 2025 Conference "Spreadsheet Productivity & Risks" ISBN : 978-1-905404-60-5

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

[80] arXiv:2510.15700 (cross-list from cs.LG) [cn-pdf, pdf, html, other]

Title: ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations Show Chinese title

Title: ProofOptimizer：训练语言模型在没有人类示范的情况下简化证明

Alex Gu, Bartosz Piotrowski, Fabian Gloeckle, Kaiyu Yang, Aram H. Markosyan

Comments: 52 pages, 16 figures, website: http://proof-optimizer.github.io/

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

[81] arXiv:2510.15914 (cross-list from cs.AR) [cn-pdf, pdf, html, other]

Title: VeriGRAG: Enhancing LLM-Based Verilog Code Generation with Structure-Aware Soft Prompts Show Chinese title

Title: VeriGRAG：利用结构感知软提示增强基于LLM的Verilog代码生成

Jiayu Zhao, Song Chen

Comments: 9 pages, 5 figures

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

[82] arXiv:2510.16357 (cross-list from cs.SE) [cn-pdf, pdf, html, other]

Title: MLCPD: A Unified Multi-Language Code Parsing Dataset with Universal AST Schema Show Chinese title

Title: MLCPD：具有通用AST模式的统一多语言代码解析数据集

Jugal Gajjar, Kamalasankari Subramaniakuppusamy

Comments: 12 pages, 7 figures, 4 tables, 2 algorithms, and 34 references. HuggingFace: https://huggingface.co/datasets/jugalgajjar/MultiLang-Code-Parser-Dataset GitHub: https://github.com/JugalGajjar/MultiLang-Code-Parser-Dataset

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

[83] arXiv:2510.16809 (cross-list from cs.SE) [cn-pdf, pdf, html, other]

Title: When Many-Shot Prompting Fails: An Empirical Study of LLM Code Translation Show Chinese title

Title: 当多示例提示失败时：对LLM代码翻译的实证研究

Amirkia Rafiei Oskooei, Kaan Baturalp Cosdan, Husamettin Isiktas, Mehmet S. Aktas

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

[84] arXiv:2510.17220 (cross-list from cs.CR) [cn-pdf, pdf, other]

Title: Exploiting the Potential of Linearity in Automatic Differentiation and Computational Cryptography Show Chinese title

Title: 自动微分和计算密码学中线性的潜力利用

Giulia Giusti

Subjects: Cryptography and Security (cs.CR) ; Logic in Computer Science (cs.LO) ; Programming Languages (cs.PL)

[85] arXiv:2510.18418 (cross-list from cs.LO) [cn-pdf, pdf, other]

Title: A Lazy, Concurrent Convertibility Checker Show Chinese title

Title: 一种懒惰的并发可转换性检查器

Nathanaëlle Courant, Xavier Leroy (CAMBIUM)

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

[86] arXiv:2510.18496 (cross-list from cs.DS) [cn-pdf, pdf, html, other]

Title: LatticeHashForest: An Efficient Data Structure for Repetitive Data and Operations Show Chinese title

Title: LatticeHashForest：用于重复数据和操作的高效数据结构

Anamitra Ghorui, Uday P. Khedker

Comments: 22 pages of main content. 47 pages total. Submitted to the Programming Journal (programming-journal.org). v1 is the submitted version. v2 corrects grammatical mistakes and improves on flow of text. Implementation: https://aghorui.github.io/lhf/ Artifact Draft: https://github.com/aghorui/lhf-eval

Subjects: Data Structures and Algorithms (cs.DS) ; Information Theory (cs.IT) ; Operating Systems (cs.OS) ; Programming Languages (cs.PL)

[87] arXiv:2510.19012 (cross-list from cs.DC) [cn-pdf, pdf, other]

Title: Comparative analysis of large data processing in Apache Spark using Java, Python and Scala Show Chinese title

Title: Apache Spark中使用Java、Python和Scala的大数据处理比较分析

Ivan Borodii, Illia Fedorovych, Halyna Osukhivska, Diana Velychko, Roman Butsii

Comments: CITI 2025, 3rd International Workshop on Computer Information Technologies in Industry 4.0, June 11-12, 2025, Ternopil, Ukraine. The article includes 10 pages, 5 figures, 9 tables

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC) ; Databases (cs.DB) ; Programming Languages (cs.PL) ; Software Engineering (cs.SE)

[88] arXiv:2510.19279 (cross-list from cs.CY) [cn-pdf, pdf, other]

Title: Code Sharing in Healthcare Research: A Practical Guide and Recommendations for Good Practice Show Chinese title

Title: 医疗保健研究中的代码共享：实用指南和良好实践建议

Lukas Hughes-Noehrer, Matthew J Parkes, Andrew Stewart, Anthony J Wilson, Gary S Collins, Richard D Riley, Maya Mathur, Matthew P Fox, Nazrul Islam, Paul N Zivich, Timothy J Feeney

Subjects: Computers and Society (cs.CY) ; Programming Languages (cs.PL)

[89] arXiv:2510.19281 (cross-list from cs.SE) [cn-pdf, pdf, html, other]

Title: An Empirical Study of Bitwise Operators Intuitiveness through Performance Metrics Show Chinese title

Title: 通过性能指标的位运算符直观性实证研究

Shubham Joshi

Comments: 15 pages, 10 tables, 9 Figures

Subjects: Software Engineering (cs.SE) ; Cryptography and Security (cs.CR) ; Programming Languages (cs.PL)

[90] arXiv:2510.19296 (cross-list from cs.LG) [cn-pdf, pdf, html, other]

Title: QiMeng-SALV: Signal-Aware Learning for Verilog Code Generation Show Chinese title

Title: QiMeng-SALV：面向Verilog代码生成的信号感知学习

Yang Zhang, Rui Zhang, Jiaming Guo, Lei Huang, Di Huang, Yunpu Zhao, Shuyao Cheng, Pengwei Jin, Chongxiao Li, Zidong Du, Xing Hu, Qi Guo, Yunji Chen

Comments: Accepted to NeurIPS 2025

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

[91] arXiv:2510.19765 (cross-list from cs.OS) [cn-pdf, pdf, html, other]

Title: Tidying Up the Address Space Show Chinese title

Title: 整理地址空间

Vinay Banakar, Suli Yang, Kan Wu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Kimberly Keeton

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

[92] arXiv:2510.19873 (cross-list from cs.LG) [cn-pdf, pdf, html, other]

Title: From Large to Small: Transferring CUDA Optimization Expertise via Reasoning Graph Show Chinese title

Title: 从大到小：通过推理图转移CUDA优化专业知识

Junfeng Gong, Zhiyi Wei, Junying Chen, Cheng Liu, Huawei Li

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

[93] arXiv:2510.22907 (cross-list from cs.CL) [cn-pdf, pdf, html, other]

Title: Language Server CLI Empowers Language Agents with Process Rewards Show Chinese title

Title: 语言服务器CLI通过过程奖励增强语言代理

Yifan Zhang, Lanser Contributors

Comments: Project Page: https://github.com/yifanzhang-pro/lanser-cli

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

[94] arXiv:2510.23101 (cross-list from cs.CR) [cn-pdf, pdf, html, other]

Title: Beyond Imprecise Distance Metrics: LLM-Predicted Target Call Stacks for Directed Greybox Fuzzing Show Chinese title

Title: 超越不精确距离度量：用于定向灰盒模糊测试的LLM预测目标调用堆栈

Yifan Zhang, Xin Zhang

Comments: Preprint, under submission

Subjects: Cryptography and Security (cs.CR) ; Programming Languages (cs.PL) ; Software Engineering (cs.SE)