Skip to main content
CenXiv.org
This website is in trial operation, support us!
We gratefully acknowledge support from all contributors.
Contribute
Donate
cenxiv logo > cs.PL

Help | Advanced Search

Programming Languages

Authors and titles for October 2025

Total of 91 entries : 1-50 51-91
Showing up to 50 entries per page: fewer | more | all
[1] arXiv:2510.00210 (cross-list from cs.PL) [cn-pdf, pdf, html, other]
Title: The CoCompiler: DSL Lifting via Relational Compilation
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)
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
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
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
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
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
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
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
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
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
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
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
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
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++
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
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
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
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
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
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
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
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
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
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)
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)
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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)
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
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)
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
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
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
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
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
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
Title: 用于验证并发编程的依赖会话类型
Qiancheng Fu, Hongwei Xi, Ankush Das
Subjects: Programming Languages (cs.PL)
Total of 91 entries : 1-50 51-91
Showing up to 50 entries per page: fewer | more | all
  • About
  • Help
  • contact arXivClick here to contact arXiv Contact
  • subscribe to arXiv mailingsClick here to subscribe Subscribe
  • Copyright
  • Privacy Policy
  • Web Accessibility Assistance
  • arXiv Operational Status
    Get status notifications via email or slack

京ICP备2025123034号